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

Parsers

expr :: Parser (Expr Src Path)

Parser for a top-level Dhall expression

exprA :: Show a => 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

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

(*>) :: 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 ()