Copyright | (c) Ross Paterson 2002 (c) 2015 KONISHI Yohsuke |
---|---|
License | BSD-style (see the LICENSE file in the distribution) |
Maintainer | ocean0yohsuke@gmail.com |
Stability | experimental |
Portability | --- |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
module Control.Arrow
newtype Kleisli2 m1 m2 a b Source #
Kleisli2 | |
|
newtype Kleisli3 m1 m2 m3 a b Source #
Kleisli3 | |
|
(Monad m1, Monad m2, Traversable m2, Monad m3, Traversable m3) => Category * (Kleisli3 m1 m2 m3) Source # | |
(Monad m1, Monad m2, Traversable m2, Monad m3, Traversable m3) => Arrow (Kleisli3 m1 m2 m3) Source # | |
newtype Kleisli4 m1 m2 m3 m4 a b Source #
Kleisli4 | |
|
(Monad m1, Monad m2, Traversable m2, Monad m3, Traversable m3, Monad m4, Traversable m4) => Category * (Kleisli4 m1 m2 m3 m4) Source # | |
(Monad m1, Monad m2, Traversable m2, Monad m3, Traversable m3, Monad m4, Traversable m4) => Arrow (Kleisli4 m1 m2 m3 m4) Source # | |
newtype Kleisli5 m1 m2 m3 m4 m5 a b Source #
Kleisli5 | |
|
(Monad m1, Monad m2, Traversable m2, Monad m3, Traversable m3, Monad m4, Traversable m4, Monad m5, Traversable m5) => Category * (Kleisli5 m1 m2 m3 m4 m5) Source # | |
(Monad m1, Monad m2, Traversable m2, Monad m3, Traversable m3, Monad m4, Traversable m4, Monad m5, Traversable m5) => Arrow (Kleisli5 m1 m2 m3 m4 m5) Source # | |