value
exprFromText Parse an expression from Text containing a Dhall program
Moduledhall-1.42.3Haskell2010
Dhall.Parser
This module contains Dhall's parsing logic
- 5 types
- 6 values
- Packagedhall-1.42.3
- Exports11
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceParser.hs
Utilities
4 declarationsLike exprFromText but also returns the leading comments and whitespace (i.e. header) up to the last newline before the code begins
In other words, if you have a Dhall file of the form:
-- Comment 1
{- Comment -} 2Then this will preserve Comment 1, but not Comment 2
This is used by dhall-format to preserve leading comments and whitespace
Replace the source code with spaces when rendering error messages
This utility is used to implement the --censor flag
Create a header with stripped leading spaces and trailing newlines
Parsers
2 declarationsParser for a top-level Dhall expression
Deprecated. Support for parsing custom imports will be dropped in a future release
Parser for a top-level Dhall expression. The expression is parameterized over any parseable type, allowing the language to be extended as needed.
Types
5 declarationsA header corresponds to the leading comment at the top of a Dhall file.
The header includes comment characters but is stripped of leading spaces and trailing newlines
Instances9Eq, Data, Ord, Show, Generic, NFData, …
Eq SrcDefined in dhall-1.42.3 · Dhall.SrcData SrcDefined in dhall-1.42.3 · Dhall.SrcOrd SrcDefined in dhall-1.42.3 · Dhall.SrcShow SrcDefined in dhall-1.42.3 · Dhall.SrcGeneric SrcDefined in dhall-1.42.3 · Dhall.SrcNFData SrcDefined in dhall-1.42.3 · Dhall.SrcPretty SrcDefined in dhall-1.42.3 · Dhall.SrcLift SrcDefined in dhall-1.42.3 · Dhall.Srctype Rep Src = D1 ('MetaDataDefined in dhall-1.42.3 · Dhall.Src"Src"
"Dhall.Src"
"dhall-1.42.3-5OoAJpk2vIpARwiStLO8GU"
'False) (C1 ('MetaCons"Src"
'PrefixI 'True) (S1 ('MetaSel ('Just"srcStart"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: (S1 ('MetaSel ('Just"srcEnd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: S1 ('MetaSel ('Just"srcText"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))
An exception annotated with a Src span
Constructors
Instances2Show, Exception
Show e => Show (SourcedException e)Defined in dhall-1.42.3 · Dhall.Parser.CombinatorsException e => Exception (SourcedException e)Defined in dhall-1.42.3 · Dhall.Parser.Combinators
A parsing error
Constructors
Instances2Show, Exception
Show ParseErrorDefined in dhall-1.42.3 · Dhall.ParserException ParseErrorDefined in dhall-1.42.3 · Dhall.Parser
A Parser that is almost identical to
Text.Megaparsec.Parsec except treating Haskell-style
comments as whitespace
Instances13Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus, …
Monad ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsFunctor ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsMonadFail ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsApplicative ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsAlternative ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsMonadPlus ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsCharParsing ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsParsing ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsTokenParsing ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsMonadParsec Void Text ParserDefined in dhall-1.42.3 · Dhall.Parser.CombinatorsIsString a => IsString (Parser a)Defined in dhall-1.42.3 · Dhall.Parser.CombinatorsSemigroup a => Semigroup (Parser a)Defined in dhall-1.42.3 · Dhall.Parser.Combinators(Semigroup a, Monoid a) => Monoid (Parser a)Defined in dhall-1.42.3 · Dhall.Parser.Combinators