CurryInfo: searchtree-3.0.0 / Control.SearchTree.Generators.genOrdering

definition:
genOrdering :: SearchTree Ordering
genOrdering = Or (Value LT) (Or (Value EQ) (Value GT))
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Generates a search tree for the `Ordering` values.
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {Or}}
name:
genOrdering
precedence:
no precedence defined
result-values:
{Or}
signature:
Control.SearchTree.SearchTree Prelude.Ordering
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms