pandora-0.2.5: A box of patterns and paradigms
Pandora.Pattern.Transformer.Hoistable
class Hoistable t where Source #
Methods
hoist :: (u ~> v) -> t u ~> t v Source #
Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU
hoist :: (u ~> v) -> TU Covariant Covariant t u ~> TU Covariant Covariant t v Source #