pandora-0.3.8: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Functor.Comonad

Synopsis

Documentation

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

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

Instances details
Comonad Identity Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Identity

Comonad (Product s) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Product

Covariant t => Comonad (Construction t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Comonad (Store s) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Comonad (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Comonad (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Tagged

(Extractable (t :< u), Extendable (t :< u)) => Comonad (t :< u) Source # 
Instance details

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

type Schematic Comonad (Store s) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

type Schematic Comonad (Store s) = (:*:) s <:<.>:> ((->) s :: Type -> Type)
type Schematic Comonad (Imprint e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Imprint

type Schematic Comonad (Imprint e) = (<.:>) ((->) e :: Type -> Type)
type Schematic Comonad (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment