objective-0.5: Extensible objects

Safe HaskellNone
LanguageHaskell2010

Data.Functor.Request

Documentation

data Request a b r Source

Constructors

Request a (b -> r) 

Instances

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

request :: Elevate (Request a b) f => a -> f b Source

accept :: Functor f => (a -> f b) -> Request a b r -> f r Source

acceptM :: Monad m => (a -> m b) -> Request a b r -> m r Source