category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Arrow.CoKleisli
Portability
portable
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Documentation
newtype
CoKleisli
w a b
Source
Constructors
CoKleisli
runCoKleisli
:: w a -> b
Instances
Comonad
w =>
Arrow
(
CoKleisli
w)
Comonad
w =>
Category
(
CoKleisli
w)
Functor
(
CoKleisli
w a)
Produced by
Haddock
version 2.4.2