pandora-0.2.4: A box of patterns and paradigms
Pandora.Paradigm.Controlflow.Joint.Schemes.TU
newtype TU ct cu t u a Source #
Constructors
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 #
Defined in Pandora.Paradigm.Inventory.Environment
(<$>) :: (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 #
Defined in Pandora.Paradigm.Inventory.Equipment
(<$>) :: (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 #
(>>=) :: 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 #
(<*>) :: 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 #
(=>>) :: 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 #
point :: a |-> TU Covariant Covariant ((->) e) u Source #
extract :: a <-| TU Covariant Covariant ((:*:) e) u Source #