pandora-0.2.6: A box of patterns and paradigms
Pandora.Paradigm.Controlflow.Joint.Schemes.TUT
newtype TUT ct ct' cu t t' u a Source #
Constructors
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 #
Defined in Pandora.Paradigm.Inventory.State
(<$>) :: (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 #
Defined in Pandora.Paradigm.Inventory.Store
(<$>) :: (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 #
(>>=) :: 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 #
(<*>) :: 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 #
(=>>) :: 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 #
point :: a |-> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u Source #
extract :: a <-| TUT Covariant Covariant Covariant ((:*:) p) ((->) p) u Source #