Portability  portable 

Stability  provisional 
Maintainer  Edward Kmett <ekmett@gmail.com> 
 class Functor w => Comonad w where
 (=>>) :: Comonad w => w a > (w a > b) > w b
 (<<=) :: Comonad w => (w a > b) > w a > w b
 liftW :: Comonad w => (a > b) > w a > w b
 wfix :: Comonad w => w (w a > a) > a
 newtype Cokleisli w a b = Cokleisli {
 runCokleisli :: w a > b
 (=>=) :: Comonad w => (w a > b) > (w b > c) > w a > c
 (=<=) :: Comonad w => (w b > c) > (w a > b) > w a > c
Comonads
There are two ways to define a comonad:
I. Provide definitions for extract
and extend
satisfying these laws:
extend extract = id extract . extend f = f extend f . extend g = extend (f . extend g)
In this case, you may simply set fmap
= liftW
.
These laws are directly analogous to the laws for monads and perhaps can be made clearer by viewing them as laws stating that Cokleisli composition must be associative, and has extract for a unit:
f =>= extract = f extract =>= f = f (f =>= g) =>= h = f =>= (g =>= h)
II. Alternately, you may choose to provide definitions for fmap
,
extract
, and duplicate
satisfying these laws:
extract . duplicate = id fmap extract . duplicate = id duplicate . duplicate = fmap duplicate . duplicate
In this case you may not rely on the ability to define fmap
in
terms of liftW
.
You may of course, choose to define both duplicate
and extend
.
In that case you must also satisfy these laws:
extend f = fmap f . duplicate duplicate = extend id fmap f = extend (f . extract)
These are the default definitions of extend
andduplicate
and
the definition of liftW
respectively.
class Functor w => Comonad w whereSource
$definition
Cokleisli Arrows
newtype Cokleisli w a b Source
Cokleisli  
