pandora-0.2.5: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Pattern.Transformer.Hoistable

Documentation

class Hoistable t where Source #

Methods

hoist :: (u ~> v) -> t u ~> t v Source #

Instances
Covariant t => Hoistable (TU Covariant Covariant t :: (k -> Type) -> k -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Schemes.TU

Methods

hoist :: (u ~> v) -> TU Covariant Covariant t u ~> TU Covariant Covariant t v Source #