PatternMap MaybeMap Source #
Instance details Defined in Retrie.PatternMap.Class Associated Types type Key MaybeMap :: Type Source # Methods mEmpty :: MaybeMap a Source # mUnion :: MaybeMap a -> MaybeMap a -> MaybeMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key MaybeMap -> A a -> MaybeMap a -> MaybeMap a Source # mMatch :: MatchEnv -> Key MaybeMap -> (Substitution, MaybeMap a) -> [(Substitution, a)] Source #
PatternMap UniqFM Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key UniqFM :: Type Source # Methods mEmpty :: UniqFM a Source # mUnion :: UniqFM a -> UniqFM a -> UniqFM a Source # mAlter :: AlphaEnv -> Quantifiers -> Key UniqFM -> A a -> UniqFM a -> UniqFM a Source # mMatch :: MatchEnv -> Key UniqFM -> (Substitution, UniqFM a) -> [(Substitution, a)] Source #
PatternMap FSEnv Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key FSEnv :: Type Source # Methods mEmpty :: FSEnv a Source # mUnion :: FSEnv a -> FSEnv a -> FSEnv a Source # mAlter :: AlphaEnv -> Quantifiers -> Key FSEnv -> A a -> FSEnv a -> FSEnv a Source # mMatch :: MatchEnv -> Key FSEnv -> (Substitution, FSEnv a) -> [(Substitution, a)] Source #
PatternMap IntMap Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key IntMap :: Type Source # Methods mEmpty :: IntMap a Source # mUnion :: IntMap a -> IntMap a -> IntMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key IntMap -> A a -> IntMap a -> IntMap a Source # mMatch :: MatchEnv -> Key IntMap -> (Substitution, IntMap a) -> [(Substitution, a)] Source #
PatternMap BoolMap Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key BoolMap :: Type Source # Methods mEmpty :: BoolMap a Source # mUnion :: BoolMap a -> BoolMap a -> BoolMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key BoolMap -> A a -> BoolMap a -> BoolMap a Source # mMatch :: MatchEnv -> Key BoolMap -> (Substitution, BoolMap a) -> [(Substitution, a)] Source #
PatternMap RFMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key RFMap :: Type Source # Methods mEmpty :: RFMap a Source # mUnion :: RFMap a -> RFMap a -> RFMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key RFMap -> A a -> RFMap a -> RFMap a Source # mMatch :: MatchEnv -> Key RFMap -> (Substitution, RFMap a) -> [(Substitution, a)] Source #
PatternMap TyMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key TyMap :: Type Source # Methods mEmpty :: TyMap a Source # mUnion :: TyMap a -> TyMap a -> TyMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key TyMap -> A a -> TyMap a -> TyMap a Source # mMatch :: MatchEnv -> Key TyMap -> (Substitution, TyMap a) -> [(Substitution, a)] Source #
PatternMap SMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key SMap :: Type Source # Methods mEmpty :: SMap a Source # mUnion :: SMap a -> SMap a -> SMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key SMap -> A a -> SMap a -> SMap a Source # mMatch :: MatchEnv -> Key SMap -> (Substitution, SMap a) -> [(Substitution, a)] Source #
PatternMap BMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key BMap :: Type Source # Methods mEmpty :: BMap a Source # mUnion :: BMap a -> BMap a -> BMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key BMap -> A a -> BMap a -> BMap a Source # mMatch :: MatchEnv -> Key BMap -> (Substitution, BMap a) -> [(Substitution, a)] Source #
PatternMap LBMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key LBMap :: Type Source # Methods mEmpty :: LBMap a Source # mUnion :: LBMap a -> LBMap a -> LBMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key LBMap -> A a -> LBMap a -> LBMap a Source # mMatch :: MatchEnv -> Key LBMap -> (Substitution, LBMap a) -> [(Substitution, a)] Source #
PatternMap SLMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key SLMap :: Type Source # Methods mEmpty :: SLMap a Source # mUnion :: SLMap a -> SLMap a -> SLMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key SLMap -> A a -> SLMap a -> SLMap a Source # mMatch :: MatchEnv -> Key SLMap -> (Substitution, SLMap a) -> [(Substitution, a)] Source #
PatternMap GRHSMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key GRHSMap :: Type Source # Methods mEmpty :: GRHSMap a Source # mUnion :: GRHSMap a -> GRHSMap a -> GRHSMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key GRHSMap -> A a -> GRHSMap a -> GRHSMap a Source # mMatch :: MatchEnv -> Key GRHSMap -> (Substitution, GRHSMap a) -> [(Substitution, a)] Source #
PatternMap GRHSSMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key GRHSSMap :: Type Source # Methods mEmpty :: GRHSSMap a Source # mUnion :: GRHSSMap a -> GRHSSMap a -> GRHSSMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key GRHSSMap -> A a -> GRHSSMap a -> GRHSSMap a Source # mMatch :: MatchEnv -> Key GRHSSMap -> (Substitution, GRHSSMap a) -> [(Substitution, a)] Source #
PatternMap PatMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key PatMap :: Type Source # Methods mEmpty :: PatMap a Source # mUnion :: PatMap a -> PatMap a -> PatMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key PatMap -> A a -> PatMap a -> PatMap a Source # mMatch :: MatchEnv -> Key PatMap -> (Substitution, PatMap a) -> [(Substitution, a)] Source #
PatternMap CDMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key CDMap :: Type Source # Methods mEmpty :: CDMap a Source # mUnion :: CDMap a -> CDMap a -> CDMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key CDMap -> A a -> CDMap a -> CDMap a Source # mMatch :: MatchEnv -> Key CDMap -> (Substitution, CDMap a) -> [(Substitution, a)] Source #
PatternMap MMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key MMap :: Type Source # Methods mEmpty :: MMap a Source # mUnion :: MMap a -> MMap a -> MMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key MMap -> A a -> MMap a -> MMap a Source # mMatch :: MatchEnv -> Key MMap -> (Substitution, MMap a) -> [(Substitution, a)] Source #
PatternMap MGMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key MGMap :: Type Source # Methods mEmpty :: MGMap a Source # mUnion :: MGMap a -> MGMap a -> MGMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key MGMap -> A a -> MGMap a -> MGMap a Source # mMatch :: MatchEnv -> Key MGMap -> (Substitution, MGMap a) -> [(Substitution, a)] Source #
PatternMap SCMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key SCMap :: Type Source # Methods mEmpty :: SCMap a Source # mUnion :: SCMap a -> SCMap a -> SCMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key SCMap -> A a -> SCMap a -> SCMap a Source # mMatch :: MatchEnv -> Key SCMap -> (Substitution, SCMap a) -> [(Substitution, a)] Source #
PatternMap EMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key EMap :: Type Source # Methods mEmpty :: EMap a Source # mUnion :: EMap a -> EMap a -> EMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key EMap -> A a -> EMap a -> EMap a Source # mMatch :: MatchEnv -> Key EMap -> (Substitution, EMap a) -> [(Substitution, a)] Source #
PatternMap OLMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key OLMap :: Type Source # Methods mEmpty :: OLMap a Source # mUnion :: OLMap a -> OLMap a -> OLMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key OLMap -> A a -> OLMap a -> OLMap a Source # mMatch :: MatchEnv -> Key OLMap -> (Substitution, OLMap a) -> [(Substitution, a)] Source #
PatternMap LMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key LMap :: Type Source # Methods mEmpty :: LMap a Source # mUnion :: LMap a -> LMap a -> LMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key LMap -> A a -> LMap a -> LMap a Source # mMatch :: MatchEnv -> Key LMap -> (Substitution, LMap a) -> [(Substitution, a)] Source #
PatternMap VMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key VMap :: Type Source # Methods mEmpty :: VMap a Source # mUnion :: VMap a -> VMap a -> VMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key VMap -> A a -> VMap a -> VMap a Source # mMatch :: MatchEnv -> Key VMap -> (Substitution, VMap a) -> [(Substitution, a)] Source #
PatternMap BoxityMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key BoxityMap :: Type Source # Methods mEmpty :: BoxityMap a Source # mUnion :: BoxityMap a -> BoxityMap a -> BoxityMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key BoxityMap -> A a -> BoxityMap a -> BoxityMap a Source # mMatch :: MatchEnv -> Key BoxityMap -> (Substitution, BoxityMap a) -> [(Substitution, a)] Source #
PatternMap TupArgMap Source #
Instance details Defined in Retrie.PatternMap.Instances Associated Types type Key TupArgMap :: Type Source # Methods mEmpty :: TupArgMap a Source # mUnion :: TupArgMap a -> TupArgMap a -> TupArgMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key TupArgMap -> A a -> TupArgMap a -> TupArgMap a Source # mMatch :: MatchEnv -> Key TupArgMap -> (Substitution, TupArgMap a) -> [(Substitution, a)] Source #
PatternMap UMap Source #
Instance details Defined in Retrie.Universe Associated Types type Key UMap :: Type Source # Methods mEmpty :: UMap a Source # mUnion :: UMap a -> UMap a -> UMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key UMap -> A a -> UMap a -> UMap a Source # mMatch :: MatchEnv -> Key UMap -> (Substitution, UMap a) -> [(Substitution, a)] Source #
PatternMap m => PatternMap (ListMap m) Source #
Instance details Defined in Retrie.PatternMap.Class Associated Types type Key (ListMap m) :: Type Source # Methods mEmpty :: ListMap m a Source # mUnion :: ListMap m a -> ListMap m a -> ListMap m a Source # mAlter :: AlphaEnv -> Quantifiers -> Key (ListMap m) -> A a -> ListMap m a -> ListMap m a Source # mMatch :: MatchEnv -> Key (ListMap m) -> (Substitution, ListMap m a) -> [(Substitution, a)] Source #
Ord k => PatternMap (Map k) Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key (Map k) :: Type Source # Methods mEmpty :: Map k a Source # mUnion :: Map k a -> Map k a -> Map k a Source # mAlter :: AlphaEnv -> Quantifiers -> Key (Map k) -> A a -> Map k a -> Map k a Source # mMatch :: MatchEnv -> Key (Map k) -> (Substitution, Map k a) -> [(Substitution, a)] Source #

mapFor :: (b -> c) -> (a, b) -> [(a, c)] Source #

maybeMap :: (b -> Maybe c) -> (a, b) -> [(a, c)] Source #

maybeListMap :: (b -> Maybe [c]) -> (a, b) -> [(a, c)] Source #

newtype MaybeMap a Source #

Constructors

MaybeMap [a]

Instances

Functor MaybeMap Source #
Instance details Defined in Retrie.PatternMap.Class Methods fmap :: (a -> b) -> MaybeMap a -> MaybeMap b # (<$) :: a -> MaybeMap b -> MaybeMap a #
PatternMap MaybeMap Source #
Instance details Defined in Retrie.PatternMap.Class Associated Types type Key MaybeMap :: Type Source # Methods mEmpty :: MaybeMap a Source # mUnion :: MaybeMap a -> MaybeMap a -> MaybeMap a Source # mAlter :: AlphaEnv -> Quantifiers -> Key MaybeMap -> A a -> MaybeMap a -> MaybeMap a Source # mMatch :: MatchEnv -> Key MaybeMap -> (Substitution, MaybeMap a) -> [(Substitution, a)] Source #
type Key MaybeMap Source #
Instance details Defined in Retrie.PatternMap.Class type Key MaybeMap = ()

data ListMap m a Source #

Constructors

ListMap
Fields lmNil :: MaybeMap a lmCons :: m (ListMap m a)

Instances

Functor m => Functor (ListMap m) Source #
Instance details Defined in Retrie.PatternMap.Class Methods fmap :: (a -> b) -> ListMap m a -> ListMap m b # (<$) :: a -> ListMap m b -> ListMap m a #
PatternMap m => PatternMap (ListMap m) Source #
Instance details Defined in Retrie.PatternMap.Class Associated Types type Key (ListMap m) :: Type Source # Methods mEmpty :: ListMap m a Source # mUnion :: ListMap m a -> ListMap m a -> ListMap m a Source # mAlter :: AlphaEnv -> Quantifiers -> Key (ListMap m) -> A a -> ListMap m a -> ListMap m a Source # mMatch :: MatchEnv -> Key (ListMap m) -> (Substitution, ListMap m a) -> [(Substitution, a)] Source #
type Key (ListMap m) Source #
Instance details Defined in Retrie.PatternMap.Class type Key (ListMap m) = [Key m]

findMatch :: PatternMap m => MatchEnv -> Key m -> m a -> [(Substitution, a)] Source #

insertMatch :: PatternMap m => AlphaEnv -> Quantifiers -> Key m -> a -> m a -> m a Source #