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 :: Extractable u => t u ~> u

Instances

Lowerable Construction

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

lower :: Extractable u => Construction u ~> u

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

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

lower :: Extractable u => Backwards u ~> u

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

lower :: Extractable u => Reverse u ~> u

Extractable t => Lowerable (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT

Methods

lower :: Extractable u => UT Covariant Covariant t u ~> u

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

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU

Methods

lower :: Extractable u => TU Covariant Covariant t u ~> u

(Adjoint t t', Distributive t') => Lowerable (TUT Covariant Covariant Covariant t t')

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TUT

Methods

lower :: Extractable u => TUT Covariant Covariant Covariant t t' u ~> u