Single Predicated Step
data PredStep c s a Source
Constructors
forall r . PredStep | |
Fields - predTag :: !s
Unique identifier for the predicate - used for combination - predPred :: s -> Maybe r
The predicate, existentially quantified in the successful result r - predData :: Maybe (r -> a)
The result function, capturing the quantified result r and turning
it into a top-level variable a . - predSub :: c s (r -> a)
Any sub-trie must have all results preceeded in arity with
the result at this step.
|
Adjacent Predicated Steps