Hylograph.Expr.Interpreter.Meta

newtype MetaD :: forall k. Row Type -> k -> Typenewtype MetaD (datum :: Row Type) a

Meta interpreter that extracts source metadata

Interprets expressions to produce AttrSource describing the structure of the expression.

Constructors

• MetaD AttrSource

Instances

• NumExpr (MetaD datum)
• StringExpr (MetaD datum)
• BoolExpr (MetaD datum)
• CompareExpr (MetaD datum)
• StringCompareExpr (MetaD datum)
• TrigExpr (MetaD datum)
• (IsSymbol sym, Cons sym a r datumRow) => DatumExpr (MetaD datumRow) datumRow

runMetaD :: forall datum a. MetaD datum a -> AttrSource

newtype EvalWithMeta datum a

Combined interpreter that produces both evaluation function and metadata

This allows extracting source metadata while also getting the evaluation function. The datum parameter is a concrete Type (like Record row), not a Row Type.

Constructors

• EvalWithMeta { eval :: datum -> Int -> a, meta :: AttrSource }

Instances

• NumExpr (EvalWithMeta datum)
• StringExpr (EvalWithMeta datum)
• BoolExpr (EvalWithMeta datum)
• TrigExpr (EvalWithMeta datum)
• CompareExpr (EvalWithMeta datum)
• StringCompareExpr (EvalWithMeta datum)
• (IsSymbol sym, Cons sym a r datumRow) => DatumExpr (EvalWithMeta (Record datumRow)) datumRow

runEvalWithMeta :: forall datum a. EvalWithMeta datum a -> { eval :: datum -> Int -> a, meta :: AttrSource }

evalWithMeta :: forall datumRow a. EvalD (Record datumRow) a -> MetaD datumRow a -> EvalWithMeta (Record datumRow) a

Create EvalWithMeta from a polymorphic expression

This runs both interpreters on the same expression. Note: the EvalD takes a concrete datum type, MetaD takes a Row Type