Data.Comp.Desugar

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

Documentation

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

The desugaring term homomorphism.

Minimal complete definition

Nothing

Methods

desugHom :: Hom f g

desugHom' :: Alg f (Context g a)

Instances

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

Default desugaring instance.

Defined in Data.Comp.Desugar

Methods

desugHom :: Hom f g

desugHom' :: Alg f (Context g a)

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

Defined in Data.Comp.Desugar

Methods

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

desugHom' :: Alg (f :+: g) (Context h a)

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

Desugar a term.

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

Lift desugaring to annotated terms.