Pandora.Pattern.Functor.Liftable

Documentation

class Liftable t where

Methods

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

Instances

Liftable Jack

Defined in Pandora.Paradigm.Basis.Jack

Methods

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

Liftable (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

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

Liftable (Environmental e :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

(forall (u :: Type -> Type). Pointable u, Liftable t) => Liftable (Y t)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

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

Pointable t => Liftable (T t)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

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