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). Monad t) => 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 => 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

(Adjoint t t', Distributive t') => Lowerable (t <:<.>:> t')

Defined in Pandora.Paradigm.Schemes.TUT

Methods

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

Extractable t => 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 => 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