CSPM.DataStructures.Syntax

Files

data CSPMFile id

allAssertionsInFile

allPrintStatementsInFile

Declarations

data Decl id

data Match id

Assertions

data Assertion id

data Model

data ModelOption id

data SemanticProperty

Data Type Clauses

data DataTypeClause id

Expressions

data Exp id

data BinaryMathsOp

data BinaryBooleanOp

data UnaryMathsOp

data UnaryBooleanOp

Fields

data Field id

Statements

data Stmt id

Patterns

data Pat id

Interactive Statements

data InteractiveStmt id

Type Annotations

data STypeScheme id

data STypeConstraint id

data SType id

Type Synonyms

type AnCSPMFile id

type AnDecl id

type AnMatch id

type AnPat id

type AnExp id

type AnField id

type AnStmt id

type AnDataTypeClause id

type AnAssertion id

type AnInteractiveStmt id

type AnSTypeScheme id

type AnSTypeConstraint id

type AnSType id

Pre-Renaming Types

type PCSPMFile

type PDecl

type PMatch

type PPat

type PExp

type PField

type PStmt

type PDataTypeClause

type PAssertion

type PInteractiveStmt

type PSTypeScheme

type PSTypeConstraint

type PSType

Post-Renaming Types

type TCCSPMFile

type TCDecl

type TCMatch

type TCPat

type TCExp

type TCField

type TCStmt

type TCDataTypeClause

type TCAssertion

type TCInteractiveStmt

type TCSTypeScheme

type TCSTypeConstraint

type TCSType

Helpers

getType

getSymbolTable