Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Documentation

class Interpreted t => Comonadic t where

Methods

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

Instances

Comonadic (Store s)

Defined in Pandora.Paradigm.Inventory.Store

Methods

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

Monoid e => Comonadic (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

bring :: forall (u :: Type -> Type). Extractable u => (Imprint e :< u) ~> Imprint e

Comonadic (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

bring :: forall (u :: Type -> Type). Extractable u => (Equipment e :< u) ~> Equipment e

newtype (t :< u) a infixr 3

Constructors

TC

Fields

• tc :: Schematic Comonad t u a

Instances

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

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

Methods

lower :: forall (u :: Type -> Type). Covariant u => (t :< u) ~> u

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

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

Methods

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

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u => (u ~> v) -> (t :< u) ~> (t :< v)

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h)))))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< (f :< h))))))), Lowering u (Schematic Comonad v (w :< (x :< (y :< (z :< (f :< h)))))), Lowering v (Schematic Comonad w (x :< (y :< (z :< (f :< h))))), Lowering w (Schematic Comonad x (y :< (z :< (f :< h)))), Lowering x (Schematic Comonad y (z :< (f :< h))), Lowering y (Schematic Comonad z (f :< h)), Lowering z (Schematic Comonad f h), Bringable f h) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h))))))) :: Type -> Type) (f :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h)))))))) ~> f

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h)))))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< (f :< h))))))), Lowering u (Schematic Comonad v (w :< (x :< (y :< (z :< (f :< h)))))), Lowering v (Schematic Comonad w (x :< (y :< (z :< (f :< h))))), Lowering w (Schematic Comonad x (y :< (z :< (f :< h)))), Lowering x (Schematic Comonad y (z :< (f :< h))), Lowering y (Schematic Comonad z (f :< h)), Lowering z (Schematic Comonad f h), Lowering f h) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h))))))) :: Type -> Type) (h :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h)))))))) ~> h

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< f))))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< f)))))), Lowering u (Schematic Comonad v (w :< (x :< (y :< (z :< f))))), Lowering v (Schematic Comonad w (x :< (y :< (z :< f)))), Lowering w (Schematic Comonad x (y :< (z :< f))), Lowering x (Schematic Comonad y (z :< f)), Lowering y (Schematic Comonad z f), Bringable z f) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< f)))))) :: Type -> Type) (z :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< (y :< (z :< f))))))) ~> z

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< f))))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< f)))))), Lowering u (Schematic Comonad v (w :< (x :< (y :< (z :< f))))), Lowering v (Schematic Comonad w (x :< (y :< (z :< f)))), Lowering w (Schematic Comonad x (y :< (z :< f))), Lowering x (Schematic Comonad y (z :< f)), Lowering y (Schematic Comonad z f), Lowering z f) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< f)))))) :: Type -> Type) (f :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< (y :< (z :< f))))))) ~> f

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< z)))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< (y :< z))))), Lowering u (Schematic Comonad v (w :< (x :< (y :< z)))), Lowering v (Schematic Comonad w (x :< (y :< z))), Lowering w (Schematic Comonad x (y :< z)), Lowering x (Schematic Comonad y z), Bringable y z) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< z))))) :: Type -> Type) (y :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< (y :< z)))))) ~> y

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< z)))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< (y :< z))))), Lowering u (Schematic Comonad v (w :< (x :< (y :< z)))), Lowering v (Schematic Comonad w (x :< (y :< z))), Lowering w (Schematic Comonad x (y :< z)), Lowering x (Schematic Comonad y z), Lowering y z) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< z))))) :: Type -> Type) (z :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< (y :< z)))))) ~> z

(Covariant (t :< (u :< (v :< (w :< (x :< y))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< y)))), Lowering u (Schematic Comonad v (w :< (x :< y))), Lowering v (Schematic Comonad w (x :< y)), Lowering w (Schematic Comonad x y), Bringable x y) => Adaptable (t :< (u :< (v :< (w :< (x :< y)))) :: Type -> Type) (x :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< y))))) ~> x

(Covariant (t :< (u :< (v :< (w :< (x :< y))))), Lowering t (Schematic Comonad u (v :< (w :< (x :< y)))), Lowering u (Schematic Comonad v (w :< (x :< y))), Lowering v (Schematic Comonad w (x :< y)), Lowering w (Schematic Comonad x y), Lowering x y) => Adaptable (t :< (u :< (v :< (w :< (x :< y)))) :: Type -> Type) (y :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< (x :< y))))) ~> y

(Covariant (t :< (u :< (v :< (w :< x)))), Lowering t (Schematic Comonad u (v :< (w :< x))), Lowering u (Schematic Comonad v (w :< x)), Lowering v (Schematic Comonad w x), Bringable w x) => Adaptable (t :< (u :< (v :< (w :< x))) :: Type -> Type) (w :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< x)))) ~> w

(Covariant (t :< (u :< (v :< (w :< x)))), Lowering t (Schematic Comonad u (v :< (w :< x))), Lowering u (Schematic Comonad v (w :< x)), Lowering v (Schematic Comonad w x), Lowering w x) => Adaptable (t :< (u :< (v :< (w :< x))) :: Type -> Type) (x :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< (w :< x)))) ~> x

(Covariant (t :< (u :< (v :< w))), Lowering t (Schematic Comonad u v), Lowering t (Schematic Comonad u (v :< w)), Lowering u (Schematic Comonad v w), Lowering v w) => Adaptable (t :< (u :< (v :< w)) :: Type -> Type) (w :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< w))) ~> w

(Covariant (t :< (u :< (v :< w))), Lowering t (Schematic Comonad u (v :< w)), Lowering u (Schematic Comonad v w), Bringable v w) => Adaptable (t :< (u :< (v :< w)) :: Type -> Type) (v :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< (v :< w))) ~> v

(Covariant (t :< (u :< v)), Lowering t (Schematic Comonad u v), Lowering u v) => Adaptable (t :< (u :< v) :: Type -> Type) (v :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< v)) ~> v

(Covariant (t :< (u :< v)), Lowering t (Schematic Comonad u v), Bringable u v) => Adaptable (t :< (u :< v) :: Type -> Type) (u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< (u :< v)) ~> u

(Covariant (t :< u), Bringable t u) => Adaptable (t :< u :: Type -> Type) (t :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< u) ~> t

(Covariant (t :> u), Lowering t u) => Adaptable (t :< u :: Type -> Type) (u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :< u) ~> u

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

Defined in Pandora.Paradigm.Controlflow.Effect.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

(.#..) :: ((t :< u) ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d

(.#...) :: ((t :< u) ~ v a, (t :< u) ~ v b, Category v, Covariant (v a), Covariant (v b)) => v d e -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e

(.#....) :: ((t :< u) ~ v a, (t :< u) ~ v b, (t :< u) ~ v c, Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e f -> ((v a :. (v b :. (v c :. v d))) := e) -> (v a :. (v b :. (v c :. v d))) := f

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Controlflow.Effect.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

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

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

Defined in Pandora.Paradigm.Controlflow.Effect.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

(<%>) :: (t :< u) a -> (t :< u) (a -> b) -> (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.Effect.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.Effect.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.Effect.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

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

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

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

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

Methods

extract :: a <:= (t :< u)

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

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

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

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

Methods

point :: a :=> (t :< u)

pass :: (t :< u) ()

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

Defined in Pandora.Paradigm.Controlflow.Effect.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

Interpreted (Schematic Comonad t u) => Interpreted (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

(||=) :: Interpreted u0 => (Primary (t :< u) a -> Primary u0 b) -> (t :< u) a -> u0 b

(=||) :: Interpreted u0 => ((t :< u) a -> u0 b) -> Primary (t :< u) a -> Primary u0 b

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

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

(<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => (Primary (t :< u) a -> Primary u0 b) -> ((j :. (k :. l)) := (t :< u) a) -> (j :. (k :. l)) := u0 b

(<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => (Primary (t :< u) a -> Primary u0 b) -> ((j :. (k :. (l :. m))) := (t :< u) a) -> (j :. (k :. (l :. m))) := u0 b

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

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

(=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u0) => ((t :< u) a -> u0 b) -> ((j :. (k :. l)) := Primary (t :< u) a) -> (j :. (k :. l)) := Primary u0 b

(=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u0) => ((t :< u) a -> u0 b) -> ((j :. (k :. (l :. m))) := Primary (t :< u) a) -> (j :. (k :. (l :. m))) := Primary u0 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