Pandora.Pattern.Transformer.Liftable

Documentation

class Liftable cat t where

When providing a new instance, you should ensure it satisfies one law:
* Interchange: lift . point ≡ point

Methods

lift :: Covariant cat cat u => cat (u a) (t u a)

Instances

Liftable ((->) :: Type -> Type -> Type) Yoneda

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

lift :: Covariant (->) (->) u => u a -> Yoneda u a

Liftable ((->) :: Type -> Type -> Type) Outline

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

lift :: Covariant (->) (->) u => u a -> Outline u a

Liftable ((->) :: Type -> Type -> Type) Jack

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

lift :: Covariant (->) (->) u => u a -> Jack u a

Liftable ((->) :: Type -> Type -> Type) Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

lift :: Covariant (->) (->) u => u a -> Instruction u a

Liftable ((->) :: Type -> Type -> Type) (Schematic Monad t) => Liftable ((->) :: Type -> Type -> Type) ((:>) t)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

lift :: Covariant (->) (->) u => u a -> (t :> u) a

Liftable ((->) :: Type -> Type -> Type) (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

lift :: Covariant (->) (->) u => u a -> Backwards u a

Liftable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

lift :: Covariant (->) (->) u => u a -> Reverse u a

(forall (u :: Type -> Type). Bindable ((->) :: Type -> Type -> Type) u) => Liftable ((->) :: Type -> Type -> Type) (Continuation r)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Methods

lift :: Covariant (->) (->) u => u a -> Continuation r u a

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Liftable ((->) :: Type -> Type -> Type) (t <:<.>:> t')

Defined in Pandora.Paradigm.Schemes.TUT

Methods

lift :: Covariant (->) (->) u => u a -> (t <:<.>:> t') u a

Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

lift :: Covariant (->) (->) u => u a -> UT Covariant Covariant t u a

Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lift :: Covariant (->) (->) u => u a -> TU Covariant Covariant t u a