Contents Index

Org.Org.Semantic.HBase.Category.Comonad

Synopsis

class (Functor f, HasCoreturn f) => Comonad f where cobind :: f a -> (f a -> b) -> f b coexec :: Comonad f => f a -> f (f a) coseq :: Comonad f => f a -> b -> f b

Documentation

class (Functor f, HasCoreturn f) => Comonad f where

not quite sure about underlying Comonad theory Methods cobind :: f a -> (f a -> b) -> f b Instances

coexec :: Comonad f => f a -> f (f a)

coseq :: Comonad f => f a -> b -> f b

Produced by Haddock version 0.6