Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
toA :: PatternMap m => (m a -> m a) -> A (m a) Source #
unionOn :: PatternMap m => (a -> m b) -> a -> a -> m b Source #
class PatternMap m where Source #
mUnion :: m a -> m a -> m a Source #
mAlter :: AlphaEnv -> Quantifiers -> Key m -> A a -> m a -> m a Source #
mMatch :: MatchEnv -> Key m -> (Substitution, m a) -> [(Substitution, a)] Source #
Instances
maybeListMap :: (b -> Maybe [c]) -> (a, b) -> [(a, c)] Source #
MaybeMap [a] |
Instances
Functor MaybeMap Source # | |
PatternMap MaybeMap Source # | |
Defined in Retrie.PatternMap.Class | |
type Key MaybeMap Source # | |
Defined in Retrie.PatternMap.Class |
Instances
Functor m => Functor (ListMap m) Source # | |
PatternMap m => PatternMap (ListMap m) Source # | |
Defined in Retrie.PatternMap.Class | |
type Key (ListMap m) Source # | |
Defined in Retrie.PatternMap.Class |
findMatch :: PatternMap m => MatchEnv -> Key m -> m a -> [(Substitution, a)] Source #
insertMatch :: PatternMap m => AlphaEnv -> Quantifiers -> Key m -> a -> m a -> m a Source #