Data.Functor.Request

Documentation

data Request a b r

'Request a b' is the type of a request that sends a to receive b.

Constructors

Request a (b -> r)

Instances

Profunctor (Request a)

Functor (Request a b)

Monoid a => Applicative (Request a b)

Tower (Request a b)

Typeable (* -> * -> * -> *) Request

type Floors1 (Request a b) = (:>) (* -> *) (Request a b) (Floors (Request a b))

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

mapRequest :: (a -> a') -> Request a b r -> Request a' b r

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

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

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