Data.Comp.Multi.Desugar

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

Documentation

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

The desugaring term homomorphism.

Methods

desugHom :: Hom f g

desugHom' :: Alg f (Context g a)

Instances

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

Default desugaring instance.

Methods

desugHom :: Hom f g

desugHom' :: f (Context g a) i -> Context g a i

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

Methods

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

desugHom' :: (* :+: f) g (Context h a) i -> Context h a i

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

Desugar a term.

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

Lift desugaring to annotated terms.