Hylograph.Expr.Interpreter.Eval

newtype Eval a

Simple evaluator for expressions without datum access

Constructors

• Eval a

Instances

• NumExpr Eval
• StringExpr Eval
• BoolExpr Eval
• CompareExpr Eval
• StringCompareExpr Eval
• TrigExpr Eval
• UnitExpr Eval

  Unit expressions evaluate to the underlying number (SVG uses unitless numbers, CSS would preserve units)

• UnitArith Eval

  Unit arithmetic - just operates on underlying numbers

• PathExpr Eval

  Path expressions - compute actual SVG path strings

• DataDSL Eval

  DataDSL instance for simple Eval (no datum access)

• TrigDSL Eval

  TrigDSL instance for simple Eval

runEval :: forall a. Eval a -> a

newtype EvalD datum a

Evaluator with datum access - a function from datum (and index) to value

Constructors

• EvalD (datum -> Int -> a)

Instances

• NumExpr (EvalD datum)
• StringExpr (EvalD datum)
• BoolExpr (EvalD datum)
• CompareExpr (EvalD datum)
• StringCompareExpr (EvalD datum)
• TrigExpr (EvalD datum)
• UnitExpr (EvalD datum)
• UnitArith (EvalD datum)
• PathExpr (EvalD datum)
• DatumExpr (EvalD (Record datumRow)) datumRow

  Datum field access - looks up field from datum at runtime The datumRow is a Row kind, and we work with Record datumRow

• DataDSL (EvalD datum)

  DataDSL instance for EvalD (with datum and index access)

• TrigDSL (EvalD datum)

  TrigDSL instance for EvalD (with datum and index access)

runEvalD :: forall datum a. EvalD datum a -> datum -> Int -> a

unsafeGetField :: forall r a. String -> Record r -> a

Unsafe field access (we've verified types at compile time)