pandora-0.2.5: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

Documentation

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

Constructors

TUT ((t :. (u :. t')) := a) 
Instances
Interpreted (TUT ct cu cv t u t') Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

Associated Types

type Primary (TUT ct cu cv t u t') a :: Type Source #

Methods

run :: TUT ct cu cv t u t' a -> Primary (TUT ct cu cv t u t') a Source #

Covariant u => Covariant (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.State

Methods

(<$>) :: (a -> b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

comap :: (a -> b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

(<$) :: a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a Source #

($>) :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> b -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

void :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) () Source #

loeb :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) (a <-| TUT Covariant Covariant Covariant ((->) s) u ((:*:) s)) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a Source #

(<&>) :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> (a -> b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

(<$$>) :: Covariant u0 => (a -> b) -> ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := a) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := b Source #

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := a) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := b Source #

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := a) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := b Source #

(<&&>) :: Covariant u0 => ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := b Source #

(<&&&>) :: (Covariant u0, Covariant v) => ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := b Source #

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := b Source #

Covariant u => Covariant (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

(<$>) :: (a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

comap :: (a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

(<$) :: a -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a Source #

($>) :: TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> b -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

void :: TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) () Source #

loeb :: TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) (a <-| TUT Covariant Covariant Covariant ((:*:) p) u ((->) p)) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a Source #

(<&>) :: TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> (a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

(<$$>) :: Covariant u0 => (a -> b) -> ((TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. u0) := a) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. u0) := b Source #

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. v)) := a) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. v)) := b Source #

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. (v :. w))) := a) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. (v :. w))) := b Source #

(<&&>) :: Covariant u0 => ((TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. u0) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. u0) := b Source #

(<&&&>) :: (Covariant u0, Covariant v) => ((TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. v)) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. v)) := b Source #

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. (u0 :. (v :. w))) := b Source #

Bindable u => Bindable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.State

Methods

(>>=) :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> (a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

(=<<) :: (a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

bind :: (a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

join :: ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. TUT Covariant Covariant Covariant ((->) s) u ((:*:) s)) := a) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a Source #

(>=>) :: (a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b) -> (b -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) c) -> a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) c Source #

(<=<) :: (b -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) c) -> (a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b) -> a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) c Source #

Bindable u => Applicative (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.State

Methods

(<*>) :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) (a -> b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

apply :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) (a -> b) -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

(*>) :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

(<*) :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a Source #

forever :: TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) a -> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) b Source #

(<**>) :: Applicative u0 => ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := a) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. u0) := b Source #

(<***>) :: (Applicative u0, Applicative v) => ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := a) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. v)) := b Source #

(<****>) :: (Applicative u0, Applicative v, Applicative w) => ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := a) -> (TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) :. (u0 :. (v :. w))) := b Source #

Extendable u => Extendable (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

(=>>) :: TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

(<<=) :: (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

extend :: (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b Source #

duplicate :: TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) :. TUT Covariant Covariant Covariant ((:*:) p) u ((->) p)) := a Source #

(=<=) :: (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b -> c) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> b) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> c Source #

(=>=) :: (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> b) -> (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) b -> c) -> TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) a -> c Source #

Pointable u => Pointable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> TUT Covariant Covariant Covariant ((->) s) u ((:*:) s) Source #

Monad u => Monad (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.State

Extractable u => Extractable (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <-| TUT Covariant Covariant Covariant ((:*:) p) u ((->) p) Source #

type Primary (TUT ct cu cv t u t') a Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

type Primary (TUT ct cu cv t u t') a = (t :. (u :. t')) := a