drasil-gen-0.1.3.0: A framework for code and document generation for scientific software - Utils SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.Generator.SRS.TypeCheck

Synopsis

Type check a Drasil System

typeCheckSI :: SmithEtAlSRS -> IO () Source #