Pandora.Pattern.Transformer.Lowerable

Documentation

class Lowerable t where

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

Methods

lower :: Covariant_ u (->) (->) => t u ~> u

Instances

(forall (t :: Type -> Type). Bindable t ((->) :: Type -> Type -> Type), forall (t :: Type -> Type). Pointable t ((->) :: Type -> Type -> Type)) => Lowerable Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => Instruction u ~> u

Lowerable Construction

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => Construction u ~> u

Lowerable Tap

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => Tap u ~> u

Extractable t ((->) :: Type -> Type -> Type) => Lowerable (Day t)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => Day t u ~> u

Lowerable (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => Backwards u ~> u

Lowerable (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => Reverse u ~> u

Lowerable (Schematic Comonad t) => Lowerable ((:<) t)

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

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => (t :< u) ~> u

(forall (u :: Type -> Type). Covariant u, Adjoint t t' ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Distributive t' ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Lowerable (t <:<.>:> t')

Defined in Pandora.Paradigm.Schemes.TUT

Methods

lower :: forall (u :: Type -> Type). Covariant_ u (->) (->) => (t <:<.>:> t') u ~> u

Extractable t ((->) :: Type -> Type -> Type) => Lowerable (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

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

Extractable t ((->) :: Type -> Type -> Type) => Lowerable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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