Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

Documentation

newtype TUT ct ct' cu t t' u a Source #

Constructors

TUT ((t :. (u :. t')) := a)

Instances

(Adjoint t' t, Applicative t, Pointable t, forall (u :: Type -> Type). Traversable u) => Liftable (TUT Covariant Covariant Covariant t t') Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT Methods lift :: Pointable u => u ~> TUT Covariant Covariant Covariant t t' u Source #
(Adjoint t t', Distributive t') => Lowerable (TUT Covariant Covariant Covariant t t') Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT Methods lower :: Extractable u => TUT Covariant Covariant Covariant t t' u ~> u Source #
Interpreted (TUT ct ct' cu t t' u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT Associated Types type Primary (TUT ct ct' cu t t' u) a :: Type Source # Methods run :: TUT ct ct' cu t t' u a -> Primary (TUT ct ct' cu t t' u) a Source #
Covariant u => Covariant (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<$>) :: (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # comap :: (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # (<$) :: a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a Source # ($>) :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> b -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # void :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u () Source # loeb :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u (a <-\| TUT Covariant Covariant Covariant ((->) s) ((::) s) u) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a Source # (<&>) :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. (v :. w))) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u :. (u0 :. (v :. w))) := b Source #
Covariant u => Covariant (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (<$>) :: (a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # comap :: (a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # (<$) :: a -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a Source # ($>) :: TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> b -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # void :: TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u () Source # loeb :: TUT Covariant Covariant Covariant ((::) p) ((->) p) u (a <-\| TUT Covariant Covariant Covariant ((::) p) ((->) p) u) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a Source # (<&>) :: TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> (a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. u0) := a) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. v)) := a) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. (v :. w))) := a) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. u0) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. v)) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((:*:) p) ((->) p) u :. (u0 :. (v :. w))) := b Source #
Bindable u => Bindable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (>>=) :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # (=<<) :: (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # bind :: (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # join :: ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. TUT Covariant Covariant Covariant ((->) s) ((::) s) u) := a) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a Source # (>=>) :: (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> (b -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u c) -> a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u c Source # (<=<) :: (b -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u c) -> (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u c Source # ($>>=) :: Covariant u0 => (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> ((u0 :. TUT Covariant Covariant Covariant ((->) s) ((::) s) u) := a) -> (u0 :. TUT Covariant Covariant Covariant ((->) s) ((::) s) u) := b Source # (>>=$) :: (TUT Covariant Covariant Covariant ((->) s) ((::) s) u b -> c) -> (a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> c Source #
Bindable u => Applicative (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<>) :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # apply :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # (>) :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # (<) :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u a Source # forever :: TUT Covariant Covariant Covariant ((->) s) ((::) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((::) s) u b Source # (<>) :: Applicative u0 => ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. u0) := b Source # (<**>) :: (Applicative u0, Applicative v) => ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. v)) := b Source # (<***>) :: (Applicative u0, Applicative v, Applicative w) => ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. (v :. w))) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. (v :. w))) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((::) s) u :. (u0 :. (v :. w))) := b Source #
Extendable u => Extendable (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (=>>) :: TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # (<<=) :: (TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # extend :: (TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u b Source # duplicate :: TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u :. TUT Covariant Covariant Covariant ((::) p) ((->) p) u) := a Source # (=<=) :: (TUT Covariant Covariant Covariant ((::) p) ((->) p) u b -> c) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> b) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> c Source # (=>=) :: (TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> b) -> (TUT Covariant Covariant Covariant ((::) p) ((->) p) u b -> c) -> TUT Covariant Covariant Covariant ((::) p) ((->) p) u a -> c Source #
Pointable u => Pointable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods point :: a \|-> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u Source #
Monad u => Monad (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State
Extractable u => Extractable (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| TUT Covariant Covariant Covariant ((:*:) p) ((->) p) u Source #
(Covariant (TUT Covariant Covariant Covariant t u t'), Covariant (TUT Covariant Covariant Covariant v w v'), Adjoint t w, Adjoint t' v', Adjoint t v, Adjoint u v, Adjoint v' t') => Adjoint (TUT Covariant Covariant Covariant t u t') (TUT Covariant Covariant Covariant v w v') Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes Methods (-\|) :: a -> (TUT Covariant Covariant Covariant t u t' a -> b) -> TUT Covariant Covariant Covariant v w v' b Source # (\|-) :: TUT Covariant Covariant Covariant t u t' a -> (a -> TUT Covariant Covariant Covariant v w v' b) -> b Source # phi :: (TUT Covariant Covariant Covariant t u t' a -> b) -> a -> TUT Covariant Covariant Covariant v w v' b Source # psi :: (a -> TUT Covariant Covariant Covariant v w v' b) -> TUT Covariant Covariant Covariant t u t' a -> b Source # eta :: a -> (TUT Covariant Covariant Covariant v w v' :. TUT Covariant Covariant Covariant t u t') := a Source # epsilon :: ((TUT Covariant Covariant Covariant t u t' :. TUT Covariant Covariant Covariant v w v') := a) -> a Source #
type Primary (TUT ct ct' cu t t' u) a Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT type Primary (TUT ct ct' cu t t' u) a = (t :. (u :. t')) := a