Pandora.Pattern.Functor.Comonad

Documentation

class (Monoidal (<--) (Straight source) (:*:) (:*:) t, Extendable source t) => Comonad source t

Let f :: (Extendable t, Extractable t) => t a -> b
Let g :: (Extendable t, Extractable t) => t a -> b

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

Instances

Comonad ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Comonad ((->) :: Type -> Type -> Type) ((:*:) s)

Defined in Pandora.Paradigm.Algebraic

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Comonad ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Comonad ((->) :: Type -> Type -> Type) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Comonad ((->) :: Type -> Type -> Type) (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

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

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

type Schematic Comonad (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

type Schematic Comonad (Store s) = (:*:) s <:<.>:> ((->) s :: Type -> Type)

type Schematic Comonad (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

type Schematic Comonad (Imprint e) = (<.:>) ((->) e :: Type -> Type)

type Schematic Comonad (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

type Schematic Comonad (Equipment e) = (<:.>) ((:*:) e)