Dhall.Parser.Token · dhall-1.42.3

valueendOfLine :: Parser Text

#

Match an end-of-line character sequence

valuevalidCodepoint :: Int -> Bool

#

Returns True if the given Int is a valid Unicode codepoint

valuewhitespace :: Parser ()

#

Parse 0 or more whitespace characters (including comments)

This corresponds to the whsp rule in the official grammar

valuelineComment :: Parser Text

#

Parse a Dhall's single-line comment, starting from -- and until the last character of the line before the end-of-line character

valuelineCommentPrefix :: Parser Text

#

Same as lineComment except that this doesn't parse the end-of-line character

valueblockComment :: Parser Text

#

Parsed text doesn't include opening braces

valuenonemptyWhitespace :: Parser ()

#

Parse 1 or more whitespace characters (including comments)

This corresponds to the whsp1 rule in the official grammar

valuebashEnvironmentVariable :: Parser Text

#

Parse a valid Bash environment variable name

This corresponds to the bash-environment-variable rule in the official grammar

valueposixEnvironmentVariable :: Parser Text

#

Parse a valid POSIX environment variable name, which permits a wider range of characters than a Bash environment variable name

This corresponds to the posix-environment-variable rule in the official grammar

datadata ComponentType

#

The pathComponent function uses this type to distinguish whether to parse a URL path component or a file path component

URLComponent FileComponent

valuetext :: Text -> Parser Text

#

A variation on text that doesn't quote the expected in error messages

valuechar :: Char -> Parser Char

#

A variation on char that doesn't quote the expected token in error messages

valuefile_ :: ComponentType -> Parser File

#

Parse a File

valuelabel :: Parser Text

#

Parse a label (e.g. a variable/field/alternative name)

Rejects labels that match built-in names (e.g. Natural/even)

This corresponds to the nonreserved-label rule in the official grammar

valueanyLabelOrSome :: Parser Text

#

Same as anyLabel except that Some is allowed

This corresponds to the any-label-or-some rule in the official grammar

valueanyLabel :: Parser Text

#

Same as label except that built-in names are allowed

This corresponds to the any-label rule in the official grammar

valuelabels :: Parser [Text]

#

Parse a braced sequence of comma-separated labels

For example, this is used to parse the record projection syntax

This corresponds to the labels rule in the official grammar

valuehttpRaw :: Parser URL

#

Parse an HTTP(S) URL without trailing whitespace

This corresponds to the http-raw rule in the official grammar

valuehexdig :: Char -> Bool

#

Parse a hex digit (uppercase or lowercase)

This corresponds to the HEXDIG rule in the official grammar

valueidentifier :: Parser Var

#

Parse an identifier (i.e. a variable or built-in)

Variables can have an optional index to disambiguate shadowed variables

This corresponds to the identifier rule from the official grammar

valuehexNumber :: Parser Int

#

Parse a hexademical number and convert to the corresponding Int

valuesignPrefix :: Num a => Parser (a -> a)

#

Parse a leading + or - sign

valuedoubleLiteral :: Parser Double

#

Parse a Double literal

This corresponds to the double-literal rule from the official grammar

valuedoubleInfinity :: Parser Double

#

Parse a signed Infinity

This corresponds to the minus-infinity-literal and plus-infinity-literal rules from the official grammar

valuenaturalLiteral :: Parser Natural

#

Parse a Natural literal

This corresponds to the natural-literal rule from the official grammar

valueintegerLiteral :: Parser Integer

#

Parse an Integer literal

This corresponds to the integer-literal rule from the official grammar

valuedateFullYear :: Parser Integer

#

Parse a 4-digit year

This corresponds to the date-fullyear rule from the official grammar

valuedateMonth :: Parser Int

#

Parse a 2-digit month

This corresponds to the date-month rule from the official grammar

valuedateMday :: Parser Int

#

Parse a 2-digit day of the month

This corresponds to the date-mday rule from the official grammar

valuetimeHour :: Parser Int

#

Parse a 2-digit hour

This corresponds to the time-hour rule from the official grammar

valuetimeMinute :: Parser Int

#

Parse a 2-digit minute

This corresponds to the time-minute rule from the official grammar

valuetimeSecond :: Parser Pico

#

Parse a 2-digit second

This corresponds to the time-second rule from the official grammar

valuetimeSecFrac :: Parser (Pico, Word)

#

Parse the fractional component of a second

This corresponds to the time-secfrac rule from the official grammar

value_Optional :: Parser ()

#

Parse the Optional built-in

This corresponds to the Optional rule from the official grammar

value_if :: Parser ()

#

Parse the if keyword

This corresponds to the if rule from the official grammar

value_then :: Parser ()

#

Parse the then keyword

This corresponds to the then rule from the official grammar

value_else :: Parser ()

#

Parse the else keyword

This corresponds to the else rule from the official grammar

value_let :: Parser ()

#

Parse the let keyword

This corresponds to the let rule from the official grammar

value_in :: Parser ()

#

Parse the in keyword

This corresponds to the in rule from the official grammar

value_as :: Parser ()

#

Parse the as keyword

This corresponds to the as rule from the official grammar

value_using :: Parser ()

#

Parse the using keyword

This corresponds to the using rule from the official grammar

value_merge :: Parser ()

#

Parse the merge keyword

This corresponds to the merge rule from the official grammar

value_toMap :: Parser ()

#

Parse the toMap keyword

This corresponds to the toMap rule from the official grammar

value_showConstructor :: Parser ()

#

Parse the showConstructor keyword

This corresponds to the showConstructor rule from the official grammar

value_assert :: Parser ()

#

Parse the assert keyword

This corresponds to the assert rule from the official grammar

value_Some :: Parser ()

#

Parse the Some built-in

This corresponds to the Some rule from the official grammar

value_None :: Parser ()

#

Parse the None built-in

This corresponds to the None rule from the official grammar

value_NaturalFold :: Parser ()

#

Parse the Natural/fold built-in

This corresponds to the Natural-fold rule from the official grammar

value_NaturalBuild :: Parser ()

#

Parse the Natural/build built-in

This corresponds to the Natural-build rule from the official grammar

value_NaturalIsZero :: Parser ()

#

Parse the Natural/isZero built-in

This corresponds to the Natural-isZero rule from the official grammar

value_NaturalEven :: Parser ()

#

Parse the Natural/even built-in

This corresponds to the Natural-even rule from the official grammar

value_NaturalOdd :: Parser ()

#

Parse the Natural/odd built-in

This corresponds to the Natural-odd rule from the official grammar

value_NaturalToInteger :: Parser ()

#

Parse the Natural/toInteger built-in

This corresponds to the Natural-toInteger rule from the official grammar

value_NaturalShow :: Parser ()

#

Parse the Natural/show built-in

This corresponds to the Natural-show rule from the official grammar

value_NaturalSubtract :: Parser ()

#

Parse the Natural/subtract built-in

This corresponds to the Natural-subtract rule from the official grammar

value_IntegerClamp :: Parser ()

#

Parse the Integer/clamp built-in

This corresponds to the Integer-clamp rule from the official grammar

value_IntegerNegate :: Parser ()

#

Parse the Integer/negate built-in

This corresponds to the Integer-negate rule from the official grammar

value_IntegerShow :: Parser ()

#

Parse the Integer/show built-in

This corresponds to the Integer-show rule from the official grammar

value_IntegerToDouble :: Parser ()

#

Parse the Integer/toDouble built-in

This corresponds to the Integer-toDouble rule from the official grammar

value_DoubleShow :: Parser ()

#

Parse the Double/show built-in

This corresponds to the Double-show rule from the official grammar

value_ListBuild :: Parser ()

#

Parse the List/build built-in

This corresponds to the List-build rule from the official grammar

value_ListFold :: Parser ()

#

Parse the List/fold built-in

This corresponds to the List-fold rule from the official grammar

value_ListLength :: Parser ()

#

Parse the List/length built-in

This corresponds to the List-length rule from the official grammar

value_ListHead :: Parser ()

#

Parse the List/head built-in

This corresponds to the List-head rule from the official grammar

value_ListLast :: Parser ()

#

Parse the List/last built-in

This corresponds to the List-last rule from the official grammar

value_ListIndexed :: Parser ()

#

Parse the List/indexed built-in

This corresponds to the List-indexed rule from the official grammar

value_ListReverse :: Parser ()

#

Parse the List/reverse built-in

This corresponds to the List-reverse rule from the official grammar

value_Bool :: Parser ()

#

Parse the Bool built-in

This corresponds to the Bool rule from the official grammar

value_Bytes :: Parser ()

#

Parse the Bytes built-in

This corresponds to the Bytes rule from the official grammar

value_Natural :: Parser ()

#

Parse the Natural built-in

This corresponds to the Natural rule from the official grammar

value_Integer :: Parser ()

#

Parse the Integer built-in

This corresponds to the Integer rule from the official grammar

value_Double :: Parser ()

#

Parse the Double built-in

This corresponds to the Double rule from the official grammar

value_Text :: Parser ()

#

Parse the Text built-in

This corresponds to the Text rule from the official grammar

value_TextReplace :: Parser ()

#

Parse the Text/replace built-in

This corresponds to the Text-replace rule from the official grammar

value_TextShow :: Parser ()

#

Parse the Text/show built-in

This corresponds to the Text-show rule from the official grammar

value_Date :: Parser ()

#

Parse the Date bult-in

This corresponds to the Date rule from the official grammar

value_DateShow :: Parser ()

#

Parse the Date/show built-in

This corresponds to the Date-show rule from the official grammar

value_Time :: Parser ()

#

Parse the Time bult-in

This corresponds to the Time rule from the official grammar

value_TimeShow :: Parser ()

#

Parse the Time/show built-in

This corresponds to the Time-show rule from the official grammar

value_TimeZone :: Parser ()

#

Parse the TimeZone bult-in

This corresponds to the TimeZone rule from the official grammar

value_TimeZoneShow :: Parser ()

#

Parse the TimeZone/show built-in

This corresponds to the TimeZone-show rule from the official grammar

value_List :: Parser ()

#

Parse the List built-in

This corresponds to the List rule from the official grammar

value_True :: Parser ()

#

Parse the True built-in

This corresponds to the True rule from the official grammar

value_False :: Parser ()

#

Parse the False built-in

This corresponds to the False rule from the official grammar

value_NaN :: Parser ()

#

Parse a NaN literal

This corresponds to the NaN rule from the official grammar

value_Type :: Parser ()

#

Parse the Type built-in

This corresponds to the Type rule from the official grammar

value_Kind :: Parser ()

#

Parse the Kind built-in

This corresponds to the Kind rule from the official grammar

value_Sort :: Parser ()

#

Parse the Sort built-in

This corresponds to the Sort rule from the official grammar

value_Location :: Parser ()

#

Parse the Location keyword

This corresponds to the Location rule from the official grammar

value_equal :: Parser ()

#

Parse the = symbol

value_or :: Parser ()

#

Parse the || symbol

value_plus :: Parser ()

#

Parse the + symbol

value_textAppend :: Parser ()

#

Parse the ++ symbol

value_listAppend :: Parser ()

#

Parse the # symbol

value_and :: Parser ()

#

Parse the && symbol

value_times :: Parser ()

#

Parse the * symbol

value_doubleEqual :: Parser ()

#

Parse the == symbol

value_notEqual :: Parser ()

#

Parse the != symbol

value_dot :: Parser ()

#

Parse the . symbol

value_openBrace :: Parser ()

#

Parse the { symbol

value_closeBrace :: Parser ()

#

Parse the } symbol

value_openBracket :: Parser ()

#

Parse the [] symbol

value_closeBracket :: Parser ()

#

Parse the ] symbol

value_openAngle :: Parser ()

#

Parse the < symbol

value_closeAngle :: Parser ()

#

Parse the > symbol

value_bar :: Parser ()

#

Parse the | symbol

value_comma :: Parser ()

#

Parse the , symbol

value_openParens :: Parser ()

#

Parse the ( symbol

value_closeParens :: Parser ()

#

Parse the ) symbol

value_colon :: Parser ()

#

Parse the : symbol

value_at :: Parser ()

#

Parse the @ symbol

value_equivalent :: Parser CharacterSet

#

Parse the equivalence symbol (=== or ≡)

value_missing :: Parser ()

#

Parse the missing keyword

value_importAlt :: Parser ()

#

Parse the ? symbol

value_combine :: Parser CharacterSet

#

Parse the record combine operator (/\ or ∧)

value_combineTypes :: Parser CharacterSet

#

Parse the record type combine operator (//\\ or ⩓)

value_prefer :: Parser CharacterSet

#

Parse the record "prefer" operator (// or ⫽)

value_lambda :: Parser CharacterSet

#

Parse a lambda (\ or λ)

value_forall :: Parser CharacterSet

#

Parse a forall (forall or ∀)

value_arrow :: Parser CharacterSet

#

Parse a right arrow (-> or →)

value_doubleColon :: Parser ()

#

Parse a double colon (::)

value_with :: Parser ()

#

Parse the with keyword