Pandora.Paradigm.Controlflow.Effect.Schematic

Documentation

type family Schematic (c :: (* -> *) -> k) (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u

Instances

type Schematic Monad Maybe u

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Schematic Monad Maybe u = UT Covariant Covariant Maybe u

type Schematic Monad (Conclusion e) u

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad (Conclusion e) u = UT Covariant Covariant (Conclusion e) u

type Schematic Monad (Accumulator e) u

Defined in Pandora.Paradigm.Inventory.Accumulator

type Schematic Monad (Accumulator e) u = (:*:) e <.:> u

type Schematic Monad (State s) u

Defined in Pandora.Paradigm.Inventory.State

type Schematic Monad (State s) u = (((->) s :: Type -> Type) <:<.>:> (:*:) s) := u

type Schematic Monad (Environment e) u

Defined in Pandora.Paradigm.Inventory.Environment

type Schematic Monad (Environment e) u = ((->) e :: Type -> Type) <:.> u

type Schematic Comonad (Imprint e) u

Defined in Pandora.Paradigm.Inventory.Imprint

type Schematic Comonad (Imprint e) u = ((->) e :: Type -> Type) <.:> u

type Schematic Comonad (Store p) u

Defined in Pandora.Paradigm.Inventory.Store

type Schematic Comonad (Store p) u = ((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u

type Schematic Comonad (Equipment e) u

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) u = (:*:) e <:.> u