TypeResolutionCombination Class

Reference

Definition

Namespace:: Microsoft.Quantum.QsCompiler

Assembly:: Microsoft.Quantum.QsTransformations.dll

Package:: Microsoft.Quantum.Compiler v0.25.218240

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Combines a series of type parameter resolution dictionaries, IndependentResolutionDictionaries, into one resolution dictionary, CombinedResolutionDictionary, containing the ultimate type resolutions for all the type parameters found in the dictionaries. Validation is done on the resolutions, which can be checked through the IsValid flag.

public class TypeResolutionCombination

type TypeResolutionCombination = class

Public Class TypeResolutionCombination

Inheritance: Object
TypeResolutionCombination

Constructors

TypeResolutionCombination(TypedExpression)

Creates a type parameter resolution combination from the independent type parameter resolutions found in the given typed expression and its sub expressions. Only sub-expressions whose type parameter resolutions are relevant to the given expression's type parameter resolutions are considered.

Properties

CombinedResolutionDictionary	The resulting resolution dictionary from combining all the input resolutions in IndependentResolutionDictionaries. Represents a combination of all the type parameters found and their ultimate type resolutions.
IndependentResolutionDictionaries	Array of all the type parameter resolution dictionaries that are combined in this combination. The items are ordered such that dictionaries containing type parameters resolutions that reference type parameters in other dictionaries appear before those dictionaries containing the referenced type parameters. I.e., dictionary A depends on dictionary B, so A should come before B.
IsValid	Flag for if there were any invalid scenarios encountered while creating the combination. Invalid scenarios include a type parameter being assigned to multiple conflicting types and a type parameter being assigned to a type referencing a different type parameter of the same callable. Has value true if no invalid scenarios were encountered.

Applies to