Safe Haskell	None
Language	Haskell2010

Retrie.PatternMap.Bag

Documentation

Constructors

EmptyBoolMap
BoolMap
Fields bmTrue :: MaybeMap a bmFalse :: MaybeMap a

Instances details

Functor BoolMap Source #
Instance details Defined in Retrie.PatternMap.Bag Methods fmap :: (a -> b) -> BoolMap a -> BoolMap b # (<$) :: a -> BoolMap b -> BoolMap a #
PatternMap BoolMap Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key BoolMap 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 #
type Key BoolMap Source #
Instance details Defined in Retrie.PatternMap.Bag type Key BoolMap = Bool

Constructors

IntMap
Fields unIntMap :: IntMap [a]

Instances details

Functor IntMap Source #
Instance details Defined in Retrie.PatternMap.Bag Methods fmap :: (a -> b) -> IntMap a -> IntMap b # (<$) :: a -> IntMap b -> IntMap a #
PatternMap IntMap Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key IntMap 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 #
type Key IntMap Source #
Instance details Defined in Retrie.PatternMap.Bag type Key IntMap = Key

newtype Map k a Source #

Constructors

Map
Fields unMap :: Map k [a]

Instances details

Functor (Map k) Source #
Instance details Defined in Retrie.PatternMap.Bag Methods fmap :: (a -> b) -> Map k a -> Map k b # (<$) :: a -> Map k b -> Map k a #
Ord k => PatternMap (Map k) Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key (Map k) 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 #
type Key (Map k) Source #
Instance details Defined in Retrie.PatternMap.Bag type Key (Map k) = k

mapAssocs :: Map k v -> [(k, v)] Source #

Constructors

FSEnv
Fields _unFSEnv :: UniqFM a

Instances details

Functor FSEnv Source #
Instance details Defined in Retrie.PatternMap.Bag Methods fmap :: (a -> b) -> FSEnv a -> FSEnv b # (<$) :: a -> FSEnv b -> FSEnv a #
PatternMap FSEnv Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key FSEnv 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 #
type Key FSEnv Source #
Instance details Defined in Retrie.PatternMap.Bag type Key FSEnv = FastString

Constructors

UniqFM
Fields unUniqFM :: UniqFM [a]

Instances details

Functor UniqFM Source #
Instance details Defined in Retrie.PatternMap.Bag Methods fmap :: (a -> b) -> UniqFM a -> UniqFM b # (<$) :: a -> UniqFM b -> UniqFM a #
PatternMap UniqFM Source #
Instance details Defined in Retrie.PatternMap.Bag Associated Types type Key UniqFM 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 #
type Key UniqFM Source #
Instance details Defined in Retrie.PatternMap.Bag type Key UniqFM = Unique