pandora-0.1.7: A box of patterns and paradigms
Pandora.Pattern.Functor.Liftable
class Liftable t where Source #
Methods
lift :: Covariant u => u ~> t u Source #
Defined in Pandora.Paradigm.Basis.Jack
lift :: Covariant u => u ~> Jack u Source #
Defined in Pandora.Paradigm.Junction.Transformer
lift :: Covariant u => u ~> Y t u Source #
lift :: Covariant u => u ~> T t u Source #