pandora-0.2.1: 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 #