Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Futhark.Parser

Description

Interface to the Futhark parser.

Synopsis

parseFuthark :: FilePath -> Text -> Either ParseError UncheckedProg
parseExp :: FilePath -> Text -> Either ParseError UncheckedExp
parseModExp :: FilePath -> Text -> Either ParseError (ModExpBase NoInfo Name)
parseType :: FilePath -> Text -> Either ParseError UncheckedTypeExp
parseValue :: FilePath -> Text -> Either ParseError Value
parseValues :: FilePath -> Text -> Either ParseError [Value]
parseDecOrExpIncrM :: Monad m => m Text -> FilePath -> Text -> m (Either ParseError (Either UncheckedDec UncheckedExp))
data ParseError = ParseError String
scanTokensText :: Pos -> Text -> Either String ([L Token], Pos)
data L a = L SrcLoc a
data Token
- = ID Name
- | INDEXING Name
- | QUALINDEXING [Name] Name
- | QUALPAREN [Name] Name
- | UNOP Name
- | QUALUNOP [Name] Name
- | SYMBOL BinOp [Name] Name
- | CONSTRUCTOR Name
- | PROJ_INTFIELD Name
- | INTLIT Integer
- | STRINGLIT String
- | I8LIT Int8
- | I16LIT Int16
- | I32LIT Int32
- | I64LIT Int64
- | U8LIT Word8
- | U16LIT Word16
- | U32LIT Word32
- | U64LIT Word64
- | FLOATLIT Double
- | F32LIT Float
- | F64LIT Double
- | CHARLIT Char
- | COLON
- | COLON_GT
- | BACKSLASH
- | APOSTROPHE
- | APOSTROPHE_THEN_HAT
- | APOSTROPHE_THEN_TILDE
- | BACKTICK
- | HASH_LBRACKET
- | DOT
- | TWO_DOTS
- | TWO_DOTS_LT
- | TWO_DOTS_GT
- | THREE_DOTS
- | LPAR
- | RPAR
- | RPAR_THEN_LBRACKET
- | LBRACKET
- | RBRACKET
- | LCURLY
- | RCURLY
- | COMMA
- | UNDERSCORE
- | RIGHT_ARROW
- | EQU
- | ASTERISK
- | NEGATE
- | LTH
- | HAT
- | TILDE
- | PIPE
- | IF
- | THEN
- | ELSE
- | LET
- | LOOP
- | IN
- | FOR
- | DO
- | WITH
- | ASSERT
- | TRUE
- | FALSE
- | WHILE
- | INCLUDE
- | IMPORT
- | ENTRY
- | TYPE
- | MODULE
- | VAL
- | OPEN
- | LOCAL
- | MATCH
- | CASE
- | DOC String
- | EOF

Documentation

parseFuthark :: FilePath -> Text -> Either ParseError UncheckedProg Source #

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

parseExp :: FilePath -> Text -> Either ParseError UncheckedExp Source #

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

parseModExp :: FilePath -> Text -> Either ParseError (ModExpBase NoInfo Name) Source #

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

parseType :: FilePath -> Text -> Either ParseError UncheckedTypeExp Source #

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

parseValue :: FilePath -> Text -> Either ParseError Value Source #

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

parseValues :: FilePath -> Text -> Either ParseError [Value] Source #

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 ParseError (Either UncheckedDec UncheckedExp)) Source #

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

data ParseError Source #

A parse error. Use show to get a human-readable description.

Constructors

ParseError String

Instances

Instances details

Show ParseError Source #
Instance details Defined in Language.Futhark.Parser.Parser Methods showsPrec :: Int -> ParseError -> ShowS # show :: ParseError -> String # showList :: [ParseError] -> ShowS #

scanTokensText :: Pos -> Text -> Either String ([L Token], Pos) Source #

Given a starting position, produce tokens from the given text (or a lexer error). Returns the final position.

data L a Source #

A value tagged with a source location.

Constructors

L SrcLoc a

Instances

Instances details

Eq a => Eq (L a) Source #
Instance details Defined in Language.Futhark.Parser.Lexer Methods (==) :: L a -> L a -> Bool # (/=) :: L a -> L a -> Bool #
Show a => Show (L a) Source #
Instance details Defined in Language.Futhark.Parser.Lexer Methods showsPrec :: Int -> L a -> ShowS # show :: L a -> String # showList :: [L a] -> ShowS #
Located (L a) Source #
Instance details Defined in Language.Futhark.Parser.Lexer Methods locOf :: L a -> Loc # locOfList :: [L a] -> Loc #

data Token Source #

A lexical token. It does not itself contain position information, so in practice the parser will consume tokens tagged with a source position.

Constructors

ID Name
INDEXING Name
QUALINDEXING [Name] Name
QUALPAREN [Name] Name
UNOP Name
QUALUNOP [Name] Name
SYMBOL BinOp [Name] Name
CONSTRUCTOR Name
PROJ_INTFIELD Name
INTLIT Integer
STRINGLIT String
I8LIT Int8
I16LIT Int16
I32LIT Int32
I64LIT Int64
U8LIT Word8
U16LIT Word16
U32LIT Word32
U64LIT Word64
FLOATLIT Double
F32LIT Float
F64LIT Double
CHARLIT Char
COLON
COLON_GT
BACKSLASH
APOSTROPHE
APOSTROPHE_THEN_HAT
APOSTROPHE_THEN_TILDE
BACKTICK
HASH_LBRACKET
DOT
TWO_DOTS
TWO_DOTS_LT
TWO_DOTS_GT
THREE_DOTS
LPAR
RPAR
RPAR_THEN_LBRACKET
LBRACKET
RBRACKET
LCURLY
RCURLY
COMMA
UNDERSCORE
RIGHT_ARROW
EQU
ASTERISK
NEGATE
LTH
HAT
TILDE
PIPE
IF
THEN
ELSE
LET
LOOP
IN
FOR
DO
WITH
ASSERT
TRUE
FALSE
WHILE
INCLUDE
IMPORT
ENTRY
TYPE
MODULE
VAL
OPEN
LOCAL
MATCH
CASE
DOC String
EOF

Instances

Instances details

Eq Token Source #
Instance details Defined in Language.Futhark.Parser.Lexer Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Ord Token Source #
Instance details Defined in Language.Futhark.Parser.Lexer Methods compare :: Token -> Token -> Ordering # (<) :: Token -> Token -> Bool # (<=) :: Token -> Token -> Bool # (>) :: Token -> Token -> Bool # (>=) :: Token -> Token -> Bool # max :: Token -> Token -> Token # min :: Token -> Token -> Token #
Show Token Source #
Instance details Defined in Language.Futhark.Parser.Lexer Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #