Dhall.Parser.Expression

Parsing Dhall expressions.

Documentation

getSourcePos :: MonadParsec e s m => m SourcePos

Get the current source position

getOffset :: MonadParsec e s m => m Int

Get the current source offset (in tokens)

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

Set the current source offset

src :: Parser a -> Parser Src

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

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

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)

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)

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

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

Constructors

Parsers

Fields

• completeExpression_ :: Parser (Expr Src a)
• importExpression_ :: Parser (Expr Src a)

parsers :: Parser a -> Parsers a

Given a parser for imports,

env :: Parser ImportType

Parse an environment variable import

This corresponds to the env rule from the official grammar

localOnly :: Parser ImportType

Parse a local import without trailing whitespace

local :: Parser ImportType

Parse a local import

This corresponds to the local rule from the official grammar

http :: Parser ImportType

Parse an HTTP(S) import

This corresponds to the http rule from the official grammar

missing :: Parser ImportType

Parse a Missing import

This corresponds to the missing rule from the official grammar

importType_ :: Parser ImportType

Parse an ImportType

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

importHash_ :: Parser SHA256Digest

Parse a SHA256Digest

This corresponds to the hash rule from the official grammar

importHashed_ :: Parser ImportHashed

Parse an ImportHashed

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

import_ :: Parser Import

Parse an Import

This corresponds to the import rule from the official grammar

splitOn :: Text -> Text -> NonEmpty Text

Same as Data.Text.splitOn, except always returning a NonEmpty result

linesLiteral :: Chunks s a -> NonEmpty (Chunks s a)

Split Chunks by lines

unlinesLiteral :: NonEmpty (Chunks s a) -> Chunks s a

Flatten several Chunks back into a single Chunks by inserting newlines

emptyLine :: Chunks s a -> Bool

Returns True if the Chunks represents a blank line

leadingSpaces :: Chunks s a -> Text

Return the leading whitespace for a Chunks literal

dropLiteral :: Int -> Chunks s a -> Chunks s a

Drop the first n characters for a Chunks literal

toDoubleQuoted :: Chunks Src a -> Chunks Src a

Convert a single-quoted Chunks literal to the equivalent double-quoted Chunks literal