Minilib.Trait.Comonad
Defined in minilib-comonad@0.5.1
Comonad trait and associated functions.
For details, see web sites below. - Comonads in Haskell - Haskell: Control.Comonad
Values
namespace Minilib.Trait.Comonad::Comonad
duplicate
Type: [w : Minilib.Trait.Comonad::Comonad] w a -> w (w a)
Duplicates a comonad.
extend
Type: [w : Minilib.Trait.Comonad::Comonad] (w b -> a) -> w b -> w a
Extends a comonad with a function.
extendF
Type: [w : Minilib.Trait.Comonad::Comonad] w b -> (w b -> a) -> w a
Flipped version of extend.
extract
Type: [w : Minilib.Trait.Comonad::Comonad] w a -> a
Extracts a value from a comonad.
Types and aliases
Traits and aliases
namespace Minilib.Trait.Comonad
trait [w : *->*] w : Comonad
method extract
Type: w a -> a
Extracts a value from a comonad.
method extend
Type: (w b -> a) -> w b -> w a
Extends a comonad with a function.