Header menu logo F# Compiler Guide

FSharpType Type

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:
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:
Returns: TaggedText[]

Format the type using the rules of the given display context

context : FSharpDisplayContext
Returns: TaggedText[]

this.FormatLayoutWithConstraints

Full Usage: this.FormatLayoutWithConstraints

Parameters:
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:
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.HasNullAnnotation

Full Usage: this.HasNullAnnotation

Returns: bool

Indicates this type is known to have a null annotation

Returns: bool

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:
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.IsNullAmbivalent

Full Usage: this.IsNullAmbivalent

Returns: bool

Indicates this type is assumed to support the null value

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:
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:
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:
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:
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:
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:
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

Type something to start searching.