hermit-0.1.8.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.Parser
Synopsis
parseStmtsH :: String -> Either String [ExprH]Source
unparseExprH :: ExprH -> StringSource
numStmtsH :: [ExprH] -> IntSource
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