Language.Modulo.Parse

Parser for the module language, as described in Language.Modulo.

Documentation

parse :: String -> Either ParseError Module

Parse a module description, returning an error if unsuccessful.

parseName :: String -> Either ParseError Name

Parse a qualified name, returning an error if unsuccessful.

parsePrimType :: String -> Either ParseError PrimType

Parse a primitive type, returning an error if unsuccessful.

parsePrimTypeMaybe :: String -> Maybe PrimType

Parse a primitive type, returning an error if unsuccessful.

unsafeParseFile :: FilePath -> IO Module

Parse a module description from the given file, or fail if unsuccessful.

This unsafe function should not be used in production code.