| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.ATS.Generate
- exec :: IO ()
- generateATS :: FilePath -> String -> ErrM (String, [GenerateError])
- genATSTypes :: FilePath -> FilePath -> Bool -> IO ()
- type ErrM a = Either GenerateError a
Documentation
generateATS :: FilePath -> String -> ErrM (String, [GenerateError]) Source #
Given a string containing Haskell, return a string containing ATS and a list of warnings.
type ErrM a = Either GenerateError a Source #