Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
newtype TU ct cu t u a Source #
Instances
Interpreted (TU ct cu t u) Source # | |
Covariant u => Covariant (TU Co Co ((->) e :: Type -> Type) u) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment (<$>) :: (a -> b) -> TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # comap :: (a -> b) -> TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # (<$) :: a -> TU Co Co ((->) e) u b -> TU Co Co ((->) e) u a Source # ($>) :: TU Co Co ((->) e) u a -> b -> TU Co Co ((->) e) u b Source # void :: TU Co Co ((->) e) u a -> TU Co Co ((->) e) u () Source # loeb :: TU Co Co ((->) e) u (a <-| TU Co Co ((->) e) u) -> TU Co Co ((->) e) u a Source # (<&>) :: TU Co Co ((->) e) u a -> (a -> b) -> TU Co Co ((->) e) u b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((TU Co Co ((->) e) u :. u0) := a) -> (TU Co Co ((->) e) u :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((TU Co Co ((->) e) u :. (u0 :. v)) := a) -> (TU Co Co ((->) e) u :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((TU Co Co ((->) e) u :. (u0 :. (v :. w))) := a) -> (TU Co Co ((->) e) u :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((TU Co Co ((->) e) u :. u0) := a) -> (a -> b) -> (TU Co Co ((->) e) u :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((TU Co Co ((->) e) u :. (u0 :. v)) := a) -> (a -> b) -> (TU Co Co ((->) e) u :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((TU Co Co ((->) e) u :. (u0 :. (v :. w))) := a) -> (a -> b) -> (TU Co Co ((->) e) u :. (u0 :. (v :. w))) := b Source # | |
Bindable u => Bindable (TU Co Co ((->) e :: Type -> Type) u) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment (>>=) :: TU Co Co ((->) e) u a -> (a -> TU Co Co ((->) e) u b) -> TU Co Co ((->) e) u b Source # (=<<) :: (a -> TU Co Co ((->) e) u b) -> TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # bind :: (a -> TU Co Co ((->) e) u b) -> TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # join :: ((TU Co Co ((->) e) u :. TU Co Co ((->) e) u) := a) -> TU Co Co ((->) e) u a Source # (>=>) :: (a -> TU Co Co ((->) e) u b) -> (b -> TU Co Co ((->) e) u c) -> a -> TU Co Co ((->) e) u c Source # (<=<) :: (b -> TU Co Co ((->) e) u c) -> (a -> TU Co Co ((->) e) u b) -> a -> TU Co Co ((->) e) u c Source # | |
Applicative u => Applicative (TU Co Co ((->) e :: Type -> Type) u) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment (<*>) :: TU Co Co ((->) e) u (a -> b) -> TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # apply :: TU Co Co ((->) e) u (a -> b) -> TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # (*>) :: TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b -> TU Co Co ((->) e) u b Source # (<*) :: TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b -> TU Co Co ((->) e) u a Source # forever :: TU Co Co ((->) e) u a -> TU Co Co ((->) e) u b Source # (<**>) :: Applicative u0 => ((TU Co Co ((->) e) u :. u0) := (a -> b)) -> ((TU Co Co ((->) e) u :. u0) := a) -> (TU Co Co ((->) e) u :. u0) := b Source # (<***>) :: (Applicative u0, Applicative v) => ((TU Co Co ((->) e) u :. (u0 :. v)) := (a -> b)) -> ((TU Co Co ((->) e) u :. (u0 :. v)) := a) -> (TU Co Co ((->) e) u :. (u0 :. v)) := b Source # (<****>) :: (Applicative u0, Applicative v, Applicative w) => ((TU Co Co ((->) e) u :. (u0 :. (v :. w))) := (a -> b)) -> ((TU Co Co ((->) e) u :. (u0 :. (v :. w))) := a) -> (TU Co Co ((->) e) u :. (u0 :. (v :. w))) := b Source # | |
(Covariant u, Pointable u) => Pointable (TU Co Co ((->) e :: Type -> Type) u) Source # | |
type Primary (TU ct cu t u) a Source # | |