Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Cokleisli ɯ a b Source #
Cokleisli | |
|
(Cotraversable f, Functor ɯ) => Closed f (Cokleisli * ɯ) Source # | |
Functor f => Costrong Either (Cokleisli * f) Source # | |
Comonad ɯ => Strong Either (Cokleisli * ɯ) Source # | |
Comonad ɯ => Category * (Cokleisli * ɯ) Source # | |
Functor f => Profunctor (Cokleisli * f) Source # | |
Monad (Cokleisli k ɯ a) Source # | |
Functor (Cokleisli k ɯ a) Source # | |
Applicative (Cokleisli k ɯ a) Source # | |