| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.ATS.Generate
Synopsis
- generateATS :: FilePath -> String -> ErrM (String, [GenerateError])
- genATSTypes :: FilePath -> FilePath -> Bool -> IO ()
- type ErrM a = Either GenerateError a
- data GenerateError
Functions
Arguments
| :: FilePath | Name of source file |
| -> String | Source file contents |
| -> ErrM (String, [GenerateError]) |
Given a string containing Haskell, return a string containing ATS and a list of warnings.
Types
type ErrM a = Either GenerateError a Source #
data GenerateError Source #
Constructors
| Unsupported String | |
| HaskellSyntaxError SrcLoc String | |
| Internal String | |
| Malformed String |