Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- class Lowerable t where
- lower :: Extractable u => t u ~> u
Documentation
class Lowerable t where Source #
When providing a new instance, you should ensure it satisfies one law: * Interchange: extract . lower ≡ extract
lower :: Extractable u => t u ~> u Source #
Instances
Lowerable Construction Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction lower :: Extractable u => Construction u ~> u Source # | |
Lowerable (Backwards :: (Type -> Type) -> Type -> Type) Source # | |
Lowerable (Reverse :: (Type -> Type) -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Reverse | |
Extractable t => Lowerable (UT Covariant Covariant t) Source # | |
Extractable t => Lowerable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
(Adjoint t t', Distributive t') => Lowerable (TUT Covariant Covariant Covariant t t') Source # | |