Reified

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

IsAll

this.IsAll
Member

Returns

bool

IsAny

this.IsAny
Member

Returns

bool

IsLeaf

this.IsLeaf
Member

Returns

bool

Leaf

Leaf MessageLeaf
Member
One message.

Parameters

NameTypeDescription
ItemMessageLeaf

Returns

unit

All

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

Parameters

NameTypeDescription
firstMessageTree
restMessageTree list

Returns

unit

Any

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

Parameters

NameTypeDescription
firstMessageTree
restMessageTree list

Returns

unit