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

Hoistable (Backwards :: (k -> Type) -> k -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

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

Hoistable (Reverse :: (k -> Type) -> k -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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