Language.Futhark.Parser

Interface to the Futhark parser.

Documentation

parseFuthark :: FilePath -> Text -> Either SyntaxError UncheckedProg

Parse an entire Futhark program from the given Text, using the FilePath as the source name for error messages.

parseExp :: FilePath -> Text -> Either SyntaxError UncheckedExp

Parse an Futhark expression from the given String, using the FilePath as the source name for error messages.

parseModExp :: FilePath -> Text -> Either SyntaxError (ModExpBase NoInfo Name)

Parse a Futhark module expression from the given String, using the FilePath as the source name for error messages.

parseType :: FilePath -> Text -> Either SyntaxError UncheckedTypeExp

Parse an Futhark type from the given String, using the FilePath as the source name for error messages.

parseValue :: FilePath -> Text -> Either SyntaxError Value

Parse any Futhark value from the given String, using the FilePath as the source name for error messages.

parseValues :: FilePath -> Text -> Either SyntaxError [Value]

Parse several Futhark values (separated by anything) from the given String, using the FilePath as the source name for error messages.

parseDecOrExpIncrM :: Monad m => m Text -> FilePath -> Text -> m (Either SyntaxError (Either UncheckedDec UncheckedExp))

Parse either an expression or a declaration incrementally; favouring declarations in case of ambiguity.

data SyntaxError

A syntax error.

Constructors

SyntaxError

Fields

• syntaxErrorLoc :: Loc
• syntaxErrorMsg :: String