HERMIT.Parser

Documentation

type Script = [ExprH]

parseScript :: String -> Either String Script

unparseScript :: Script -> String

unparseExprH :: ExprH -> String

data ExprH

A simple expression language AST, for things parsed from String or JSON structures.

Constructors

SrcName String

Variable names (refers to source code).

CmdName String

Commands (to be looked up in Dictionary).

AppH ExprH ExprH

Application.

CoreH String

Core Fragment

ListH [ExprH]

List of expressions

Instances

Eq ExprH

Show ExprH

parseExprH :: String -> Either String ExprH