hermit-0.3.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
HERMIT.Parser
Synopsis
type Script = [ExprH]Source
parseScript :: String -> Either String ScriptSource
unparseScript :: Script -> StringSource
unparseExprH :: ExprH -> StringSource
data ExprH Source
A simple expression language AST, for things parsed from String or JSON structures.
String
Constructors
Variable names (refers to source code).
Commands (to be looked up in Dictionary).
Dictionary
Application.
Core Fragment
List of expressions
Instances