Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Controlflow.Joint.Schemes.TUV

Documentation

newtype TUV ct cu cv t u v a Source #

Constructors

TUV ((t :. (u :. v)) := a)

Instances

Interpreted (TUV ct cu cv t u v) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUV Associated Types type Primary (TUV ct cu cv t u v) a :: Type Source # Methods run :: TUV ct cu cv t u v a -> Primary (TUV ct cu cv t u v) a Source #
Covariant u => Covariant (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<$>) :: (a -> b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # comap :: (a -> b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # (<$) :: a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a Source # ($>) :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> b -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # void :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) () Source # loeb :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) (a <-\| TUV Covariant Covariant Covariant ((->) s) u ((::) s)) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a Source # (<&>) :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> (a -> b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := a) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := a) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. (v :. w))) := a) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := a) -> (a -> b) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := a) -> (a -> b) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TUV Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := b Source #
Covariant u => Covariant (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (<$>) :: (a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # comap :: (a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # (<$) :: a -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a Source # ($>) :: TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> b -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # void :: TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) () Source # loeb :: TUV Covariant Covariant Covariant ((::) p) u ((->) p) (a <-\| TUV Covariant Covariant Covariant ((::) p) u ((->) p)) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a Source # (<&>) :: TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> (a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. u0) := a) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. v)) := a) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. (v :. w))) := a) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. u0) := a) -> (a -> b) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. v)) := a) -> (a -> b) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. (v :. w))) := b Source #
Bindable u => Bindable (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (>>=) :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> (a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # (=<<) :: (a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # bind :: (a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # join :: ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. TUV Covariant Covariant Covariant ((->) s) u ((::) s)) := a) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a Source # (>=>) :: (a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b) -> (b -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) c) -> a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) c Source # (<=<) :: (b -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) c) -> (a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b) -> a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) c Source #
Bindable u => Applicative (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<>) :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) (a -> b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # apply :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) (a -> b) -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # (>) :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # (<) :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) a Source # forever :: TUV Covariant Covariant Covariant ((->) s) u ((::) s) a -> TUV Covariant Covariant Covariant ((->) s) u ((::) s) b Source # (<>) :: Applicative u0 => ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := (a -> b)) -> ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := a) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. u0) := b Source # (<**>) :: (Applicative u0, Applicative v) => ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := (a -> b)) -> ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := a) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. v)) := b Source # (<***>) :: (Applicative u0, Applicative v, Applicative w) => ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. (v :. w))) := (a -> b)) -> ((TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. (v :. w))) := a) -> (TUV Covariant Covariant Covariant ((->) s) u ((::) s) :. (u0 :. (v :. w))) := b Source #
Extendable u => Extendable (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (=>>) :: TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # (<<=) :: (TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # extend :: (TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) b Source # duplicate :: TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) :. TUV Covariant Covariant Covariant ((::) p) u ((->) p)) := a Source # (=<=) :: (TUV Covariant Covariant Covariant ((::) p) u ((->) p) b -> c) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> b) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> c Source # (=>=) :: (TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> b) -> (TUV Covariant Covariant Covariant ((::) p) u ((->) p) b -> c) -> TUV Covariant Covariant Covariant ((::) p) u ((->) p) a -> c Source #
Pointable u => Pointable (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods point :: a \|-> TUV Covariant Covariant Covariant ((->) s) u ((:*:) s) Source #
Monad u => Monad (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State
Extractable u => Extractable (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| TUV Covariant Covariant Covariant ((:*:) p) u ((->) p) Source #
type Primary (TUV ct cu cv t u v) a Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUV type Primary (TUV ct cu cv t u v) a = (t :. (u :. v)) := a