retrie-0.1.0.0: A powerful, easy-to-use codemodding tool for Haskell.

Safe HaskellNone
LanguageHaskell2010

Retrie.PatternMap.Bag

Documentation

data BoolMap a Source #

Constructors

EmptyBoolMap 
BoolMap 

Fields

Instances
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 :: Type Source #

type Key BoolMap Source # 
Instance details

Defined in Retrie.PatternMap.Bag

newtype IntMap a Source #

Constructors

IntMap 

Fields

Instances
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 :: Type Source #

type Key IntMap Source # 
Instance details

Defined in Retrie.PatternMap.Bag

type Key IntMap = Key

newtype Map k a Source #

Constructors

Map 

Fields

Instances
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) :: 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 #

type Key (Map k) Source # 
Instance details

Defined in Retrie.PatternMap.Bag

type Key (Map k) = k

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

newtype FSEnv a Source #

Constructors

FSEnv 

Fields

Instances
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 :: Type Source #

type Key FSEnv Source # 
Instance details

Defined in Retrie.PatternMap.Bag

newtype UniqFM a Source #

Constructors

UniqFM 

Fields

Instances
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 :: Type Source #

type Key UniqFM Source # 
Instance details

Defined in Retrie.PatternMap.Bag