Language.Syntactic.Features.Annotate

Annotations for syntax trees

Documentation

data Ann info expr a where

Annotating an expression with arbitrary information.

This can be used to annotate every node of a syntax tree, which is done by changing

 AST dom a

to

 AST (Ann info dom) a

Injection/projection of an annotated tree is done using injectAnn / projectAnn.

Constructors

Ann :: info (EvalResult a) -> expr a -> Ann info expr a

Fields

annInfo :: info (EvalResult a)

annExpr :: expr a

Instances

ExprEq expr => ExprEq (Ann info expr)

ToTree expr => ToTree (Ann info expr)

Render expr => Render (Ann info expr)

Eval expr => Eval (Ann info expr)

ExprHash expr => ExprHash (Ann info expr)

type AnnSTF info dom a = ASTF (Ann info dom) a

injectAnn :: (sub :<: sup, ConsType a) => info (EvalResult a) -> sub a -> AST (Ann info sup) a

projectAnn :: sub :<: sup => AST (Ann info sup) a -> Maybe (info (EvalResult a), sub a)

getInfo :: AST (Ann info sup) a -> info (EvalResult a)