Pandora.Pattern.Functor.Comonad

Documentation

class (Extractable t, Extendable t) => Comonad t

Let f :: (Pointable t, Bindable t) => t a -> b
Let g :: (Pointable t, Bindable t) => t a -> b

When providing a new instance, you should ensure it satisfies the three laws:
* Left identity: extend extract ≡ identity
* Right identity: extract . extend f ≡ f
* Associativity: extend f . extend g ≡ extend (f . extend g)

Instances

Comonad Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Comonad (Product a)

Defined in Pandora.Paradigm.Primary.Functor.Product

Comonad (Store p)

Defined in Pandora.Paradigm.Inventory.Store

Covariant t => Comonad (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

(Extractable (t :< u), Extendable (t :< u)) => Comonad (t :< u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic

Comonad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

type Schematic Comonad (Imprint e) u

Defined in Pandora.Paradigm.Inventory.Imprint

type Schematic Comonad (Imprint e) u = UT Covariant Covariant ((->) e :: Type -> Type) u

type Schematic Comonad (Store p) u

Defined in Pandora.Paradigm.Inventory.Store

type Schematic Comonad (Store p) u = TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u

type Schematic Comonad (Equipment e) u

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) u = TU Covariant Covariant ((:*:) e) u