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

(forall (u' :: Type -> Type). Pointable u', Liftable t) => Liftable (UTU Co Co t)

Defined in Pandora.Paradigm.Junction.Schemes.UTU

Methods

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

Pointable t => Liftable (UT Co Co t)

Defined in Pandora.Paradigm.Junction.Schemes.UT

Methods

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