control-monad-free-0.6.1: Free monads and monad transformers

Safe HaskellNone
LanguageHaskell98

Control.Monad.Free.Zip

Documentation

zipFree :: (Traversable f, Eq (f ()), Monad m) => (Free f a -> Free f b -> m (Free f c)) -> Free f a -> Free f b -> m (Free f c) Source

zipFree_ :: (Traversable f, Eq (f ()), Monad m) => (Free f a -> Free f b -> m ()) -> Free f a -> Free f b -> m () Source