multipass-0.1: Folding data with multiple named passes

Data.Pass.Env

data Env k a Source

Instances

empty :: Env k aSource

lookup :: (Call k, Typeable b, Binary b, Monoid b) => Thrist k a b -> Env k a -> Maybe bSource

insert :: (Call k, Typeable b, Binary b, Monoid b) => Thrist k a b -> b -> Env k a -> Env k aSource

cons :: Call k => a -> Env k a -> Env k aSource