objective-0.5: Extensible objects

Safe HaskellNone
LanguageHaskell2010

Data.Functor.PushPull

Documentation

data PushPull a b r Source

Constructors

Push a r 
Pull (b -> r) 

Instances

Functor (PushPull a b) 
Tower (PushPull a b) 
Typeable (* -> * -> * -> *) PushPull 
type Floors (PushPull a b) = Empty (* -> *) 

push :: Elevate (PushPull a b) f => a -> f () Source

pull :: Elevate (PushPull a b) f => f b Source