Safe Haskell	Safe
Language	Haskell2010

Pandora.Pattern.Transformer.Liftable

Synopsis

Documentation

class Liftable t where Source #

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

Methods

Instances

Liftable Yoneda Source #
Instance details Defined in Pandora.Paradigm.Basis.Yoneda Methods lift :: Pointable u => u ~> Yoneda u Source #
Liftable Jack Source #
Instance details Defined in Pandora.Paradigm.Basis.Jack Methods lift :: Pointable u => u ~> Jack u Source #
Liftable Free Source #
Instance details Defined in Pandora.Paradigm.Basis.Free Methods lift :: Pointable u => u ~> Free u Source #
(forall (u :: Type -> Type). Bindable u) => Liftable (Continuation r) Source #
Instance details Defined in Pandora.Paradigm.Basis.Continuation Methods lift :: Pointable u => u ~> Continuation r u Source #
Pointable t => Liftable (UT Covariant Covariant t) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.UT Methods lift :: Pointable u => u ~> UT Covariant Covariant t u Source #
Pointable t => Liftable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU Methods lift :: Pointable u => u ~> TU Covariant Covariant t u Source #