pandora-0.2.3: A box of patterns and paradigms

Safe Haskell	Safe
Language	Haskell2010

Pandora.Pattern.Functor.Liftable

Documentation

class Liftable t where Source #

Methods

lift :: Covariant u => u ~> t u Source #

Instances

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