SynType (F# Compiler Guide)

SynType Type

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

Represents a syntax tree for F# types

Union cases

Union case	Description
`Anon range` Full Usage: `Anon range` Parameters: range : `range`	F# syntax: _ range : `range`
`AnonRecd(isStruct, fields, range)` Full Usage: `AnonRecd(isStruct, fields, range)` Parameters: isStruct : `bool` fields : `(Ident * SynType) list` range : `range`	F# syntax: {\| id: type; ...; id: type \|} F# syntax: struct {\| id: type; ...; id: type \|} isStruct : `bool` fields : `(Ident * SynType) list` range : `range`
`App(typeName, lessRange, typeArgs, commaRanges, greaterRange, isPostfix, range)` Full Usage: `App(typeName, lessRange, typeArgs, commaRanges, greaterRange, isPostfix, range)` Parameters: typeName : `SynType` lessRange : `range option` typeArgs : `SynType list` commaRanges : `range list` greaterRange : `range option` isPostfix : `bool` range : `range`	F# syntax: type or type type or (type, ..., type) type isPostfix: indicates a postfix type application e.g. "int list" or "(int, string) dict" typeName : `SynType` lessRange : `range option` typeArgs : `SynType list` commaRanges : `range list` greaterRange : `range option` isPostfix : `bool` range : `range`
`Array(rank, elementType, range)` Full Usage: `Array(rank, elementType, range)` Parameters: rank : `int` elementType : `SynType` range : `range`	F# syntax: type[] rank : `int` elementType : `SynType` range : `range`
`FromParseError range` Full Usage: `FromParseError range` Parameters: range : `range`	A type arising from a parse error range : `range`
`Fun(argType, returnType, range, trivia)` Full Usage: `Fun(argType, returnType, range, trivia)` Parameters: argType : `SynType` returnType : `SynType` range : `range` trivia : `SynTypeFunTrivia`	F# syntax: type -> type argType : `SynType` returnType : `SynType` range : `range` trivia : `SynTypeFunTrivia`
`HashConstraint(innerType, range)` Full Usage: `HashConstraint(innerType, range)` Parameters: innerType : `SynType` range : `range`	F# syntax: #type innerType : `SynType` range : `range`
`Intersection(typar, types, range, trivia)` Full Usage: `Intersection(typar, types, range, trivia)` Parameters: typar : `SynTypar option` types : `SynType list` range : `range` trivia : `SynTyparDeclTrivia`	F# syntax: x: #I1 & #I2 F# syntax: x: 't & #I1 & #I2 Shorthand for x: 't when 't :> I1 and 't :> I2 typar : `SynTypar option` types : `SynType list` range : `range` trivia : `SynTyparDeclTrivia`
`LongIdent longDotId` Full Usage: `LongIdent longDotId` Parameters: longDotId : `SynLongIdent`	F# syntax: A.B.C longDotId : `SynLongIdent`
`LongIdentApp(typeName, longDotId, lessRange, typeArgs, commaRanges, greaterRange, range)` Full Usage: `LongIdentApp(typeName, longDotId, lessRange, typeArgs, commaRanges, greaterRange, range)` Parameters: typeName : `SynType` longDotId : `SynLongIdent` lessRange : `range option` typeArgs : `SynType list` commaRanges : `range list` greaterRange : `range option` range : `range`	F# syntax: type.A.B.C typeName : `SynType` longDotId : `SynLongIdent` lessRange : `range option` typeArgs : `SynType list` commaRanges : `range list` greaterRange : `range option` range : `range`
`MeasurePower(baseMeasure, exponent, range)` Full Usage: `MeasurePower(baseMeasure, exponent, range)` Parameters: baseMeasure : `SynType` exponent : `SynRationalConst` range : `range`	F# syntax: for units of measure e.g. m^3, kg^1/2 baseMeasure : `SynType` exponent : `SynRationalConst` range : `range`
`Or(lhsType, rhsType, range, trivia)` Full Usage: `Or(lhsType, rhsType, range, trivia)` Parameters: lhsType : `SynType` rhsType : `SynType` range : `range` trivia : `SynTypeOrTrivia`	F# syntax: ^a or ^b, used in trait calls lhsType : `SynType` rhsType : `SynType` range : `range` trivia : `SynTypeOrTrivia`
`Paren(innerType, range)` Full Usage: `Paren(innerType, range)` Parameters: innerType : `SynType` range : `range`	innerType : `SynType` range : `range`
`SignatureParameter(attributes, optional, id, usedType, range)` Full Usage: `SignatureParameter(attributes, optional, id, usedType, range)` Parameters: attributes : `SynAttributes` optional : `bool` id : `Ident option` usedType : `SynType` range : `range`	F# syntax: a: b, used in signatures and type annotations attributes : `SynAttributes` optional : `bool` id : `Ident option` usedType : `SynType` range : `range`
`StaticConstant(constant, range)` Full Usage: `StaticConstant(constant, range)` Parameters: constant : `SynConst` range : `range`	F# syntax: 1, "abc" etc, used in parameters to type providers For the dimensionless units i.e. 1, and static parameters to provided types constant : `SynConst` range : `range`
`StaticConstantExpr(expr, range)` Full Usage: `StaticConstantExpr(expr, range)` Parameters: expr : `SynExpr` range : `range`	F# syntax: const expr, used in static parameters to type providers expr : `SynExpr` range : `range`
`StaticConstantNamed(ident, value, range)` Full Usage: `StaticConstantNamed(ident, value, range)` Parameters: ident : `SynType` value : `SynType` range : `range`	F# syntax: ident=1 etc., used in static parameters to type providers ident : `SynType` value : `SynType` range : `range`
`Tuple(isStruct, path, range)` Full Usage: `Tuple(isStruct, path, range)` Parameters: isStruct : `bool` path : `SynTupleTypeSegment list` range : `range`	F# syntax: type * ... * type F# syntax: struct (type * ... * type) isStruct : `bool` path : `SynTupleTypeSegment list` range : `range`
`Var(typar, range)` Full Usage: `Var(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax: 'Var typar : `SynTypar` range : `range`
`WithGlobalConstraints(typeName, constraints, range)` Full Usage: `WithGlobalConstraints(typeName, constraints, range)` Parameters: typeName : `SynType` constraints : `SynTypeConstraint list` range : `range`	F# syntax: typ with constraints typeName : `SynType` constraints : `SynTypeConstraint list` range : `range`

Instance members

Instance member	Description
`this.Range` Full Usage: `this.Range` Returns: `range`	Gets the syntax range of this construct Returns: `range`