Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (Monoidal (<--) (Straight source) (:*:) (:*:) t, Extendable source t) => Comonad source t Source #
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 Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Exactly | |
Comonad ((->) :: Type -> Type -> Type) ((:*:) s) Source # | |
Defined in Pandora.Paradigm.Algebraic | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t) => Comonad ((->) :: Type -> Type -> Type) (Construction t) Source # | |
Comonad ((->) :: Type -> Type -> Type) (Store s) Source # | |
Defined in Pandora.Paradigm.Inventory.Some.Store | |
Comonad ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
(Extractable (t :< u), Extendable ((->) :: Type -> Type -> Type) (t :< u)) => Comonad ((->) :: Type -> Type -> Type) (t :< u) Source # | |
type Schematic Comonad (Store s) Source # | |
type Schematic Comonad (Imprint e) Source # | |
Defined in Pandora.Paradigm.Inventory.Some.Imprint | |
type Schematic Comonad (Equipment e) Source # | |