Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Controlflow.Joint.Schemes.TU

Documentation

newtype TU ct cu t u a Source #

Constructors

TU ((t :. u) := a)

Instances

Covariant t => Hoistable (TU Covariant Covariant t :: (k -> Type) -> k -> Type) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU Methods hoist :: (u ~> v) -> TU Covariant Covariant t u ~> TU Covariant Covariant t v Source #
Pointable t => Liftable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU Methods lift :: Pointable u => u ~> TU Covariant Covariant t u Source #
Extractable t => Lowerable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU Methods lower :: Extractable u => TU Covariant Covariant t u ~> u Source #
Interpreted (TU ct cu t u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU Associated Types type Primary (TU ct cu t u) a :: Type Source # Methods run :: TU ct cu t u a -> Primary (TU ct cu t u) a Source #
Covariant u => Covariant (TU Covariant Covariant ((->) e :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods (<$>) :: (a -> b) -> TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # comap :: (a -> b) -> TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # (<$) :: a -> TU Covariant Covariant ((->) e) u b -> TU Covariant Covariant ((->) e) u a Source # ($>) :: TU Covariant Covariant ((->) e) u a -> b -> TU Covariant Covariant ((->) e) u b Source # void :: TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u () Source # loeb :: TU Covariant Covariant ((->) e) u (a <-\| TU Covariant Covariant ((->) e) u) -> TU Covariant Covariant ((->) e) u a Source # (<&>) :: TU Covariant Covariant ((->) e) u a -> (a -> b) -> TU Covariant Covariant ((->) e) u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TU Covariant Covariant ((->) e) u :. u0) := a) -> (TU Covariant Covariant ((->) e) u :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TU Covariant Covariant ((->) e) u :. (u0 :. v)) := a) -> (TU Covariant Covariant ((->) e) u :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := a) -> (TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TU Covariant Covariant ((->) e) u :. u0) := a) -> (a -> b) -> (TU Covariant Covariant ((->) e) u :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TU Covariant Covariant ((->) e) u :. (u0 :. v)) := a) -> (a -> b) -> (TU Covariant Covariant ((->) e) u :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := b Source #
Covariant u => Covariant (TU Covariant Covariant ((:*:) e) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods (<$>) :: (a -> b) -> TU Covariant Covariant ((::) e) u a -> TU Covariant Covariant ((::) e) u b Source # comap :: (a -> b) -> TU Covariant Covariant ((::) e) u a -> TU Covariant Covariant ((::) e) u b Source # (<$) :: a -> TU Covariant Covariant ((::) e) u b -> TU Covariant Covariant ((::) e) u a Source # ($>) :: TU Covariant Covariant ((::) e) u a -> b -> TU Covariant Covariant ((::) e) u b Source # void :: TU Covariant Covariant ((::) e) u a -> TU Covariant Covariant ((::) e) u () Source # loeb :: TU Covariant Covariant ((::) e) u (a <-\| TU Covariant Covariant ((::) e) u) -> TU Covariant Covariant ((::) e) u a Source # (<&>) :: TU Covariant Covariant ((::) e) u a -> (a -> b) -> TU Covariant Covariant ((::) e) u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TU Covariant Covariant ((::) e) u :. u0) := a) -> (TU Covariant Covariant ((::) e) u :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TU Covariant Covariant ((::) e) u :. (u0 :. v)) := a) -> (TU Covariant Covariant ((::) e) u :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TU Covariant Covariant ((::) e) u :. (u0 :. (v :. w))) := a) -> (TU Covariant Covariant ((::) e) u :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TU Covariant Covariant ((::) e) u :. u0) := a) -> (a -> b) -> (TU Covariant Covariant ((::) e) u :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TU Covariant Covariant ((::) e) u :. (u0 :. v)) := a) -> (a -> b) -> (TU Covariant Covariant ((::) e) u :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TU Covariant Covariant ((::) e) u :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TU Covariant Covariant ((:*:) e) u :. (u0 :. (v :. w))) := b Source #
Bindable u => Bindable (TU Covariant Covariant ((->) e :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods (>>=) :: TU Covariant Covariant ((->) e) u a -> (a -> TU Covariant Covariant ((->) e) u b) -> TU Covariant Covariant ((->) e) u b Source # (=<<) :: (a -> TU Covariant Covariant ((->) e) u b) -> TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # bind :: (a -> TU Covariant Covariant ((->) e) u b) -> TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # join :: ((TU Covariant Covariant ((->) e) u :. TU Covariant Covariant ((->) e) u) := a) -> TU Covariant Covariant ((->) e) u a Source # (>=>) :: (a -> TU Covariant Covariant ((->) e) u b) -> (b -> TU Covariant Covariant ((->) e) u c) -> a -> TU Covariant Covariant ((->) e) u c Source # (<=<) :: (b -> TU Covariant Covariant ((->) e) u c) -> (a -> TU Covariant Covariant ((->) e) u b) -> a -> TU Covariant Covariant ((->) e) u c Source #
Applicative u => Applicative (TU Covariant Covariant ((->) e :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods (<>) :: TU Covariant Covariant ((->) e) u (a -> b) -> TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # apply :: TU Covariant Covariant ((->) e) u (a -> b) -> TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # (>) :: TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b -> TU Covariant Covariant ((->) e) u b Source # (<) :: TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b -> TU Covariant Covariant ((->) e) u a Source # forever :: TU Covariant Covariant ((->) e) u a -> TU Covariant Covariant ((->) e) u b Source # (<>) :: Applicative u0 => ((TU Covariant Covariant ((->) e) u :. u0) := (a -> b)) -> ((TU Covariant Covariant ((->) e) u :. u0) := a) -> (TU Covariant Covariant ((->) e) u :. u0) := b Source # (<>) :: (Applicative u0, Applicative v) => ((TU Covariant Covariant ((->) e) u :. (u0 :. v)) := (a -> b)) -> ((TU Covariant Covariant ((->) e) u :. (u0 :. v)) := a) -> (TU Covariant Covariant ((->) e) u :. (u0 :. v)) := b Source # (<**>) :: (Applicative u0, Applicative v, Applicative w) => ((TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := (a -> b)) -> ((TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := a) -> (TU Covariant Covariant ((->) e) u :. (u0 :. (v :. w))) := b Source #
Extendable u => Extendable (TU Covariant Covariant ((:*:) e) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods (=>>) :: TU Covariant Covariant ((::) e) u a -> (TU Covariant Covariant ((::) e) u a -> b) -> TU Covariant Covariant ((::) e) u b Source # (<<=) :: (TU Covariant Covariant ((::) e) u a -> b) -> TU Covariant Covariant ((::) e) u a -> TU Covariant Covariant ((::) e) u b Source # extend :: (TU Covariant Covariant ((::) e) u a -> b) -> TU Covariant Covariant ((::) e) u a -> TU Covariant Covariant ((::) e) u b Source # duplicate :: TU Covariant Covariant ((::) e) u a -> (TU Covariant Covariant ((::) e) u :. TU Covariant Covariant ((::) e) u) := a Source # (=<=) :: (TU Covariant Covariant ((::) e) u b -> c) -> (TU Covariant Covariant ((::) e) u a -> b) -> TU Covariant Covariant ((::) e) u a -> c Source # (=>=) :: (TU Covariant Covariant ((::) e) u a -> b) -> (TU Covariant Covariant ((::) e) u b -> c) -> TU Covariant Covariant ((::) e) u a -> c Source #
(Covariant u, Pointable u) => Pointable (TU Covariant Covariant ((->) e :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods point :: a \|-> TU Covariant Covariant ((->) e) u Source #
Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods extract :: a <-\| TU Covariant Covariant ((:*:) e) u Source #
type Primary (TU ct cu t u) a Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU type Primary (TU ct cu t u) a = (t :. u) := a