dhall-1.28.0: A configuration language guaranteed to terminate

Safe Haskell	None
Language	Haskell2010

Dhall.Parser.Expression

Description

Parsing Dhall expressions.

Synopsis

getSourcePos :: MonadParsec e s m => m SourcePos
getOffset :: MonadParsec e s m => m Int
setOffset :: MonadParsec e s m => Int -> m ()
src :: Parser a -> Parser Src
noted :: Parser (Expr Src a) -> Parser (Expr Src a)
completeExpression :: Parser a -> Parser (Expr Src a)
importExpression :: Parser a -> Parser (Expr Src a)
data Parsers a = Parsers {
- completeExpression_ :: Parser (Expr Src a)
- importExpression_ :: Parser (Expr Src a)
}
parsers :: Parser a -> Parsers a
env :: Parser ImportType
localOnly :: Parser ImportType
local :: Parser ImportType
http :: Parser ImportType
missing :: Parser ImportType
importType_ :: Parser ImportType
importHash_ :: Parser SHA256Digest
importHashed_ :: Parser ImportHashed
import_ :: Parser Import
splitOn :: Text -> Text -> NonEmpty Text
linesLiteral :: Chunks s a -> NonEmpty (Chunks s a)
unlinesLiteral :: NonEmpty (Chunks s a) -> Chunks s a
emptyLine :: Chunks s a -> Bool
leadingSpaces :: Chunks s a -> Text
dropLiteral :: Int -> Chunks s a -> Chunks s a
toDoubleQuoted :: Chunks Src a -> Chunks Src a

Documentation

getSourcePos :: MonadParsec e s m => m SourcePos Source #

Get the current source position

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

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

Constructors

Parsers
Fields completeExpression_ :: Parser (Expr Src a) importExpression_ :: Parser (Expr Src a)

parsers :: 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

splitOn :: Text -> Text -> NonEmpty Text Source #

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

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

Split Chunks by lines

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

Flatten several Chunks back into a single Chunks by inserting newlines

emptyLine :: Chunks s a -> Bool Source #

Returns True if the Chunks represents a blank line

leadingSpaces :: Chunks s a -> Text Source #

Return the leading whitespace for a Chunks literal

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

Drop the first n characters for a Chunks literal

toDoubleQuoted :: Chunks Src a -> Chunks Src a Source #

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