compdata-0.9: Compositional Data Types

Copyright(c) 2011 Patrick Bahr, Tom Hvitved
LicenseBSD3
MaintainerTom Hvitved <[email protected]>
Stabilityexperimental
Portabilitynon-portable (GHC Extensions)
Safe HaskellNone
LanguageHaskell98

Data.Comp.Desugar

Description

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

Synopsis

Documentation

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

The desugaring term homomorphism.

Minimal complete definition

Nothing

Methods

desugHom :: Hom f g Source

desugHom' :: Alg f (Context g a) Source

Instances

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

Default desugaring instance.

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

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

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.