NOTE: the latest version is 4.0.3

README About Versions Source Modules

Checker

Implements a checker that ensures a data model is valid as a level 2 construct.

Model checking.

check : L1 pos -> ResultME (ModelCheckingError pos) (L2 pos)

Runs checks on an L1 model and lowers it to L2 if all the checks pass.

type ModelCheckingError pos

The error cases the model checker can detect.

errorToString : ModelCheckingError pos -> String

Converts model checking errors to strings.

Modules