compdata-0.6.1.1: Compositional Data Types
Data.Comp.Desugar
Description
This modules defines the Desugar type class for desugaring of terms.
Desugar
Synopsis
class (Functor f, Functor g) => Desugar f g whereSource
The desugaring term homomorphism.
Methods
desugHom :: Hom f gSource
desugHom' :: Alg f (Context g a)Source
Instances
Default desugaring instance.
desugar :: Desugar f g => Term f -> Term gSource
Desugar a term.
desugarA :: (Functor f', Functor g', DistAnn f p f', DistAnn g p g', Desugar f g) => Term f' -> Term g'Source
Lift desugaring to annotated terms.