pandora-0.1.2: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Pattern.Functor.Liftable

Documentation

class Liftable t where Source #

Methods

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

Instances
Liftable Jack Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Jack

Methods

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

Liftable (Stateful s) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

lift :: Covariant u => u ~> Stateful s u Source #

Liftable (Environmental e :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

lift :: Covariant u => u ~> Environmental e u Source #

(forall (u :: Type -> Type). Pointable u, Liftable t) => Liftable (Y t) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Transformer

Methods

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

Pointable t => Liftable (T t) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Transformer

Methods

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