Common

Some convenience definitions.

Type aliases

type (:⇀) a b = Map a b infixl 8

Convenient alias for a partial map

type (:×) a b = (a, b) infixl 9

Convenient alias for a product type

Partial map functions

upd :: Ord k => (k :⇀ a) -> [k :× a] -> k :⇀ a

A function used to write map updates resembling the mathematical syntax m [ k ↦ v] as m upd [k ↦ v]

upd' :: (Ord k, Functor f) => f (k :⇀ a) -> [k :× a] -> f (k :⇀ a)

A functorial variant of upd

(↦) :: k -> v -> k :× v

For use in the argument list of upd

unionsM :: (Monad m, Ord k) => [m (k :⇀ a)] -> m (k :⇀ a)

A monadically lifted unions