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

Safe Haskell | Safe-Inferred
Language | Haskell2010

Control.Monad.Free.Zip

# Documentation

zipFree :: forall (f :: Type -> Type) m a b c. (Traversable f, Eq (f ()), MonadFail m) => (Free f a -> Free f b -> m (Free f c)) -> Free f a -> Free f b -> m (Free f c) Source #

zipFree_ :: forall (f :: Type -> Type) m a b. (Traversable f, Eq (f ()), MonadFail m) => (Free f a -> Free f b -> m ()) -> Free f a -> Free f b -> m () Source #