Satchmo.Map.Data

Documentation

data Map a b

Instances

(Functor m, Decode m b c, Ord a) => Decode m (Map a b) (Map a c)

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

allocate an unknown map with this domain

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

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

elems :: Map k a -> [a]

keys :: Map k a -> [k]

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

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

map :: (a1 -> b) -> Map a a1 -> Map a b

mapWithKey :: (a -> a1 -> b) -> Map a a1 -> Map a b