Pandora.Pattern.Transformer.Hoistable

Documentation

class Hoistable t where

When providing a new instance, you should ensure it satisfies one law:
* Identity morphism: hoist identity ≡ identity
* Interpreted of morphisms: hoist (f . g) ≡ hoist f . hoist g

Methods

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

Instances

Covariant t => Hoistable (TU Covariant Covariant t :: (k -> Type) -> k -> Type)

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

Methods

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