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