Dhall.Parser

This module contains Dhall's parsing logic

Utilities

exprFromText :: Delta -> Text -> Either ParseError (Expr Src Path)

Parse an expression from Text containing a Dhall program

exprAndHeaderFromText :: Delta -> Text -> Either ParseError (Text, Expr Src Path)

Like 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
 2

Then this will preserve Comment 1, but not Comment 2

This is used by dhall-format to preserve leading comments and whitespace

Parsers

expr :: Parser (Expr Src Path)

Parser for a top-level Dhall expression

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

Parser for a top-level Dhall expression. The expression is parameterized over any parseable type, allowing the language to be extended as needed.

Types

data Src

Source code extract

Constructors

Src Delta Delta ByteString

Instances

Eq Src

Methods

(==) :: Src -> Src -> Bool

(/=) :: Src -> Src -> Bool

Show Src

Methods

showsPrec :: Int -> Src -> ShowS

show :: Src -> String

showList :: [Src] -> ShowS

Buildable Src

Methods

build :: Src -> Builder

newtype ParseError

A parsing error

Constructors

ParseError Doc

Instances

Show ParseError

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Exception ParseError

Methods

toException :: ParseError -> SomeException

fromException :: SomeException -> Maybe ParseError

displayException :: ParseError -> String

newtype Parser a

A Parser that is almost identical to Text.Trifecta.Parser except treating Haskell-style comments as whitespace

Constructors

Parser

Fields

• unParser :: Parser a

Instances

Monad Parser

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

fail :: String -> Parser a

Functor Parser

Methods

fmap :: (a -> b) -> Parser a -> Parser b

(<$) :: a -> Parser b -> Parser a

Applicative Parser

Methods

pure :: a -> Parser a

(<*>) :: Parser (a -> b) -> Parser a -> Parser b

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c

(*>) :: Parser a -> Parser b -> Parser b

(<*) :: Parser a -> Parser b -> Parser a

Alternative Parser

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

MonadPlus Parser

Methods

mzero :: Parser a

mplus :: Parser a -> Parser a -> Parser a

TokenParsing Parser

Methods

someSpace :: Parser ()

nesting :: Parser a -> Parser a

semi :: Parser Char

highlight :: Highlight -> Parser a -> Parser a

token :: Parser a -> Parser a

CharParsing Parser

Methods

satisfy :: (Char -> Bool) -> Parser Char

char :: Char -> Parser Char

notChar :: Char -> Parser Char

anyChar :: Parser Char

string :: String -> Parser String

text :: Text -> Parser Text

Parsing Parser

Methods

try :: Parser a -> Parser a

(<?>) :: Parser a -> String -> Parser a

skipMany :: Parser a -> Parser ()

skipSome :: Parser a -> Parser ()

unexpected :: String -> Parser a

eof :: Parser ()

notFollowedBy :: Show a => Parser a -> Parser ()

DeltaParsing Parser

Methods

line :: Parser ByteString

position :: Parser Delta

slicedWith :: (a -> ByteString -> r) -> Parser a -> Parser r

rend :: Parser Rendering

restOfLine :: Parser ByteString

MarkParsing Delta Parser

Methods

mark :: Parser Delta

release :: Delta -> Parser ()

IsString a => IsString (Parser a)

Methods

fromString :: String -> Parser a

Semigroup a => Semigroup (Parser a)

Methods

(<>) :: Parser a -> Parser a -> Parser a

sconcat :: NonEmpty (Parser a) -> Parser a

stimes :: Integral b => b -> Parser a -> Parser a

(Semigroup a, Monoid a) => Monoid (Parser a)

Methods

mempty :: Parser a

mappend :: Parser a -> Parser a -> Parser a

mconcat :: [Parser a] -> Parser a