dhall-1.42.1: A configuration language guaranteed to terminate
Safe HaskellSafe-Inferred
LanguageHaskell2010

Dhall.Parser.Expression

Description

Parsing Dhall expressions.

Synopsis

Documentation

getOffset :: MonadParsec e s m => m Int Source #

Get the current source offset (in tokens)

setOffset :: MonadParsec e s m => Int -> m () Source #

Set the current source offset

src :: Parser a -> Parser Src Source #

Wrap a Parser to still match the same text but return only the Src span

srcAnd :: Parser a -> Parser (Src, a) Source #

Same as src, except also return the parsed value

noted :: Parser (Expr Src a) -> Parser (Expr Src a) Source #

Wrap a Parser to still match the same text, but to wrap the resulting Expr in a Note constructor containing the Src span

completeExpression :: Parser a -> Parser (Expr Src a) Source #

Parse a complete expression (with leading and trailing whitespace)

This corresponds to the complete-expression rule from the official grammar

importExpression :: Parser a -> Parser (Expr Src a) Source #

Parse an "import expression"

This is not the same thing as fmap Embed. This parses any expression of the same or higher precedence as an import expression (such as a selector expression). For example, this parses (1)

This corresponds to the import-expression rule from the official grammar

data Parsers a Source #

For efficiency (and simplicity) we only expose two parsers from the result of the parsers function, since these are the only parsers needed outside of this module

timeNumOffset :: Parser (Expr s a) Source #

Parse a numeric TimeZone

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

timeOffset :: Parser (Expr s a) Source #

Parse a numeric TimeZone or a Z

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

partialTime :: Parser (Expr s a) Source #

Parse a Time

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

fullDate :: Parser (Expr s a) Source #

Parse a Date

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

temporalLiteral :: Parser (Expr s a) Source #

Parse a Date, Time, TimeZone or any valid permutation of them as a record

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

shebang :: Parser () Source #

Parse a "shebang" line (i.e. an initial line beginning with #!)

parsers :: forall a. Parser a -> Parsers a Source #

Given a parser for imports,

env :: Parser ImportType Source #

Parse an environment variable import

This corresponds to the env rule from the official grammar

localOnly :: Parser ImportType Source #

Parse a local import without trailing whitespace

local :: Parser ImportType Source #

Parse a local import

This corresponds to the local rule from the official grammar

http :: Parser ImportType Source #

Parse an HTTP(S) import

This corresponds to the http rule from the official grammar

missing :: Parser ImportType Source #

Parse a Missing import

This corresponds to the missing rule from the official grammar

importType_ :: Parser ImportType Source #

Parse an ImportType

This corresponds to the import-type rule from the official grammar

importHash_ :: Parser SHA256Digest Source #

Parse a SHA256Digest

This corresponds to the hash rule from the official grammar

importHashed_ :: Parser ImportHashed Source #

Parse an ImportHashed

This corresponds to the import-hashed rule from the official grammar

import_ :: Parser Import Source #

Parse an Import

This corresponds to the import rule from the official grammar

data ApplicationExprInfo Source #

ApplicationExprInfo distinguishes certain subtypes of application expressions.

Constructors

NakedMergeOrSomeOrToMap

merge x y, Some x or toMap x, unparenthesized.

ImportExpr

An import expression.

ApplicationExpr

Any other application expression.