hermit-0.3.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

HERMIT.Parser

Synopsis

Documentation

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.

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