Pandora.Paradigm.Schemes.UTU

Documentation

newtype UTU ct cu t u u' a

Constructors

UTU ((u :. (t :. u')) > a)

Instances

Interpreted ((->) :: Type -> Type -> Type) (UTU ct cu t u u')

Defined in Pandora.Paradigm.Schemes.UTU

Associated Types

type Primary (UTU ct cu t u u') a

Methods

run :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

unite :: ((->) < Primary (UTU ct cu t u u') a) < UTU ct cu t u u' a

(<~~~~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(<~) :: ((->) < UTU ct cu t u u' a) < Primary (UTU ct cu t u u') a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (UTU ct cu t u u') a) < Primary u0 b) -> ((->) < UTU ct cu t u u' a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < UTU ct cu t u u' a) < u0 b) -> ((->) < Primary (UTU ct cu t u u') a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (UTU ct cu t u u') a) < Primary u0 b) -> (j > UTU ct cu t u u' a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < UTU ct cu t u u' a) < u0 b) -> (j > Primary (UTU ct cu t u u') a) -> (j > Primary u0 b)

type Primary (UTU ct cu t u u') a

Defined in Pandora.Paradigm.Schemes.UTU

type Primary (UTU ct cu t u u') a = (u :. (t :. u')) > a

type (<.<:>.>) = UTU Covariant Covariant Covariant

type (>.<:>.>) = UTU Contravariant Covariant Covariant

type (<.<:>.<) = UTU Covariant Covariant Contravariant

type (>.<:>.<) = UTU Contravariant Covariant Contravariant

type (<.>:<.>) = UTU Covariant Contravariant Covariant

type (>.>:<.>) = UTU Contravariant Contravariant Covariant

type (<.>:<.<) = UTU Covariant Contravariant Contravariant

type (>.>:<.<) = UTU Contravariant Contravariant Contravariant