Safe Haskell	Safe-Inferred
Language	Haskell2010

Seminal

Description

Entrypoint to Seminal

Synopsis

runSeminal :: Options -> [FilePath] -> IO Status
data Status
- = Success
- | Error ErrorMessage
- | Result (Int, [(FilePath, ErrorMessage, [Change HsModule])])

Documentation

Run Seminal on a source file. If it returns Nothing, the file typechecks, otherwise, provides an ordered list of change suggestions

Constructors

Success	When the file typechecks without any changes
Error ErrorMessage	When an error occurs during the GHC session, unrelated to typechecking
Result (Int, [(FilePath, ErrorMessage, [Change HsModule])])	For each file that does not typecheck, an ordered list of change suggestions, Along with the original typecheck error