hs2ats-0.2.0.1: Create ATS types from Haskell types
Language.ATS.Generate
exec :: IO () Source #
generateATS :: String -> ErrM (String, [GenerateError]) Source #
genATSTypes :: FilePath -> FilePath -> IO () Source #
type ErrM a = Either GenerateError a Source #