PresenceUnion

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

Specification

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

Summary

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

Union cases

kind:member

IsBlank

this.IsBlank
Member

Returns

bool
kind:member

IsPresent

this.IsPresent
Member

Returns

bool
kind:member

Present

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

Returns

unit
kind:member

Blank

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

Returns

unit