Control.Comonad

Definitions

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

Parameters: w
Constraints: Functor w
Methods:

extract : w a -> a

duplicate : w a -> w (w a)

extend : (w a -> b) -> w a -> w b

Implementations:

Comonad (Pair e)

Comonad Identity

Comonad Stream

Comonad List1

Monoid e => Comonad (Morphism e)

extract : Comonad w => w a -> a

Totality: total
Visibility: public export

duplicate : Comonad w => w a -> w (w a)

Totality: total
Visibility: public export

extend : Comonad w => (w a -> b) -> w a -> w b

Totality: total
Visibility: public export

interface ComonadApply : (Type -> Type) -> Type

Parameters: w
Constraints: Comonad w
Methods:

(<@>) : w (a -> b) -> w a -> w b

Fixity Declaration: infixl operator, level 4

(@>) : w a -> w b -> w b

Fixity Declaration: infixl operator, level 4

(<@) : w a -> w b -> w a

Fixity Declaration: infixl operator, level 4

Implementations:

Semigroup m => ComonadApply (Pair m)

ComonadApply List1

ComonadApply Stream

Monoid m => ComonadApply (Morphism m)

ComonadApply Identity

(<@>) : ComonadApply w => w (a -> b) -> w a -> w b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 4

(@>) : ComonadApply w => w a -> w b -> w b

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 4

(<@) : ComonadApply w => w a -> w b -> w a

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 4

(=>>) : Comonad w => w a -> (w a -> b) -> w b

  `extend` with the arguments swapped. Dual to `>>=` for a `Monad`.

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 1

(<<=) : Comonad w => (w a -> b) -> w a -> w b

  `extend` in operator form

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 1

(=<=) : Comonad w => (w b -> c) -> (w a -> b) -> w a -> c

  Right-to-left `Cokleisli` composition

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 1

(=>=) : Comonad w => (w a -> b) -> (w b -> c) -> w a -> c

  Left-to-right `Cokleisli` composition

Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 1

(<@@>) : ComonadApply w => w a -> w (a -> b) -> w b

  Flipped version of `<@>`.

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 4