Language.ATS.Generate

Documentation

exec :: IO ()

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

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

type ErrM a = Either GenerateError a