Data.Comp.Param.Multi.Desugar

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

Documentation

class (HDifunctor f, HDifunctor 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

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

Default desugaring instance.

Defined in Data.Comp.Param.Multi.Desugar

Methods

desugHom :: Hom f g

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

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

Defined in Data.Comp.Param.Multi.Desugar

Methods

desugHom :: Hom (f :+: g) h

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

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

Desugar a term.

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

Lift desugaring to annotated terms.