Language.Syntactic.Constructs.Decoration

Construct for decorating expressions with additional information

Decoration

data Decor info expr sig where

Decorating symbols with additional information

One usage of Decor is to decorate every node of a syntax tree. This is done simply by changing

AST dom sig

to

AST (Decor info dom) sig

Constructors

Decor :: {..} -> Decor info expr sig

Fields

• decorInfo :: info (DenResult sig)
• decorExpr :: expr sig

Instances

Project sub sup => Project sub (Decor info sup)

Defined in Language.Syntactic.Constructs.Decoration

Methods

prj :: Decor info sup a -> Maybe (sub a)

StringTree expr => StringTree (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

stringTreeSym :: [Tree String] -> Decor info expr a -> Tree String

Render expr => Render (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

renderSym :: Decor info expr sig -> String

renderArgs :: [String] -> Decor info expr sig -> String

Eval expr => Eval (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

evaluate :: Decor info expr a -> Denotation a

Equality expr => Equality (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

equal :: Decor info expr a -> Decor info expr b -> Bool

exprHash :: Decor info expr a -> Hash

Constrained expr => Constrained (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Associated Types

type Sat (Decor info expr) :: * -> Constraint

Methods

exprDict :: Decor info expr a -> Dict (Sat (Decor info expr) (DenResult a))

EvalBind dom => EvalBind (Decor info dom)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom0, ConstrainedBy dom0 Typeable, Typeable (DenResult sig)) => Decor info dom sig -> Args (AST dom0) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

AlphaEq sub sub dom env => AlphaEq (Decor info sub) (Decor info sub) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Decor info sub a -> Args (AST dom) a -> Decor info sub b -> Args (AST dom) b -> Reader env Bool

type Sat (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

type Sat (Decor info expr) = Sat expr

getInfo :: AST (Decor info dom) sig -> info (DenResult sig)

Get the decoration of the top-level node

updateDecor :: forall info dom a. (info a -> info a) -> ASTF (Decor info dom) a -> ASTF (Decor info dom) a

Update the decoration of the top-level node

liftDecor :: (expr s -> info (DenResult s) -> b) -> Decor info expr s -> b

Lift a function that operates on expressions with associated information to operate on an Decor expression. This function is convenient to use together with e.g. queryNodeSimple when the domain has the form (Decor info dom).

collectInfo :: (forall sig. info sig -> b) -> AST (Decor info dom) a -> [b]

Collect the decorations of all nodes

stringTreeDecor :: forall info dom a. StringTree dom => (forall sig. info sig -> String) -> ASTF (Decor info dom) a -> Tree String

Rendering of decorated syntax trees

showDecorWith :: StringTree dom => (forall sig. info sig -> String) -> ASTF (Decor info dom) a -> String

Show an decorated syntax tree using ASCII art

drawDecorWith :: StringTree dom => (forall sig. info sig -> String) -> ASTF (Decor info dom) a -> IO ()

Print an decorated syntax tree using ASCII art

writeHtmlDecorWith :: forall info sym a. StringTree sym => (forall sig. info sig -> String) -> FilePath -> ASTF (Decor info sym) a -> IO ()

stripDecor :: AST (Decor info dom) sig -> AST dom sig

Strip decorations from an AST