ddc-core-tetra-0.4.3.1: Disciplined Disciple Compiler intermediate language.
DDC.Core.Tetra.Check
Synopsis
checkModule :: Module a Name -> Maybe (Error a) Source #
Perform Core Tetra specific checks on a module.