Pandora.Pattern.Transformer.Liftable

Documentation

class Liftable t where

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

Methods

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

Instances

Liftable Yoneda

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

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

Liftable Outline

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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

Liftable Jack

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

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

Liftable Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

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

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Methods

lift :: forall (u :: Type -> Type). Covariant u (->) (->) => u ~> Continuation r u

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

Defined in Pandora.Paradigm.Schemes.TUT

Methods

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

Pointable t ((->) :: Type -> Type -> Type) => Liftable (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

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

Pointable t ((->) :: Type -> Type -> Type) => Liftable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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