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

(||=) :: (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)

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

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

(<$$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u0) => (Primary (UTU ct cu t u u') a -> Primary u0 b) -> ((j :. (k :. (l :. n))) := UTU ct cu t u u' a) -> ((j :. (k :. (l :. n))) := 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)

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

(=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u0) => (UTU ct cu t u u' a -> u0 b) -> ((j :. (k :. l)) := Primary (UTU ct cu t u u') a) -> ((j :. (k :. l)) := Primary u0 b)

(=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u0) => (UTU ct cu t u u' a -> u0 b) -> ((j :. (k :. (l :. n))) := Primary (UTU ct cu t u u') a) -> ((j :. (k :. (l :. n))) := 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