Wrapper for the semiring of upwards and downwards directed sets.
For the individual join/meet monoids associated with either
algebra, see Max Ordering, and Min Ordering@.
Constructors
Instances9Bounded, Enum, Eq, Data, Read, Show, …
Bounded DirectedDefined in semirings-0.7 · Data.Semiring.DirectedEnum DirectedDefined in semirings-0.7 · Data.Semiring.DirectedEq DirectedDefined in semirings-0.7 · Data.Semiring.DirectedData DirectedDefined in semirings-0.7 · Data.Semiring.DirectedRead DirectedDefined in semirings-0.7 · Data.Semiring.DirectedShow DirectedDefined in semirings-0.7 · Data.Semiring.DirectedGeneric DirectedDefined in semirings-0.7 · Data.Semiring.DirectedSemiring DirectedDefined in semirings-0.7 · Data.Semiring.Directedtype Rep Directed = D1 ('MetaDataDefined in semirings-0.7 · Data.Semiring.Directed"Directed"
"Data.Semiring.Directed"
"semirings-0.7-GIGrYUqZyfq3lrYkPmBJIf"
'True) (C1 ('MetaCons"Directed"
'PrefixI 'True) (S1 ('MetaSel ('Just"getDirected"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ordering)))