Data.Comp.Param.Desugar

This modules defines the Desugar type class for desugaring of terms.

Documentation

class (Difunctor f, Difunctor g) => Desugar f g where

The desugaring term homomorphism.

Methods

desugHom :: Hom f g

desugHom' :: f a (Cxt h g a b) -> Cxt h g a b

Instances

(Difunctor f, Difunctor g, f :<: g) => Desugar f g

Default desugaring instance.

(Desugar f g0, Desugar g g0) => Desugar (:+: f g) g0

desugar :: Desugar f g => Term f -> Term g

Desugar a term.

desugarA :: (Difunctor f', Difunctor g', DistAnn f p f', DistAnn g p g', Desugar f g) => Term f' -> Term g'

Lift desugaring to annotated terms.