hs2ats-0.2.0.3: Create ATS types from Haskell types
Language.ATS.Generate
Synopsis
exec :: IO () Source #
generateATS :: String -> ErrM (String, [GenerateError]) Source #
Given a string containing Haskell, return a string containing ATS and a list of warnings.
genATSTypes :: FilePath -> FilePath -> IO () Source #
type ErrM a = Either GenerateError a Source #