Data.Functor.PushPull

Documentation

data PushPull a b r

The type for asynchronous input/output.

Constructors

Push a r

Pull (b -> r)

Instances

Profunctor (PushPull a)

Functor (PushPull a b)

Tower (PushPull a b)

Typeable (* -> * -> * -> *) PushPull

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

type Floors (PushPull a b) = (:>) (* -> *) ((,) a) ((:>) (* -> *) ((->) b) (Empty (* -> *)))

type PushPull' a = PushPull a a

mapPush :: (a -> a') -> PushPull a b r -> PushPull a' b r

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

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

bipush :: (i -> (a, c)) -> (b -> d -> o) -> PushPull i o r -> Day (PushPull a b) (PushPull c d) r

bipull :: (a -> b -> c) -> PushPull i c r -> Day (PushPull i a) (PushPull i b) r

filterPush :: (Applicative f, Elevate (PushPull a b) f) => (a -> Bool) -> PushPull a b r -> f r

filterPush :: (a -> Bool) -> PushPull a b r -> Program (PushPull a b) r