pred-trie-0.3.0: Predicative tries
Data.Trie.Pred.Step
Contents
Synopsis
data PredStep c s a Source
Constructors
Fields
Unique identifier for the predicate - used for combination
Instances
Lookup and delete only - can't arbitrarilly construct a predicated trie.
singletonPred :: Monoid (c s (r -> a)) => s -> (s -> Maybe r) -> (r -> a) -> PredStep c s a Source
newtype PredSteps c s a Source
unionPred :: Eq s => PredSteps c s a -> PredSteps c s a -> PredSteps c s a Source
Last-style instance
Last