multipass-0.1.0.2: Folding data with multiple named passes

Safe HaskellNone

Data.Pass.Env

Documentation

data Env k a Source

Instances

Named k => Show (Env k a) 

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