MessageTreeUnion

PackageReified.Constraint
A violation projected for an external localization system, retaining its grouping.

Specification

Kind
Union
Members
6
Examples
0
IsLeafSignature
this.IsLeaf
IsAnySignature
this.IsAny
IsAllSignature
this.IsAll
LeafSignature
Leaf MessageLeaf
AllSignature
All(first, rest)

Summary

NameSignatureSynopsis
Union cases
IsLeafthis.IsLeafNo description available.
IsAnythis.IsAnyNo description available.
IsAllthis.IsAllNo description available.
LeafLeaf MessageLeafOne message.
AllAll(first, rest)Messages for conjoined failures.
AnyAny(first, rest)Messages for rejected alternatives.

Union cases

kind:member

IsLeaf

this.IsLeaf
Member

Returns

bool
kind:member

IsAny

this.IsAny
Member

Returns

bool
kind:member

IsAll

this.IsAll
Member

Returns

bool
kind:member

Leaf

Leaf MessageLeaf
Member
One message.

Parameters

NameTypeDescription
ItemMessageLeaf

Returns

unit
kind:member

All

All(first, rest)
Member
Messages for conjoined failures.

Parameters

NameTypeDescription
firstMessageTree
restMessageTree list

Returns

unit
kind:member

Any

Any(first, rest)
Member
Messages for rejected alternatives.

Parameters

NameTypeDescription
firstMessageTree
restMessageTree list

Returns

unit