Pandora.Paradigm.Schemes.U_T

Documentation

newtype U_T ct cu t u a

Constructors

U_T (u a :*: t a)

Instances

Covariant t => Hoistable (U_T Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.U_T

Methods

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u => (u ~> v) -> U_T Covariant Covariant t u ~> U_T Covariant Covariant t v

Avoidable t => Liftable (U_T Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.U_T

Methods

lift :: forall (u :: Type -> Type). Covariant u => u ~> U_T Covariant Covariant t u

Lowerable (U_T Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.U_T

Methods

lower :: forall (u :: Type -> Type). Covariant u => U_T Covariant Covariant t u ~> u

Interpreted (U_T ct cu t u)

Defined in Pandora.Paradigm.Schemes.U_T

Associated Types

type Primary (U_T ct cu t u) a

Methods

run :: U_T ct cu t u a -> Primary (U_T ct cu t u) a

unite :: Primary (U_T ct cu t u) a -> U_T ct cu t u a

type Primary (U_T ct cu t u) a

Defined in Pandora.Paradigm.Schemes.U_T

type Primary (U_T ct cu t u) a = u a :*: t a

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

type (>.:.>) = U_T Contravariant Covariant

type (<.:.<) = U_T Covariant Contravariant

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