Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduledhall-1.42.3Haskell2010

Dhall.Parser.Expression

Parsing Dhall expressions.

2 types
23 values

Packagedhall-1.42.3
Exports25
LanguageHaskell2010
LicenceBSD-3-Clause
SourceExpression.hs

valuegetOffset :: MonadParsec e s m => m Int

Get the current source offset (in tokens)

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

Set the current source offset

valuesrc :: Parser a -> Parser Src

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

valuesrcAnd :: Parser a -> Parser (Src, a)

Same as src, except also return the parsed value

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

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

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

datadata 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
- completeExpression_ :: Parser (Expr Src a)
- importExpression_ :: Parser (Expr Src a)
- letBinding :: Parser (Binding Src a)

valuetimeNumOffset :: Parser (Expr s a)

Parse a numeric TimeZone

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

valuetimeOffset :: Parser (Expr s a)

Parse a numeric TimeZone or a Z

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

valuepartialTime :: Parser (Expr s a)

Parse a Time

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

valuefullDate :: Parser (Expr s a)

Parse a Date

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

valuetemporalLiteral :: Parser (Expr s a)

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

valueshebang :: Parser ()

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

valueparsers :: Parser a -> Parsers a

Given a parser for imports,

valueenv :: Parser ImportType

Parse an environment variable import

This corresponds to the env rule from the official grammar

valuelocalOnly :: Parser ImportType

Parse a local import without trailing whitespace

valuelocal :: Parser ImportType

Parse a local import

This corresponds to the local rule from the official grammar

valuehttp :: Parser ImportType

Parse an HTTP(S) import

This corresponds to the http rule from the official grammar

valuemissing :: Parser ImportType

Parse a Missing import

This corresponds to the missing rule from the official grammar

valueimportType_ :: Parser ImportType

Parse an ImportType

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

valueimportHash_ :: Parser SHA256Digest

Parse a SHA256Digest

This corresponds to the hash rule from the official grammar

valueimportHashed_ :: Parser ImportHashed

Parse an ImportHashed

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

valueimport_ :: Parser Import

Parse an Import

This corresponds to the import rule from the official grammar

datadata ApplicationExprInfo

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.