FSharpType (F# Compiler Guide)

FSharpType Type

Namespace: FSharp.Compiler.Symbols
Assembly: FSharp.Compiler.Service.dll
Base Type: obj

Instance members

Instance member	Description
`this.AbbreviatedType` Full Usage: `this.AbbreviatedType` Returns: `FSharpType`	Get the type for which this is an abbreviation Returns: `FSharpType`
`this.AllInterfaces` Full Usage: `this.AllInterfaces` Returns: `IList<FSharpType>`	Get all the interface implementations, by walking the type hierarchy, taking into account the instantiation of this type if it is an instantiation of a generic type. Returns: `IList<FSharpType>`
`this.AnonRecordTypeDetails` Full Usage: `this.AnonRecordTypeDetails` Returns: `FSharpAnonRecordTypeDetails`	Get the details of the anonymous record type. Returns: `FSharpAnonRecordTypeDetails`
`this.BaseType` Full Usage: `this.BaseType` Returns: `FSharpType option`	Get the base type, if any, taking into account the instantiation of this type if it is an instantiation of a generic type. Returns: `FSharpType option`
`this.BasicQualifiedName` Full Usage: `this.BasicQualifiedName` Returns: `string`	The fully qualified name of the type or module without strong assembly name. Returns: `string`
`this.ErasedType` Full Usage: `this.ErasedType` Returns: `FSharpType`	Canonical form of the type with abbreviations, measures, and F# tuples and functions erased. Returns: `FSharpType`
`this.Format` Full Usage: `this.Format` Parameters: context : `FSharpDisplayContext` Returns: `string`	Format the type using the rules of the given display context, skipping type constraints context : `FSharpDisplayContext` Returns: `string`
`this.FormatLayout` Full Usage: `this.FormatLayout` Parameters: context : `FSharpDisplayContext` Returns: `TaggedText[]`	Format the type using the rules of the given display context context : `FSharpDisplayContext` Returns: `TaggedText[]`
`this.FormatLayoutWithConstraints` Full Usage: `this.FormatLayoutWithConstraints` Parameters: context : `FSharpDisplayContext` Returns: `TaggedText[]`	Format the type - with constraints - using the rules of the given display context context : `FSharpDisplayContext` Returns: `TaggedText[]`
`this.FormatWithConstraints` Full Usage: `this.FormatWithConstraints` Parameters: context : `FSharpDisplayContext` Returns: `string`	Format the type using the rules of the given display context context : `FSharpDisplayContext` Returns: `string`
`this.GenericArguments` Full Usage: `this.GenericArguments` Returns: `IList<FSharpType>`	Get the generic arguments for a tuple type, a function type or a type constructed using a named entity Returns: `IList<FSharpType>`
`this.GenericParameter` Full Usage: `this.GenericParameter` Returns: `FSharpGenericParameter`	Get the generic parameter data for a generic parameter type Returns: `FSharpGenericParameter`
`this.HasTypeDefinition` Full Usage: `this.HasTypeDefinition` Returns: `bool`	Indicates if the type is constructed using a named entity, including array and byref types Returns: `bool`
`this.Instantiate` Full Usage: `this.Instantiate` Parameters: arg0 : `(FSharpGenericParameter * FSharpType) list` Returns: `FSharpType`	Instantiate generic type parameters in a type arg0 : `(FSharpGenericParameter * FSharpType) list` Returns: `FSharpType`
`this.IsAbbreviation` Full Usage: `this.IsAbbreviation` Returns: `bool`	Indicates this is an abbreviation for another type Returns: `bool`
`this.IsAnonRecordType` Full Usage: `this.IsAnonRecordType` Returns: `bool`	Indicates if the type is an anonymous record type. The GenericArguments property returns the type instantiation of the anonymous record type Returns: `bool`
`this.IsFunctionType` Full Usage: `this.IsFunctionType` Returns: `bool`	Indicates if the type is a function type. The GenericArguments property returns the domain and range of the function type. Returns: `bool`
`this.IsGenericParameter` Full Usage: `this.IsGenericParameter` Returns: `bool`	Indicates if the type is a variable type, whether declared, generalized or an inference type parameter Returns: `bool`
`this.IsMeasureType` Full Usage: `this.IsMeasureType` Returns: `bool`	Indicates if the type is a measure type. Returns: `bool`
`this.IsStructTupleType` Full Usage: `this.IsStructTupleType` Returns: `bool`	Indicates if the type is a struct tuple type. The GenericArguments property returns the elements of the tuple type. Returns: `bool`
`this.IsTupleType` Full Usage: `this.IsTupleType` Returns: `bool`	Indicates if the type is a tuple type (reference or struct). The GenericArguments property returns the elements of the tuple type. Returns: `bool`
`this.IsUnresolved` Full Usage: `this.IsUnresolved` Returns: `bool`	Indicates this is a named type in an unresolved assembly Returns: `bool`
`this.StripAbbreviations` Full Usage: `this.StripAbbreviations` Returns: `FSharpType`	Strip any outer abbreviations from the type Returns: `FSharpType`
`this.TypeDefinition` Full Usage: `this.TypeDefinition` Returns: `FSharpEntity`	Get the type definition for a type Returns: `FSharpEntity`

Static members

Static member	Description
`FSharpType.Prettify(parameters, returnParameter)` Full Usage: `FSharpType.Prettify(parameters, returnParameter)` Parameters: parameters : `IList<IList<FSharpParameter>>` returnParameter : `FSharpParameter` Returns: `IList<IList<FSharpParameter>> * FSharpParameter`	Adjust the types in a group of curried parameters and return type by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a. parameters : `IList<IList<FSharpParameter>>` returnParameter : `FSharpParameter` Returns: `IList<IList<FSharpParameter>> * FSharpParameter`
`FSharpType.Prettify(parameters)` Full Usage: `FSharpType.Prettify(parameters)` Parameters: parameters : `IList<IList<FSharpParameter>>` Returns: `IList<IList<FSharpParameter>>`	Adjust the types in a group of curried parameters by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a. parameters : `IList<IList<FSharpParameter>>` Returns: `IList<IList<FSharpParameter>>`
`FSharpType.Prettify(parameters)` Full Usage: `FSharpType.Prettify(parameters)` Parameters: parameters : `IList<FSharpParameter>` Returns: `IList<FSharpParameter>`	Adjust the types in a group of parameters by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a. parameters : `IList<FSharpParameter>` Returns: `IList<FSharpParameter>`
`FSharpType.Prettify(parameter)` Full Usage: `FSharpType.Prettify(parameter)` Parameters: parameter : `FSharpParameter` Returns: `FSharpParameter`	Adjust the type in a single parameter by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a. parameter : `FSharpParameter` Returns: `FSharpParameter`
`FSharpType.Prettify(types)` Full Usage: `FSharpType.Prettify(types)` Parameters: types : `IList<FSharpType>` Returns: `IList<FSharpType>`	Adjust a group of types by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a. types : `IList<FSharpType>` Returns: `IList<FSharpType>`
`FSharpType.Prettify(ty)` Full Usage: `FSharpType.Prettify(ty)` Parameters: ty : `FSharpType` Returns: `FSharpType`	Adjust the type by removing any occurrences of type inference variables, replacing them systematically with lower-case type inference variables such as 'a. ty : `FSharpType` Returns: `FSharpType`