MessageTreeUnion

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

Specification

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

Summary

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

Union cases

kind:member

IsAll

this.IsAll
Member

Returns

bool
kind:member

IsAny

this.IsAny
Member

Returns

bool
kind:member

IsLeaf

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