Language.ATS.Generate

Documentation

exec :: IO ()

generateATS :: String -> ErrM (String, [GenerateError])

Given a string containing Haskell, return a string containing ATS and a list of warnings.

genATSTypes :: FilePath -> FilePath -> IO ()

type ErrM a = Either GenerateError a