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

Drasil.Generator.TypeCheck

Synopsis

Type check a Drasil System

typeCheckSI :: System -> IO () Source #