Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic

Documentation

class Interpreted t => Comonadic t where

Methods

flick :: Covariant u => (t :< u) ~> u

bring :: Extractable u => (t :< u) ~> t

Instances

Comonadic (Store p)

Defined in Pandora.Paradigm.Inventory.Store

Methods

flick :: Covariant u => (Store p :< u) ~> u

bring :: Extractable u => (Store p :< u) ~> Store p

newtype (t :< u) a infixr 3

Constructors

TC

Fields

• tc :: Schematic Comonad t u a

Instances

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

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

Associated Types

type Primary (t :< u) a :: Type

Methods

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

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

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

Methods

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

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

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

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

void :: (t :< u) a -> (t :< u) ()

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

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

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

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((t :< u) :. (u0 :. v)) := a) -> ((t :< u) :. (u0 :. v)) := b

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((t :< u) :. (u0 :. (v :. w))) := a) -> ((t :< u) :. (u0 :. (v :. w))) := b

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

(<&&&>) :: (Covariant u0, Covariant v) => (((t :< u) :. (u0 :. v)) := a) -> (a -> b) -> ((t :< u) :. (u0 :. v)) := b

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((t :< u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((t :< u) :. (u0 :. (v :. w))) := b

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

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

Methods

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

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

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

join :: (((t :< u) :. (t :< u)) := a) -> (t :< u) a

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

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

Applicative (Schematic Comonad t u) => Applicative (t :< u)

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

Methods

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

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

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

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

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

(<**>) :: Applicative u0 => (((t :< u) :. u0) := (a -> b)) -> (((t :< u) :. u0) := a) -> ((t :< u) :. u0) := b

(<***>) :: (Applicative u0, Applicative v) => (((t :< u) :. (u0 :. v)) := (a -> b)) -> (((t :< u) :. (u0 :. v)) := a) -> ((t :< u) :. (u0 :. v)) := b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => (((t :< u) :. (u0 :. (v :. w))) := (a -> b)) -> (((t :< u) :. (u0 :. (v :. w))) := a) -> ((t :< u) :. (u0 :. (v :. w))) := b

Alternative (Schematic Comonad t u) => Alternative (t :< u)

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

Methods

(<+>) :: (t :< u) a -> (t :< u) a -> (t :< u) a

alter :: (t :< u) a -> (t :< u) a -> (t :< u) a

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

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

Methods

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

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

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

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

(>>>>-) :: (Covariant u0, Covariant v, Covariant w) => ((u0 :. (v :. w)) := a) -> (a -> (t :< u) b) -> ((t :< u) :. (u0 :. (v :. w))) := b

(>>>>>-) :: (Covariant u0, Covariant v, Covariant w, Covariant j) => ((u0 :. (v :. (w :. j))) := a) -> (a -> (t :< u) b) -> ((t :< u) :. (u0 :. (v :. (w :. j)))) := b

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

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

Methods

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

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

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

duplicate :: (t :< u) a -> ((t :< u) :. (t :< u)) := a

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

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

Extractable (Schematic Comonad t u) => Extractable (t :< u)

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

Methods

extract :: a <-| (t :< u)

Pointable (Schematic Comonad t u) => Pointable (t :< u)

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

Methods

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

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

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

Methods

(->>) :: (Pointable u0, Applicative u0) => (t :< u) a -> (a -> u0 b) -> (u0 :. (t :< u)) := b

traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> (t :< u) a -> (u0 :. (t :< u)) := b

sequence :: (Pointable u0, Applicative u0) => (((t :< u) :. u0) := a) -> (u0 :. (t :< u)) := a

(->>>) :: (Pointable u0, Applicative u0, Traversable v) => ((v :. (t :< u)) := a) -> (a -> u0 b) -> (u0 :. (v :. (t :< u))) := b

(->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => ((w :. (v :. (t :< u))) := a) -> (a -> u0 b) -> (u0 :. (w :. (v :. (t :< u)))) := b

(->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. (t :< u)))) := a) -> (a -> u0 b) -> (u0 :. (j :. (w :. (v :. (t :< u))))) := b

type Primary (t :< u) a

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

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