Network.DO.Pairing

Documentation

class (Functor f, Functor g) => Pairing f g where

Minimal complete definition

pair

Methods

pair :: (a -> b -> r) -> f a -> g b -> r

Instances

Pairing Identity Identity

Methods

pair :: (a -> b -> r) -> Identity a -> Identity b -> r

Pairing ((->) a) ((,) a)

Methods

pair :: (a -> b -> r) -> (a -> a) -> (a, b) -> r

Pairing ((,) a) ((->) a)

Methods

pair :: (a -> b -> r) -> (a, a) -> (a -> b) -> r

class (Functor f, Functor g, Monad m) => PairingM f g m where

Minimal complete definition

pairM

Methods

pairM :: (a -> b -> m r) -> f a -> g b -> m r

Instances

Monad m => PairingM (CoDropletCommands m) DropletCommands m

Methods

pairM :: (a -> b -> m r) -> CoDropletCommands m a -> DropletCommands b -> m r

Monad m => PairingM (CoDO m) DO m

Methods

pairM :: (a -> b -> m r) -> CoDO m a -> DO b -> m r

Monad m => PairingM ((,) (m a)) ((->) a) m

Methods

pairM :: (a -> b -> m r) -> (m a, a) -> (a -> b) -> m r

(Monad m, PairingM f h m, PairingM g k m) => PairingM (Sum * f g) (Product * h k) m

Methods

pairM :: (a -> b -> m r) -> Sum * f g a -> Product * h k b -> m r

(Monad m, PairingM h f m, PairingM k g m) => PairingM (Product * h k) (Sum * f g) m

Methods

pairM :: (a -> b -> m r) -> Product * h k a -> Sum * f g b -> m r

pairEffect :: (Pairing f g, Comonad w, Monad m) => (a -> b -> r) -> CofreeT f w a -> FreeT g m b -> m r

pairEffectM :: (PairingM f g m, Comonad w) => (a -> b -> m r) -> CofreeT f w (m a) -> FreeT g m b -> m r

pairEffect' :: (Pairing f g, Comonad w, Monad m) => (a -> b -> m r) -> CofreeT f w a -> FreeT g m b -> m r

injr :: (Monad m, Functor f, Functor g) => g a -> FreeT (Sum f g) m a

injl :: (Monad m, Functor f, Functor g) => f a -> FreeT (Sum f g) m a