PresenceUnion

PackageReified.Constraint
What a presence rule expects of a value's shape.

Specification

Kind
Union
Members
4
Examples
0
IsPresentSignature
this.IsPresent
IsBlankSignature
this.IsBlank
PresentSignature
Present
BlankSignature
Blank

Summary

NameSignatureSynopsis
IsPresentthis.IsPresentNo description available.
IsBlankthis.IsBlankNo description available.
PresentPresentThe value must be inhabited according to its shape.
BlankBlankThe value must be uninhabited according to its shape.

IsPresent

this.IsPresent
Member

Returns

bool

IsBlank

this.IsBlank
Member

Returns

bool

Present

Present
Member
The value must be inhabited according to its shape.

Returns

unit

Blank

Blank
Member
The value must be uninhabited according to its shape.

Returns

unit