ghc-7.8.2: The GHC API

Safe HaskellNone
LanguageHaskell98

TrieMap

Documentation

foldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> b Source

foldTypeMap :: (a -> b -> b) -> b -> TypeMap a -> b Source

data MaybeMap m a Source

Instances

TrieMap m => TrieMap (MaybeMap m) 
type Key (MaybeMap m) = Maybe (Key m) 

data ListMap m a Source

Instances

TrieMap m => TrieMap (ListMap m) 
type Key (ListMap m) = [Key m] 

class TrieMap m where Source

Associated Types

type Key m :: * Source

Methods

emptyTM :: m a Source

lookupTM :: forall b. Key m -> m b -> Maybe b Source

alterTM :: forall b. Key m -> XT b -> m b -> m b Source

mapTM :: (a -> b) -> m a -> m b Source

foldTM :: (a -> b -> b) -> m a -> b -> b Source

insertTM :: TrieMap m => Key m -> a -> m a -> m a Source

deleteTM :: TrieMap m => Key m -> m a -> m a Source