category-extras-0.52.3: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Arrow.BiKleisli

Description

 

Documentation

newtype BiKleisli w m a b Source

Constructors

BiKleisli 

Fields

runBiKleisli :: w a -> m b
 

Instances

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