Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.Map.Data

Synopsis

Documentation

data Map a b Source #

Instances details

(Functor m, Decode m b c, Ord a) => Decode m (Map a b) (Map a c) Source #
Instance details Defined in Satchmo.Map.Data Methods decode :: Map a b -> m (Map0 a c) Source #

unknown :: (MonadSAT m, Ord a) => [a] -> m b -> m (Map a b) Source #

allocate an unknown map with this domain

constant :: (MonadSAT m, Ord a) => [(a, c)] -> (c -> m b) -> m (Map a b) Source #

(!) :: Ord k => Map k a -> k -> a Source #

elems :: Map k a -> [a] Source #

keys :: Map k a -> [k] Source #

toList :: Map k a -> [(k, a)] Source #

fromList :: Ord a => [(a, b)] -> Map a b Source #

map :: (a -> b) -> Map a a -> Map a b Source #

mapWithKey :: (a -> a -> b) -> Map a a -> Map a b Source #