Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
This modules defines the Desugar
type class for desugaring of terms.
Documentation
class (HDifunctor f, HDifunctor g) => Desugar f g whereSource
The desugaring term homomorphism.
(HDifunctor f, HDifunctor g, f :<: g) => Desugar f g | Default desugaring instance. |
(Desugar f g0, Desugar g g0) => Desugar (:+: f g) g0 |
desugarA :: (HDifunctor f', HDifunctor g', DistAnn f p f', DistAnn g p g', Desugar f g) => Term f' :-> Term g'Source
Lift desugaring to annotated terms.