Pandora.Paradigm.Controlflow.Joint.Schematic

Documentation

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

Instances

type Schematic Monad Maybe u

Defined in Pandora.Paradigm.Basis.Maybe

type Schematic Monad Maybe u = UT Covariant Covariant Maybe u

type Schematic Monad (State s) u

Defined in Pandora.Paradigm.Inventory.State

type Schematic Monad (State s) u = TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u

type Schematic Monad (Accumulator e) u

Defined in Pandora.Paradigm.Inventory.Accumulator

type Schematic Monad (Accumulator e) u = UT Covariant Covariant ((:*:) e) u

type Schematic Monad (Conclusion e) u

Defined in Pandora.Paradigm.Basis.Conclusion

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

type Schematic Monad (Environment e) u

Defined in Pandora.Paradigm.Inventory.Environment

type Schematic Monad (Environment e) u = TU Covariant Covariant ((->) e :: Type -> Type) u

type Schematic Comonad (Store p) u

Defined in Pandora.Paradigm.Inventory.Store

type Schematic Comonad (Store p) u = TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u

type Schematic Comonad (Imprint e) u

Defined in Pandora.Paradigm.Inventory.Imprint

type Schematic Comonad (Imprint e) u = UT Covariant Covariant ((->) e :: Type -> Type) u

type Schematic Comonad (Equipment e) u

Defined in Pandora.Paradigm.Inventory.Equipment

type Schematic Comonad (Equipment e) u = TU Covariant Covariant ((:*:) e) u