Control.Comonad

Definitions

interface Comonad : (Type -> Type) -> Type

Parameters: m
Constraints: Functor m
Constructor: 

MkComonad

Methods:

extract : m a -> a

comult : m a -> m (m a)

extract : Comonad m => m a -> a

Totality: total
Visibility: public export

comult : Comonad m => m a -> m (m a)

Totality: total
Visibility: public export