Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Documentation

class Interpreted m t => Comonadic m t where

Methods

bring :: Extractable u => (m < (t :< u) a) < t a

Instances

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

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

bring :: forall (u :: Type -> Type) a. Extractable u => ((->) < (Store s :< u) a) < Store s a

newtype (t :< u) a infixr 3

Constructors

TC

Fields

• tc :: Schematic Comonad t u a

Instances

Monoidal (-->) (-->) (:*:) (:*:) (Schematic Comonad t u) => Monoidal (-->) (-->) (:*:) (:*:) (t :< u)

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

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t :< u) a

Semimonoidal (-->) (:*:) (:*:) (Schematic Comonad t u) => Semimonoidal (-->) (:*:) (:*:) (t :< u :: Type -> Type)

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

Methods

mult :: forall (a :: k) (b :: k). ((t :< u) a :*: (t :< u) b) --> (t :< u) (a :*: b)

Hoistable ((->) :: Type -> Type -> Type) (Schematic Comonad t) => Hoistable ((->) :: Type -> Type -> Type) ((:<) t :: (Type -> Type) -> Type -> Type)

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

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). (t :< u) a -> (t :< v) a

Lowerable ((->) :: Type -> Type -> Type) (Schematic Comonad t) => Lowerable ((->) :: Type -> Type -> Type) ((:<) t)

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

Methods

lower :: Covariant (->) (->) u => (t :< u) a -> u a

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

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

Methods

(<<=) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<==) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<===) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<====) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<=====) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<======) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<=======) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

(<<========) :: ((t :< u) a -> b) -> (t :< u) a -> (t :< u) b

Bindable ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Bindable ((->) :: Type -> Type -> Type) (t :< u)

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

Methods

(=<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

(==<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

(===<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

(====<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

(=====<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

(======<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

(=======<<) :: (a -> (t :< u) b) -> (t :< u) a -> (t :< u) b

Interpreted ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Interpreted ((->) :: Type -> Type -> Type) (t :< u)

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

Associated Types

type Primary (t :< u) a

Methods

run :: ((->) < (t :< u) a) < Primary (t :< u) a

unite :: ((->) < Primary (t :< u) a) < (t :< u) a

(<~~~~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(<~) :: ((->) < (t :< u) a) < Primary (t :< u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (t :< u) a) < Primary u0 b) -> ((->) < (t :< u) a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < (t :< u) a) < u0 b) -> ((->) < Primary (t :< u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (t :< u) a) < Primary u0 b) -> (j > (t :< u) a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < (t :< u) a) < u0 b) -> (j > Primary (t :< u) a) -> (j > Primary u0 b)

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

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u)

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

Methods

(<-|-) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|--) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|---) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|----) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|-----) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|------) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|-------) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|--------) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 (v a)) -> (t :< u) (u0 (v b))

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u)

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

Methods

(-<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

(--<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

(---<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

(----<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

(-----<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

(------<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

(-------<<) :: Covariant (->) (->) u0 => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u)

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

Methods

(<<-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

(<<-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

(<<------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

(<<-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

(<<----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

(<<---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

(<<--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :< u) a -> u0 ((t :< u) b)

type Primary (t :< u) a

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

type Primary (t :< u) a = Primary (Schematic Comonad t u) a