Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype UT ct cu t u a Source #
Instances
Monad u => Catchable e (Conclusion e <.:> u :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion catch :: forall (a :: k). (Conclusion e <.:> u) a -> (e -> (Conclusion e <.:> u) a) -> (Conclusion e <.:> u) a Source # | |
Covariant u => Covariant (((->) e :: Type -> Type) <.:> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Imprint (<$>) :: (a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b Source # comap :: (a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b Source # (<$) :: a -> ((->) e <.:> u) b -> ((->) e <.:> u) a Source # ($>) :: ((->) e <.:> u) a -> b -> ((->) e <.:> u) b Source # void :: ((->) e <.:> u) a -> ((->) e <.:> u) () Source # loeb :: ((->) e <.:> u) (a <-| ((->) e <.:> u)) -> ((->) e <.:> u) a Source # (<&>) :: ((->) e <.:> u) a -> (a -> b) -> ((->) e <.:> u) b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((((->) e <.:> u) :. u0) := a) -> (((->) e <.:> u) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((((->) e <.:> u) :. (u0 :. v)) := a) -> (((->) e <.:> u) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((((->) e <.:> u) :. (u0 :. (v :. w))) := a) -> (((->) e <.:> u) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((((->) e <.:> u) :. u0) := a) -> (a -> b) -> (((->) e <.:> u) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((((->) e <.:> u) :. (u0 :. v)) := a) -> (a -> b) -> (((->) e <.:> u) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((((->) e <.:> u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (((->) e <.:> u) :. (u0 :. (v :. w))) := b Source # | |
Covariant u => Covariant ((:*:) e <.:> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator (<$>) :: (a -> b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # comap :: (a -> b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # (<$) :: a -> ((:*:) e <.:> u) b -> ((:*:) e <.:> u) a Source # ($>) :: ((:*:) e <.:> u) a -> b -> ((:*:) e <.:> u) b Source # void :: ((:*:) e <.:> u) a -> ((:*:) e <.:> u) () Source # loeb :: ((:*:) e <.:> u) (a <-| ((:*:) e <.:> u)) -> ((:*:) e <.:> u) a Source # (<&>) :: ((:*:) e <.:> u) a -> (a -> b) -> ((:*:) e <.:> u) b Source # (<$$>) :: Covariant u0 => (a -> b) -> ((((:*:) e <.:> u) :. u0) := a) -> (((:*:) e <.:> u) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((((:*:) e <.:> u) :. (u0 :. v)) := a) -> (((:*:) e <.:> u) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((((:*:) e <.:> u) :. (u0 :. (v :. w))) := a) -> (((:*:) e <.:> u) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => ((((:*:) e <.:> u) :. u0) := a) -> (a -> b) -> (((:*:) e <.:> u) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => ((((:*:) e <.:> u) :. (u0 :. v)) := a) -> (a -> b) -> (((:*:) e <.:> u) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((((:*:) e <.:> u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> (((:*:) e <.:> u) :. (u0 :. (v :. w))) := b Source # | |
Covariant u => Covariant (Maybe <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe (<$>) :: (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b Source # comap :: (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b Source # (<$) :: a -> (Maybe <.:> u) b -> (Maybe <.:> u) a Source # ($>) :: (Maybe <.:> u) a -> b -> (Maybe <.:> u) b Source # void :: (Maybe <.:> u) a -> (Maybe <.:> u) () Source # loeb :: (Maybe <.:> u) (a <-| (Maybe <.:> u)) -> (Maybe <.:> u) a Source # (<&>) :: (Maybe <.:> u) a -> (a -> b) -> (Maybe <.:> u) b Source # (<$$>) :: Covariant u0 => (a -> b) -> (((Maybe <.:> u) :. u0) := a) -> ((Maybe <.:> u) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((Maybe <.:> u) :. (u0 :. v)) := a) -> ((Maybe <.:> u) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((Maybe <.:> u) :. (u0 :. (v :. w))) := a) -> ((Maybe <.:> u) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => (((Maybe <.:> u) :. u0) := a) -> (a -> b) -> ((Maybe <.:> u) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => (((Maybe <.:> u) :. (u0 :. v)) := a) -> (a -> b) -> ((Maybe <.:> u) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((Maybe <.:> u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((Maybe <.:> u) :. (u0 :. (v :. w))) := b Source # | |
Covariant u => Covariant (Conclusion e <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion (<$>) :: (a -> b) -> (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # comap :: (a -> b) -> (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # (<$) :: a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) a Source # ($>) :: (Conclusion e <.:> u) a -> b -> (Conclusion e <.:> u) b Source # void :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) () Source # loeb :: (Conclusion e <.:> u) (a <-| (Conclusion e <.:> u)) -> (Conclusion e <.:> u) a Source # (<&>) :: (Conclusion e <.:> u) a -> (a -> b) -> (Conclusion e <.:> u) b Source # (<$$>) :: Covariant u0 => (a -> b) -> (((Conclusion e <.:> u) :. u0) := a) -> ((Conclusion e <.:> u) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((Conclusion e <.:> u) :. (u0 :. v)) := a) -> ((Conclusion e <.:> u) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((Conclusion e <.:> u) :. (u0 :. (v :. w))) := a) -> ((Conclusion e <.:> u) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => (((Conclusion e <.:> u) :. u0) := a) -> (a -> b) -> ((Conclusion e <.:> u) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => (((Conclusion e <.:> u) :. (u0 :. v)) := a) -> (a -> b) -> ((Conclusion e <.:> u) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((Conclusion e <.:> u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((Conclusion e <.:> u) :. (u0 :. (v :. w))) := b Source # | |
(Semigroup e, Pointable u, Bindable u) => Bindable ((:*:) e <.:> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator (>>=) :: ((:*:) e <.:> u) a -> (a -> ((:*:) e <.:> u) b) -> ((:*:) e <.:> u) b Source # (=<<) :: (a -> ((:*:) e <.:> u) b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # bind :: (a -> ((:*:) e <.:> u) b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # join :: ((((:*:) e <.:> u) :. ((:*:) e <.:> u)) := a) -> ((:*:) e <.:> u) a Source # (>=>) :: (a -> ((:*:) e <.:> u) b) -> (b -> ((:*:) e <.:> u) c) -> a -> ((:*:) e <.:> u) c Source # (<=<) :: (b -> ((:*:) e <.:> u) c) -> (a -> ((:*:) e <.:> u) b) -> a -> ((:*:) e <.:> u) c Source # ($>>=) :: Covariant u0 => (a -> ((:*:) e <.:> u) b) -> ((u0 :. ((:*:) e <.:> u)) := a) -> (u0 :. ((:*:) e <.:> u)) := b Source # (<>>=) :: (((:*:) e <.:> u) b -> c) -> (a -> ((:*:) e <.:> u) b) -> ((:*:) e <.:> u) a -> c Source # | |
(Pointable u, Bindable u) => Bindable (Maybe <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe (>>=) :: (Maybe <.:> u) a -> (a -> (Maybe <.:> u) b) -> (Maybe <.:> u) b Source # (=<<) :: (a -> (Maybe <.:> u) b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b Source # bind :: (a -> (Maybe <.:> u) b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b Source # join :: (((Maybe <.:> u) :. (Maybe <.:> u)) := a) -> (Maybe <.:> u) a Source # (>=>) :: (a -> (Maybe <.:> u) b) -> (b -> (Maybe <.:> u) c) -> a -> (Maybe <.:> u) c Source # (<=<) :: (b -> (Maybe <.:> u) c) -> (a -> (Maybe <.:> u) b) -> a -> (Maybe <.:> u) c Source # ($>>=) :: Covariant u0 => (a -> (Maybe <.:> u) b) -> ((u0 :. (Maybe <.:> u)) := a) -> (u0 :. (Maybe <.:> u)) := b Source # (<>>=) :: ((Maybe <.:> u) b -> c) -> (a -> (Maybe <.:> u) b) -> (Maybe <.:> u) a -> c Source # | |
(Pointable u, Bindable u) => Bindable (Conclusion e <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion (>>=) :: (Conclusion e <.:> u) a -> (a -> (Conclusion e <.:> u) b) -> (Conclusion e <.:> u) b Source # (=<<) :: (a -> (Conclusion e <.:> u) b) -> (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # bind :: (a -> (Conclusion e <.:> u) b) -> (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # join :: (((Conclusion e <.:> u) :. (Conclusion e <.:> u)) := a) -> (Conclusion e <.:> u) a Source # (>=>) :: (a -> (Conclusion e <.:> u) b) -> (b -> (Conclusion e <.:> u) c) -> a -> (Conclusion e <.:> u) c Source # (<=<) :: (b -> (Conclusion e <.:> u) c) -> (a -> (Conclusion e <.:> u) b) -> a -> (Conclusion e <.:> u) c Source # ($>>=) :: Covariant u0 => (a -> (Conclusion e <.:> u) b) -> ((u0 :. (Conclusion e <.:> u)) := a) -> (u0 :. (Conclusion e <.:> u)) := b Source # (<>>=) :: ((Conclusion e <.:> u) b -> c) -> (a -> (Conclusion e <.:> u) b) -> (Conclusion e <.:> u) a -> c Source # | |
Applicative u => Applicative (((->) e :: Type -> Type) <.:> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Imprint (<*>) :: ((->) e <.:> u) (a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b Source # apply :: ((->) e <.:> u) (a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b Source # (*>) :: ((->) e <.:> u) a -> ((->) e <.:> u) b -> ((->) e <.:> u) b Source # (<*) :: ((->) e <.:> u) a -> ((->) e <.:> u) b -> ((->) e <.:> u) a Source # forever :: ((->) e <.:> u) a -> ((->) e <.:> u) b Source # (<**>) :: Applicative u0 => ((((->) e <.:> u) :. u0) := (a -> b)) -> ((((->) e <.:> u) :. u0) := a) -> (((->) e <.:> u) :. u0) := b Source # (<***>) :: (Applicative u0, Applicative v) => ((((->) e <.:> u) :. (u0 :. v)) := (a -> b)) -> ((((->) e <.:> u) :. (u0 :. v)) := a) -> (((->) e <.:> u) :. (u0 :. v)) := b Source # (<****>) :: (Applicative u0, Applicative v, Applicative w) => ((((->) e <.:> u) :. (u0 :. (v :. w))) := (a -> b)) -> ((((->) e <.:> u) :. (u0 :. (v :. w))) := a) -> (((->) e <.:> u) :. (u0 :. (v :. w))) := b Source # | |
(Semigroup e, Applicative u) => Applicative ((:*:) e <.:> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator (<*>) :: ((:*:) e <.:> u) (a -> b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # apply :: ((:*:) e <.:> u) (a -> b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # (*>) :: ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b -> ((:*:) e <.:> u) b Source # (<*) :: ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b -> ((:*:) e <.:> u) a Source # forever :: ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b Source # (<**>) :: Applicative u0 => ((((:*:) e <.:> u) :. u0) := (a -> b)) -> ((((:*:) e <.:> u) :. u0) := a) -> (((:*:) e <.:> u) :. u0) := b Source # (<***>) :: (Applicative u0, Applicative v) => ((((:*:) e <.:> u) :. (u0 :. v)) := (a -> b)) -> ((((:*:) e <.:> u) :. (u0 :. v)) := a) -> (((:*:) e <.:> u) :. (u0 :. v)) := b Source # (<****>) :: (Applicative u0, Applicative v, Applicative w) => ((((:*:) e <.:> u) :. (u0 :. (v :. w))) := (a -> b)) -> ((((:*:) e <.:> u) :. (u0 :. (v :. w))) := a) -> (((:*:) e <.:> u) :. (u0 :. (v :. w))) := b Source # | |
Applicative u => Applicative (Maybe <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe (<*>) :: (Maybe <.:> u) (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b Source # apply :: (Maybe <.:> u) (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b Source # (*>) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) b Source # (<*) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) a Source # forever :: (Maybe <.:> u) a -> (Maybe <.:> u) b Source # (<**>) :: Applicative u0 => (((Maybe <.:> u) :. u0) := (a -> b)) -> (((Maybe <.:> u) :. u0) := a) -> ((Maybe <.:> u) :. u0) := b Source # (<***>) :: (Applicative u0, Applicative v) => (((Maybe <.:> u) :. (u0 :. v)) := (a -> b)) -> (((Maybe <.:> u) :. (u0 :. v)) := a) -> ((Maybe <.:> u) :. (u0 :. v)) := b Source # (<****>) :: (Applicative u0, Applicative v, Applicative w) => (((Maybe <.:> u) :. (u0 :. (v :. w))) := (a -> b)) -> (((Maybe <.:> u) :. (u0 :. (v :. w))) := a) -> ((Maybe <.:> u) :. (u0 :. (v :. w))) := b Source # | |
Applicative u => Applicative (Conclusion e <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion (<*>) :: (Conclusion e <.:> u) (a -> b) -> (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # apply :: (Conclusion e <.:> u) (a -> b) -> (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # (*>) :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) b Source # (<*) :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) a Source # forever :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b Source # (<**>) :: Applicative u0 => (((Conclusion e <.:> u) :. u0) := (a -> b)) -> (((Conclusion e <.:> u) :. u0) := a) -> ((Conclusion e <.:> u) :. u0) := b Source # (<***>) :: (Applicative u0, Applicative v) => (((Conclusion e <.:> u) :. (u0 :. v)) := (a -> b)) -> (((Conclusion e <.:> u) :. (u0 :. v)) := a) -> ((Conclusion e <.:> u) :. (u0 :. v)) := b Source # (<****>) :: (Applicative u0, Applicative v, Applicative w) => (((Conclusion e <.:> u) :. (u0 :. (v :. w))) := (a -> b)) -> (((Conclusion e <.:> u) :. (u0 :. (v :. w))) := a) -> ((Conclusion e <.:> u) :. (u0 :. (v :. w))) := b Source # | |
(Semigroup e, Extendable u) => Extendable (((->) e :: Type -> Type) <.:> u) Source # | |
Defined in Pandora.Paradigm.Inventory.Imprint (=>>) :: ((->) e <.:> u) a -> (((->) e <.:> u) a -> b) -> ((->) e <.:> u) b Source # (<<=) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b Source # extend :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b Source # duplicate :: ((->) e <.:> u) a -> (((->) e <.:> u) :. ((->) e <.:> u)) := a Source # (=<=) :: (((->) e <.:> u) b -> c) -> (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> c Source # (=>=) :: (((->) e <.:> u) a -> b) -> (((->) e <.:> u) b -> c) -> ((->) e <.:> u) a -> c Source # ($=>>) :: Covariant u0 => (((->) e <.:> u) a -> b) -> ((u0 :. ((->) e <.:> u)) := a) -> (u0 :. ((->) e <.:> u)) := b Source # (<<=$) :: Covariant u0 => ((u0 :. ((->) e <.:> u)) := a) -> (((->) e <.:> u) a -> b) -> (u0 :. ((->) e <.:> u)) := b Source # | |
(Pointable u, Monoid e) => Pointable ((:*:) e <.:> u) Source # | |
Pointable u => Pointable (Maybe <.:> u) Source # | |
Pointable u => Pointable (Conclusion e <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion | |
Monad u => Monad (Maybe <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe (>>=-) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) a Source # (->>=) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) b Source # (-=<<) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) b Source # (=<<-) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) a Source # | |
Monad u => Monad (Conclusion e <.:> u) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion (>>=-) :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) a Source # (->>=) :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) b Source # (-=<<) :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) b Source # (=<<-) :: (Conclusion e <.:> u) a -> (Conclusion e <.:> u) b -> (Conclusion e <.:> u) a Source # | |
(Monoid e, Extractable u) => Extractable (((->) e :: Type -> Type) <.:> u) Source # | |
(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u) Source # | |
Defined in Pandora.Paradigm.Schemes | |
(Covariant (t <.:> v), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (t <.:> v) (w <.:> u) Source # | |
Defined in Pandora.Paradigm.Schemes | |
(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u) Source # | |
Defined in Pandora.Paradigm.Schemes | |
Pointable t => Liftable (UT Covariant Covariant t) Source # | |
Extractable t => Lowerable (UT Covariant Covariant t) Source # | |
Interpreted (UT ct cu t u) Source # | |
type Primary (UT ct cu t u) a Source # | |
Defined in Pandora.Paradigm.Schemes.UT |
type (>.:<) = UT Contravariant Contravariant Source #