hdo-0.1: A Digital Ocean client in Haskell

Safe HaskellSafe
LanguageHaskell2010

Pairing

Documentation

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

Methods

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

Instances

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

Methods

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

Instances

Monad m => PairingM (CoDO m) DO m Source 
Monad m => PairingM ((,) (m a)) ((->) a) m Source 

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

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

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