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