Data.Comp.Multi.Desugar

Description

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

Synopsis

class (HFunctor f, HFunctor g) => Desugar (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type) where
- desugHom :: Hom f g
- desugHom' :: forall (a :: Type -> Type). Alg f (Context g a)
desugar :: forall (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type). Desugar f g => Term f :-> Term g
desugarA :: forall (f' :: (Type -> Type) -> Type -> Type) (g' :: (Type -> Type) -> Type -> Type) (f :: (Type -> Type) -> Type -> Type) p (g :: (Type -> Type) -> Type -> Type). (HFunctor f', HFunctor g', DistAnn f p f', DistAnn g p g', Desugar f g) => Term f' :-> Term g'

Documentation

class (HFunctor f, HFunctor g) => Desugar (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type) where Source #

The desugaring term homomorphism.

Minimal complete definition

Nothing

Methods

desugHom' :: forall (a :: Type -> Type). Alg f (Context g a) Source #

Instances details

(HFunctor f, HFunctor g, f :<: g) => Desugar f g Source #	Default desugaring instance.
Instance details Defined in Data.Comp.Multi.Desugar Methods desugHom :: Hom f g Source # desugHom' :: forall (a :: Type -> Type). Alg f (Context g a) Source #
(Desugar f h, Desugar g h) => Desugar (f :+: g) h Source #
Instance details Defined in Data.Comp.Multi.Desugar Methods desugHom :: Hom (f :+: g) h Source # desugHom' :: forall (a :: Type -> Type). Alg (f :+: g) (Context h a) Source #

desugar :: forall (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type). Desugar f g => Term f :-> Term g Source #

Desugar a term.

desugarA :: forall (f' :: (Type -> Type) -> Type -> Type) (g' :: (Type -> Type) -> Type -> Type) (f :: (Type -> Type) -> Type -> Type) p (g :: (Type -> Type) -> Type -> Type). (HFunctor f', HFunctor g', DistAnn f p f', DistAnn g p g', Desugar f g) => Term f' :-> Term g' Source #

Lift desugaring to annotated terms.