Language.Futhark.Primitive.Parse

Parsers for primitive values and types.

Documentation

pPrimValue :: Parsec Void Text PrimValue

Defined in this module for convenience.

pPrimType :: Parsec Void Text PrimType

Parse a primitive type.

pFloatType :: Parsec Void Text FloatType

Parse a floating-point type.

pIntType :: Parsec Void Text IntType

Parse an integer type.

Building blocks

constituent :: Char -> Bool

Is this character a valid member of an identifier?

lexeme :: Parsec Void Text a -> Parsec Void Text a

Consume whitespace after the provided parser, if it succeeds.

keyword :: Text -> Parsec Void Text ()

keyword k parses k, which must not be immediately followed by a constituent character. This ensures that iff is not seen as the if keyword followed by f. Sometimes called the "maximum munch" rule.

whitespace :: Parsec Void Text ()

Consume whitespace (including skipping line comments).