Header menu logo fantomas

SynTypeConstraint Type

The unchecked abstract syntax tree of F# type constraints

Union cases

Union case Description

WhereSelfConstrained(selfConstraint, range)

Full Usage: WhereSelfConstrained(selfConstraint, range)

Parameters:

F# syntax is SomeThing<'T>

selfConstraint : SynType
range : range

WhereTyparDefaultsToType(typar, typeName, range)

Full Usage: WhereTyparDefaultsToType(typar, typeName, range)

Parameters:

F# syntax is default ^T: type

typar : SynTypar
typeName : SynType
range : range

WhereTyparIsComparable(typar, range)

Full Usage: WhereTyparIsComparable(typar, range)

Parameters:

F# syntax is 'typar: comparison

typar : SynTypar
range : range

WhereTyparIsDelegate(typar, typeArgs, range)

Full Usage: WhereTyparIsDelegate(typar, typeArgs, range)

Parameters:

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:

F# syntax is 'typar: enum<'UnderlyingType>

typar : SynTypar
typeArgs : SynType list
range : range

WhereTyparIsEquatable(typar, range)

Full Usage: WhereTyparIsEquatable(typar, range)

Parameters:

F# syntax is 'typar: equality

typar : SynTypar
range : range

WhereTyparIsReferenceType(typar, range)

Full Usage: WhereTyparIsReferenceType(typar, range)

Parameters:

F# syntax: is 'typar: not struct

typar : SynTypar
range : range

WhereTyparIsUnmanaged(typar, range)

Full Usage: WhereTyparIsUnmanaged(typar, range)

Parameters:

F# syntax is 'typar: unmanaged

typar : SynTypar
range : range

WhereTyparIsValueType(typar, range)

Full Usage: WhereTyparIsValueType(typar, range)

Parameters:

F# syntax: is 'typar: struct

typar : SynTypar
range : range

WhereTyparSubtypeOfType(typar, typeName, range)

Full Usage: WhereTyparSubtypeOfType(typar, typeName, range)

Parameters:

F# syntax is 'typar :> type

typar : SynTypar
typeName : SynType
range : range

WhereTyparSupportsMember(typars, memberSig, range)

Full Usage: WhereTyparSupportsMember(typars, memberSig, range)

Parameters:

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:

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

Type something to start searching.