the-sett / salix / Checker

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

Model checking processor.

processorImpl : L2.ProcessorImpl pos (ModelCheckingError pos)

SPI for this L2 checker. Use L2.builder to create an L2.Processor out of this.

errorCatalogue : Dict Basics.Int Errors.ErrorMessage

The error catalogue for this checker.