harmony-0.1.0.2: A web service specification compiler that generates implementation and tests.

Safe HaskellNone
LanguageHaskell2010

TypeCheck.StaticCheck

Description

Static checking of the input file.

Synopsis

Documentation

staticCheck :: Specification -> Err ApiSpec Source

Checks the definition for: * Name clashes * Undefined types and returns a better representation of the api spec.