Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Schemes.TUT

Documentation

newtype TUT ct ct' cu t t' u a Source #

Constructors

TUT ((t :. (u :. t')) := a)

Instances

Instances details

Covariant u => Covariant ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<$>) :: (a -> b) -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # comap :: (a -> b) -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # (<$) :: a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) a Source # ($>) :: (((->) s <:<.>:> (::) s) := u) a -> b -> (((->) s <:<.>:> (::) s) := u) b Source # void :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) () Source # loeb :: (((->) s <:<.>:> (::) s) := u) (a <-\| (((->) s <:<.>:> (::) s) := u)) -> (((->) s <:<.>:> (::) s) := u) a Source # (<&>) :: (((->) s <:<.>:> (::) s) := u) a -> (a -> b) -> (((->) s <:<.>:> (::) s) := u) b Source # (<$$>) :: Covariant u0 => (a -> b) -> (((((->) s <:<.>:> (::) s) := u) :. u0) := a) -> ((((->) s <:<.>:> (::) s) := u) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := a) -> ((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((((->) s <:<.>:> (::) s) := u) :. (u0 :. (v :. w))) := a) -> ((((->) s <:<.>:> (::) s) := u) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => (((((->) s <:<.>:> (::) s) := u) :. u0) := a) -> (a -> b) -> ((((->) s <:<.>:> (::) s) := u) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => (((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := a) -> (a -> b) -> ((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((((->) s <:<.>:> (::) s) := u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((((->) s <:<.>:> (:*:) s) := u) :. (u0 :. (v :. w))) := b Source #
Covariant u => Covariant (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (<$>) :: (a -> b) -> (((::) p <:<.>:> (->) p) := u) a -> (((::) p <:<.>:> (->) p) := u) b Source # comap :: (a -> b) -> (((::) p <:<.>:> (->) p) := u) a -> (((::) p <:<.>:> (->) p) := u) b Source # (<$) :: a -> (((::) p <:<.>:> (->) p) := u) b -> (((::) p <:<.>:> (->) p) := u) a Source # ($>) :: (((::) p <:<.>:> (->) p) := u) a -> b -> (((::) p <:<.>:> (->) p) := u) b Source # void :: (((::) p <:<.>:> (->) p) := u) a -> (((::) p <:<.>:> (->) p) := u) () Source # loeb :: (((::) p <:<.>:> (->) p) := u) (a <-\| (((::) p <:<.>:> (->) p) := u)) -> (((::) p <:<.>:> (->) p) := u) a Source # (<&>) :: (((::) p <:<.>:> (->) p) := u) a -> (a -> b) -> (((::) p <:<.>:> (->) p) := u) b Source # (<$$>) :: Covariant u0 => (a -> b) -> (((((::) p <:<.>:> (->) p) := u) :. u0) := a) -> ((((::) p <:<.>:> (->) p) := u) :. u0) := b Source # (<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((((::) p <:<.>:> (->) p) := u) :. (u0 :. v)) := a) -> ((((::) p <:<.>:> (->) p) := u) :. (u0 :. v)) := b Source # (<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((((::) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := a) -> ((((::) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := b Source # (<&&>) :: Covariant u0 => (((((::) p <:<.>:> (->) p) := u) :. u0) := a) -> (a -> b) -> ((((::) p <:<.>:> (->) p) := u) :. u0) := b Source # (<&&&>) :: (Covariant u0, Covariant v) => (((((::) p <:<.>:> (->) p) := u) :. (u0 :. v)) := a) -> (a -> b) -> ((((::) p <:<.>:> (->) p) := u) :. (u0 :. v)) := b Source # (<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((((::) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := b Source #
Bindable u => Bindable ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (>>=) :: (((->) s <:<.>:> (::) s) := u) a -> (a -> (((->) s <:<.>:> (::) s) := u) b) -> (((->) s <:<.>:> (::) s) := u) b Source # (=<<) :: (a -> (((->) s <:<.>:> (::) s) := u) b) -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # bind :: (a -> (((->) s <:<.>:> (::) s) := u) b) -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # join :: (((((->) s <:<.>:> (::) s) := u) :. (((->) s <:<.>:> (::) s) := u)) := a) -> (((->) s <:<.>:> (::) s) := u) a Source # (>=>) :: (a -> (((->) s <:<.>:> (::) s) := u) b) -> (b -> (((->) s <:<.>:> (::) s) := u) c) -> a -> (((->) s <:<.>:> (::) s) := u) c Source # (<=<) :: (b -> (((->) s <:<.>:> (::) s) := u) c) -> (a -> (((->) s <:<.>:> (::) s) := u) b) -> a -> (((->) s <:<.>:> (::) s) := u) c Source # ($>>=) :: Covariant u0 => (a -> (((->) s <:<.>:> (::) s) := u) b) -> ((u0 :. (((->) s <:<.>:> (::) s) := u)) := a) -> (u0 :. (((->) s <:<.>:> (::) s) := u)) := b Source # (<>>=) :: ((((->) s <:<.>:> (::) s) := u) b -> c) -> (a -> (((->) s <:<.>:> (::) s) := u) b) -> (((->) s <:<.>:> (::) s) := u) a -> c Source #
Bindable u => Applicative ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<>) :: (((->) s <:<.>:> (::) s) := u) (a -> b) -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # apply :: (((->) s <:<.>:> (::) s) := u) (a -> b) -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # (>) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) b Source # (<) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) a Source # forever :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b Source # (<>) :: Applicative u0 => (((((->) s <:<.>:> (::) s) := u) :. u0) := (a -> b)) -> (((((->) s <:<.>:> (::) s) := u) :. u0) := a) -> ((((->) s <:<.>:> (::) s) := u) :. u0) := b Source # (<**>) :: (Applicative u0, Applicative v) => (((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := (a -> b)) -> (((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := a) -> ((((->) s <:<.>:> (::) s) := u) :. (u0 :. v)) := b Source # (<***>) :: (Applicative u0, Applicative v, Applicative w) => (((((->) s <:<.>:> (::) s) := u) :. (u0 :. (v :. w))) := (a -> b)) -> (((((->) s <:<.>:> (::) s) := u) :. (u0 :. (v :. w))) := a) -> ((((->) s <:<.>:> (::) s) := u) :. (u0 :. (v :. w))) := b Source #
Alternative u => Alternative ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<+>) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) a Source # alter :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) a Source #
Avoidable u => Avoidable ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods empty :: (((->) s <:<.>:> (:*:) s) := u) a Source #
Extendable u => Extendable (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (=>>) :: (((::) p <:<.>:> (->) p) := u) a -> ((((::) p <:<.>:> (->) p) := u) a -> b) -> (((::) p <:<.>:> (->) p) := u) b Source # (<<=) :: ((((::) p <:<.>:> (->) p) := u) a -> b) -> (((::) p <:<.>:> (->) p) := u) a -> (((::) p <:<.>:> (->) p) := u) b Source # extend :: ((((::) p <:<.>:> (->) p) := u) a -> b) -> (((::) p <:<.>:> (->) p) := u) a -> (((::) p <:<.>:> (->) p) := u) b Source # duplicate :: (((::) p <:<.>:> (->) p) := u) a -> ((((::) p <:<.>:> (->) p) := u) :. (((::) p <:<.>:> (->) p) := u)) := a Source # (=<=) :: ((((::) p <:<.>:> (->) p) := u) b -> c) -> ((((::) p <:<.>:> (->) p) := u) a -> b) -> (((::) p <:<.>:> (->) p) := u) a -> c Source # (=>=) :: ((((::) p <:<.>:> (->) p) := u) a -> b) -> ((((::) p <:<.>:> (->) p) := u) b -> c) -> (((::) p <:<.>:> (->) p) := u) a -> c Source # ($=>>) :: Covariant u0 => ((((::) p <:<.>:> (->) p) := u) a -> b) -> ((u0 :. (((::) p <:<.>:> (->) p) := u)) := a) -> (u0 :. (((::) p <:<.>:> (->) p) := u)) := b Source # (<<=$) :: Covariant u0 => ((u0 :. (((::) p <:<.>:> (->) p) := u)) := a) -> ((((::) p <:<.>:> (->) p) := u) a -> b) -> (u0 :. (((::) p <:<.>:> (->) p) := u)) := b Source #
Pointable u => Pointable ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods point :: a \|-> (((->) s <:<.>:> (:*:) s) := u) Source #
Monad u => Monad ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (>>=-) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) a Source # (->>=) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) b Source # (-=<<) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) b Source # (=<<-) :: (((->) s <:<.>:> (::) s) := u) a -> (((->) s <:<.>:> (::) s) := u) b -> (((->) s <:<.>:> (::) s) := u) a Source #
Extractable u => Extractable (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| (((:*:) p <:<.>:> (->) p) := u) Source #
(Adjoint t' t, Distributive t) => Liftable (t <:<.>:> t') Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods lift :: forall (u :: Type -> Type). Covariant u => u ~> (t <:<.>:> t') u Source #
(Adjoint t t', Distributive t') => Lowerable (t <:<.>:> t') Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods lower :: forall (u :: Type -> Type). Covariant u => (t <:<.>:> t') u ~> u Source #
(Covariant ((t <:<.>:> u) t'), Covariant ((v <:<.>:> w) v'), Adjoint t w, Adjoint t' v', Adjoint t v, Adjoint u v, Adjoint v' t') => Adjoint ((t <:<.>:> u) t') ((v <:<.>:> w) v') Source #
Instance details Defined in Pandora.Paradigm.Schemes Methods (-\|) :: a -> ((t <:<.>:> u) t' a -> b) -> (v <:<.>:> w) v' b Source # (\|-) :: (t <:<.>:> u) t' a -> (a -> (v <:<.>:> w) v' b) -> b Source # phi :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # psi :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source # eta :: a -> ((v <:<.>:> w) v' :. (t <:<.>:> u) t') := a Source # epsilon :: (((t <:<.>:> u) t' :. (v <:<.>:> w) v') := a) -> a Source #
Interpreted (TUT ct ct' cu t t' u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Associated Types type Primary (TUT ct ct' cu t t' u) a Source # Methods run :: TUT ct ct' cu t t' u a -> Primary (TUT ct ct' cu t t' u) a Source #
type Primary (TUT ct ct' cu t t' u) a Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT type Primary (TUT ct ct' cu t t' u) a = (t :. (u :. t')) := a

type (<:<.>:>) = TUT Covariant Covariant Covariant Source #

type (>:<.>:>) = TUT Contravariant Covariant Covariant Source #

type (<:<.>:<) = TUT Covariant Covariant Contravariant Source #

type (>:<.>:<) = TUT Contravariant Covariant Contravariant Source #

type (<:>.<:>) = TUT Covariant Contravariant Covariant Source #

type (>:>.<:>) = TUT Contravariant Contravariant Covariant Source #

type (<:>.<:<) = TUT Covariant Contravariant Contravariant Source #

type (>:>.<:<) = TUT Contravariant Contravariant Contravariant Source #