ede-0.3.2.0: Templating language with similar syntax and features to Liquid or Jinja2.
Copyright(c) 2013-2020 Brendan Hay <brendan.g.hay@gmail.com>
LicenseThis Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. A copy of the MPL can be found in the LICENSE file or you can obtain it at http://mozilla.org/MPL/2.0/.
MaintainerBrendan Hay <brendan.g.hay@gmail.com>
Stabilityexperimental
Portabilitynon-portable (GHC extensions)
Safe HaskellNone
LanguageHaskell2010

Text.EDE.Internal.Parser

Description

Warning: this is an internal module, and does not have a stable API or name. Functions in this module may not check or enforce preconditions expected by public modules. Use at your own risk!

Documentation

data Env Source #

Constructors

Env 

Fields

Instances

Instances details
HasSyntax Env Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

syntax :: Lens' Env Syntax Source #

delimBlock :: Lens' Env Delim Source #

delimComment :: Lens' Env Delim Source #

delimInline :: Lens' Env Delim Source #

delimPragma :: Lens' Env Delim Source #

Errable (StateT Env EDE) Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

raiseErr :: Err -> StateT Env EDE a #

settings :: Lens' Env Syntax Source #

includes :: Lens' Env (HashMap Text (NonEmpty Delta)) Source #

type Parser m = (Monad m, MonadFail m, MonadState Env m, TokenParsing m, DeltaParsing m, LookAheadParsing m, Errable m) Source #

newtype EDE a Source #

Constructors

EDE 

Fields

Instances

Instances details
Monad EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

(>>=) :: EDE a -> (a -> EDE b) -> EDE b #

(>>) :: EDE a -> EDE b -> EDE b #

return :: a -> EDE a #

Functor EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

fmap :: (a -> b) -> EDE a -> EDE b #

(<$) :: a -> EDE b -> EDE a #

MonadFail EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

fail :: String -> EDE a #

Applicative EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

pure :: a -> EDE a #

(<*>) :: EDE (a -> b) -> EDE a -> EDE b #

liftA2 :: (a -> b -> c) -> EDE a -> EDE b -> EDE c #

(*>) :: EDE a -> EDE b -> EDE b #

(<*) :: EDE a -> EDE b -> EDE a #

Alternative EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

empty :: EDE a #

(<|>) :: EDE a -> EDE a -> EDE a #

some :: EDE a -> EDE [a] #

many :: EDE a -> EDE [a] #

MonadPlus EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

mzero :: EDE a #

mplus :: EDE a -> EDE a -> EDE a #

TokenParsing EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

someSpace :: EDE () #

nesting :: EDE a -> EDE a #

semi :: EDE Char #

highlight :: Highlight -> EDE a -> EDE a #

token :: EDE a -> EDE a #

LookAheadParsing EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

lookAhead :: EDE a -> EDE a #

CharParsing EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

satisfy :: (Char -> Bool) -> EDE Char #

char :: Char -> EDE Char #

notChar :: Char -> EDE Char #

anyChar :: EDE Char #

string :: String -> EDE String #

text :: Text -> EDE Text #

Parsing EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

try :: EDE a -> EDE a #

(<?>) :: EDE a -> String -> EDE a #

skipMany :: EDE a -> EDE () #

skipSome :: EDE a -> EDE () #

unexpected :: String -> EDE a #

eof :: EDE () #

notFollowedBy :: Show a => EDE a -> EDE () #

DeltaParsing EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

line :: EDE ByteString #

position :: EDE Delta #

slicedWith :: (a -> ByteString -> r) -> EDE a -> EDE r #

rend :: EDE Rendering #

restOfLine :: EDE ByteString #

Errable EDE Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

raiseErr :: Err -> EDE a #

Errable (StateT Env EDE) Source # 
Instance details

Defined in Text.EDE.Internal.Parser

Methods

raiseErr :: Err -> StateT Env EDE a #

runParser :: Syntax -> Text -> ByteString -> Result (Exp Delta, HashMap Text (NonEmpty Delta)) Source #

pragma :: Parser m => m () Source #

document :: Parser m => m (Exp Delta) Source #

inline :: Parser m => m (Exp Delta) Source #

fragment :: Parser m => m (Exp Delta) Source #

statement :: Parser m => m (Exp Delta) Source #

block :: Parser m => String -> m a -> m a Source #

multiLine :: Parser m => m b -> m a -> m a Source #

singleLine :: Parser m => m b -> m a -> m a Source #

blankLine :: Parser m => m (Exp Delta) Source #

ifelif :: Parser m => m (Exp Delta) Source #

cases :: Parser m => m (Exp Delta) Source #

loop :: Parser m => m (Exp Delta) Source #

include :: Parser m => m (Exp Delta) Source #

binding :: Parser m => m (Exp Delta) Source #

raw :: Parser m => m (Exp Delta) Source #

comment :: Parser m => m (Exp Delta) Source #

else' :: Parser m => m (Maybe (Exp Delta)) Source #

exit :: Parser m => String -> m () Source #

pattern :: Parser m => m Pat Source #

term :: Parser m => m (Exp Delta) Source #

term0 :: Parser m => m (Exp Delta) Source #

filter' :: Parser m => m (Id, [Exp Delta]) Source #

collection :: Parser m => m (Exp Delta) Source #

literal :: Parser m => m Value Source #

number :: Parser m => m Scientific Source #

bool :: Parser m => m Bool Source #

object :: Parser m => m Object Source #

array :: Parser m => m Array Source #

operator :: Parser m => Text -> m Delta Source #

keyword :: Parser m => String -> m Delta Source #

variable :: (Monad m, TokenParsing m) => m Var Source #

identifier :: (Monad m, TokenParsing m) => m Id Source #

spaces :: (Monad m, TokenParsing m) => m () Source #

manyTill1 :: Alternative m => m a -> m b -> m [a] Source #

manyEndBy1 :: Alternative m => m a -> m a -> m [a] Source #

chainl1' :: Alternative m => m a -> m b -> m (a -> b -> a) -> m a Source #

ann :: (DeltaParsing m, Functor f) => m (f (Fix f)) -> m (Cofree f Delta) Source #

pack :: Functor f => f String -> f Value Source #

triml :: Parser m => m a -> m a Source #

trimr :: Parser m => m a -> m a Source #

pragmak :: Parser m => String -> m () Source #

pragmal :: Parser m => m String Source #

pragmar :: Parser m => m String Source #

commentl :: MonadState Env m => m String Source #

commentr :: MonadState Env m => m String Source #

inlinel :: Parser m => m String Source #

inliner :: Parser m => m String Source #

blockl :: Parser m => m String Source #

blockr :: Parser m => m String Source #

left :: MonadState s m => Getter s Delim -> m String Source #

right :: MonadState s m => Getter s Delim -> m String Source #