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`
`WhereTyparNotSupportsNull(genericName, range, trivia)` Full Usage: `WhereTyparNotSupportsNull(genericName, range, trivia)` Parameters: genericName : `SynTypar` range : `range` trivia : `SynTypeConstraintWhereTyparNotSupportsNullTrivia`	F# syntax is 'typar : null genericName : `SynTypar` range : `range` trivia : `SynTypeConstraintWhereTyparNotSupportsNullTrivia`
`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.IsWhereSelfConstrained` Full Usage: `this.IsWhereSelfConstrained` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparDefaultsToType` Full Usage: `this.IsWhereTyparDefaultsToType` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsComparable` Full Usage: `this.IsWhereTyparIsComparable` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsDelegate` Full Usage: `this.IsWhereTyparIsDelegate` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsEnum` Full Usage: `this.IsWhereTyparIsEnum` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsEquatable` Full Usage: `this.IsWhereTyparIsEquatable` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsReferenceType` Full Usage: `this.IsWhereTyparIsReferenceType` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsUnmanaged` Full Usage: `this.IsWhereTyparIsUnmanaged` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparIsValueType` Full Usage: `this.IsWhereTyparIsValueType` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparNotSupportsNull` Full Usage: `this.IsWhereTyparNotSupportsNull` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparSubtypeOfType` Full Usage: `this.IsWhereTyparSubtypeOfType` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparSupportsMember` Full Usage: `this.IsWhereTyparSupportsMember` Returns: `bool`	Returns: `bool`
`this.IsWhereTyparSupportsNull` Full Usage: `this.IsWhereTyparSupportsNull` Returns: `bool`	Returns: `bool`
`this.Range` Full Usage: `this.Range` Returns: `range`	Returns: `range`