category-extras-0.53.1: Various modules and constructs inspired by category theory Source code Contents Index

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

Description

Documentation

newtype BiKleisli w m a b Source

Constructors BiKleisli 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)

Produced by Haddock version 2.3.0