Control.Arrow.BiKleisli

Portability	portable
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Description

Documentation

newtype BiKleisli w m a b

Constructors

BiKleisli

runBiKleisli :: w a -> m b

Instances

(Comonad w, Monad m, Distributes w m) => Category (BiKleisli w m)

(Comonad w, Monad m, Distributes w m) => Arrow (BiKleisli w m)

Monad m => Functor (BiKleisli w m a)

Produced by Haddock version 2.1.0