SynTypeConstraint (F# Compiler Guide) | F# Compiler Guide

F# Compiler Guide

SynTypeConstraint Type

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

The unchecked abstract syntax tree of F# type constraints

Union cases

Union case	Description
`WhereSelfConstrained(selfConstraint, range)` Full Usage: `WhereSelfConstrained(selfConstraint, range)` Parameters: selfConstraint : `SynType` range : `range`	F# syntax is SomeThing<'T> selfConstraint : `SynType` range : `range`
`WhereTyparDefaultsToType(typar, typeName, range)` Full Usage: `WhereTyparDefaultsToType(typar, typeName, range)` Parameters: typar : `SynTypar` typeName : `SynType` range : `range`	F# syntax is default ^T: type typar : `SynTypar` typeName : `SynType` range : `range`
`WhereTyparIsComparable(typar, range)` Full Usage: `WhereTyparIsComparable(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax is 'typar: comparison typar : `SynTypar` range : `range`
`WhereTyparIsDelegate(typar, typeArgs, range)` Full Usage: `WhereTyparIsDelegate(typar, typeArgs, range)` Parameters: typar : `SynTypar` typeArgs : `SynType list` range : `range`	F# syntax is 'typar: delegate<'Args, unit> typar : `SynTypar` typeArgs : `SynType list` range : `range`
`WhereTyparIsEnum(typar, typeArgs, range)` Full Usage: `WhereTyparIsEnum(typar, typeArgs, range)` Parameters: typar : `SynTypar` typeArgs : `SynType list` range : `range`	F# syntax is 'typar: enum<'UnderlyingType> typar : `SynTypar` typeArgs : `SynType list` range : `range`
`WhereTyparIsEquatable(typar, range)` Full Usage: `WhereTyparIsEquatable(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax is 'typar: equality typar : `SynTypar` range : `range`
`WhereTyparIsReferenceType(typar, range)` Full Usage: `WhereTyparIsReferenceType(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax: is 'typar: not struct typar : `SynTypar` range : `range`
`WhereTyparIsUnmanaged(typar, range)` Full Usage: `WhereTyparIsUnmanaged(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax is 'typar: unmanaged typar : `SynTypar` range : `range`
`WhereTyparIsValueType(typar, range)` Full Usage: `WhereTyparIsValueType(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax: is 'typar: struct typar : `SynTypar` range : `range`
`WhereTyparSubtypeOfType(typar, typeName, range)` Full Usage: `WhereTyparSubtypeOfType(typar, typeName, range)` Parameters: typar : `SynTypar` typeName : `SynType` range : `range`	F# syntax is 'typar :> type typar : `SynTypar` typeName : `SynType` range : `range`
`WhereTyparSupportsMember(typars, memberSig, range)` Full Usage: `WhereTyparSupportsMember(typars, memberSig, range)` Parameters: typars : `SynType` memberSig : `SynMemberSig` range : `range`	F# syntax is ^T: (static member MemberName: ^T * int -> ^T) typars : `SynType` memberSig : `SynMemberSig` range : `range`
`WhereTyparSupportsNull(typar, range)` Full Usage: `WhereTyparSupportsNull(typar, range)` Parameters: typar : `SynTypar` range : `range`	F# syntax is 'typar: null typar : `SynTypar` range : `range`

Instance members

Instance member	Description
`this.Range` Full Usage: `this.Range` Returns: `range`	Returns: `range`