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 Twister

Defined in Pandora.Paradigm.Basis.Twister

Methods

lower :: Extractable u => Twister 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