Safe Haskell	None
Language	Haskell2010

Language.Ginger.AST

Synopsis

newtype Identifier = Identifier {
- identifierName :: Text
}
isValidIdentifier :: Text -> Bool
identifierLeadChars :: [Char]
identifierChars :: [Char]
newtype Encoded = Encoded {
- encoded :: Text
}
data Template = Template {
- templateParent :: !(Maybe Text)
- templateBody :: !Statement
}
data Block = Block {
- blockBody :: !Statement
- blockScoped :: !Scoped
- blockRequired :: !Required
}
data SetTarget
- = SetVar !Identifier
- | SetMutable !Identifier !Identifier
data Statement
- = PositionedS !SourcePosition !Statement
- | ImmediateS !Encoded
- | InterpolationS !Expr
- | CommentS !Text
- | ForS !(Maybe Identifier) !Identifier !Expr !(Maybe Expr) !Recursivity !Statement !(Maybe Statement)
- | IfS !Expr !Statement !(Maybe Statement)
- | MacroS !Identifier ![MacroArg] !Statement
- | CallS !Identifier ![Expr] ![(Identifier, Expr)] !Statement
- | FilterS !Identifier ![Expr] ![(Identifier, Expr)] !Statement
- | SetS !SetTarget !Expr
- | SetBlockS !SetTarget !Statement !(Maybe Expr)
- | IncludeS !Expr !IncludeMissingPolicy !IncludeContextPolicy
- | ImportS !Expr !(Maybe Identifier) !(Maybe [(Identifier, Maybe Identifier)]) !IncludeMissingPolicy !IncludeContextPolicy
- | BlockS !Identifier !Block
- | WithS ![(Identifier, Expr)] !Statement
- | GroupS ![Statement]
data IncludeMissingPolicy
- = RequireMissing
- | IgnoreMissing
data IncludeContextPolicy
- = WithContext
- | WithoutContext
escapeComment :: Statement -> Statement
arbitraryStatement :: Set Identifier -> Gen Statement
class Boolish a where
- is :: a -> Bool
isNot :: Boolish a => a -> Bool
data Scoped
- = NotScoped
- | Scoped
data Required
- = Optional
- | Required
data Recursivity
- = NotRecursive
- | Recursive
type MacroArg = (Identifier, Maybe Expr)
data Expr
- = PositionedE !SourcePosition !Expr
- | NoneE
- | BoolE !Bool
- | StringLitE !Text
- | IntLitE !Integer
- | FloatLitE !Double
- | StatementE !Statement
- | ListE !(Vector Expr)
- | DictE ![(Expr, Expr)]
- | UnaryE !UnaryOperator !Expr
- | BinaryE !BinaryOperator !Expr !Expr
- | SliceE !Expr !(Maybe Expr) !(Maybe Expr)
- | DotE !Expr !Identifier
- | IsE !Expr !Expr ![Expr] ![(Identifier, Expr)]
- | CallE !Expr ![Expr] ![(Identifier, Expr)]
- | FilterE !Expr !Expr ![Expr] ![(Identifier, Expr)]
- | TernaryE !Expr !Expr !Expr
- | VarE !Identifier
pattern TrueE :: Expr
pattern FalseE :: Expr
arbitraryExpr :: Set Identifier -> Gen Expr
data UnaryOperator
- = UnopNot
- | UnopNegate
pattern NotE :: Expr -> Expr
pattern NegateE :: Expr -> Expr
data BinaryOperator
- = BinopPlus
- | BinopMinus
- | BinopDiv
- | BinopIntDiv
- | BinopMod
- | BinopMul
- | BinopPower
- | BinopEqual
- | BinopNotEqual
- | BinopGT
- | BinopGTE
- | BinopLT
- | BinopLTE
- | BinopAnd
- | BinopOr
- | BinopIn
- | BinopIndex
- | BinopConcat
pattern PlusE :: Expr -> Expr -> Expr
pattern MinusE :: Expr -> Expr -> Expr
pattern DivE :: Expr -> Expr -> Expr
pattern IntDivE :: Expr -> Expr -> Expr
pattern ModE :: Expr -> Expr -> Expr
pattern MulE :: Expr -> Expr -> Expr
pattern PowerE :: Expr -> Expr -> Expr
pattern EqualE :: Expr -> Expr -> Expr
pattern NotEqualE :: Expr -> Expr -> Expr
pattern GT_E :: Expr -> Expr -> Expr
pattern GTE_E :: Expr -> Expr -> Expr
pattern LT_E :: Expr -> Expr -> Expr
pattern LTE_E :: Expr -> Expr -> Expr
pattern AndE :: Expr -> Expr -> Expr
pattern OrE :: Expr -> Expr -> Expr
pattern InE :: Expr -> Expr -> Expr
pattern IndexE :: Expr -> Expr -> Expr
pattern ConcatE :: Expr -> Expr -> Expr
fuelledList :: Gen a -> Gen [a]
traverseS :: (Statement -> Statement) -> (Expr -> Expr) -> Statement -> Statement
traverseE :: (Expr -> Expr) -> (Statement -> Statement) -> Expr -> Expr

Documentation

newtype Identifier Source #

Identifiers are used to represent variable names and object fields.

Constructors

Identifier
Fields identifierName :: Text

Instances

Instances details

Arbitrary Identifier Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Identifier # shrink :: Identifier -> [Identifier] #
FromJSON Identifier Source #
Instance details Defined in Language.Ginger.AST Methods parseJSON :: Value -> Parser Identifier # parseJSONList :: Value -> Parser [Identifier] # omittedField :: Maybe Identifier #
FromJSONKey Identifier Source #
Instance details Defined in Language.Ginger.AST Methods fromJSONKey :: FromJSONKeyFunction Identifier # fromJSONKeyList :: FromJSONKeyFunction [Identifier] #
ToJSON Identifier Source #
Instance details Defined in Language.Ginger.AST Methods toJSON :: Identifier -> Value # toEncoding :: Identifier -> Encoding # toJSONList :: [Identifier] -> Value # toEncodingList :: [Identifier] -> Encoding # omitField :: Identifier -> Bool #
ToJSONKey Identifier Source #
Instance details Defined in Language.Ginger.AST Methods toJSONKey :: ToJSONKeyFunction Identifier # toJSONKeyList :: ToJSONKeyFunction [Identifier] #
IsString Identifier Source #
Instance details Defined in Language.Ginger.AST Methods fromString :: String -> Identifier #
Show Identifier Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Eq Identifier Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Ord Identifier Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Identifier -> Identifier -> Ordering # (<) :: Identifier -> Identifier -> Bool # (<=) :: Identifier -> Identifier -> Bool # (>) :: Identifier -> Identifier -> Bool # (>=) :: Identifier -> Identifier -> Bool # max :: Identifier -> Identifier -> Identifier # min :: Identifier -> Identifier -> Identifier #
RenderSyntax Identifier Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Identifier -> Builder Source #
ToScalar Identifier Source #
Instance details Defined in Language.Ginger.Value Methods toScalar :: Identifier -> Scalar Source #
Applicative m => FromValue Identifier m Source #
Instance details Defined in Language.Ginger.Value Methods fromValue :: Value m -> m (Either RuntimeError Identifier) Source #
ToValue Identifier a Source #
Instance details Defined in Language.Ginger.Value Methods toValue :: Identifier -> Value a Source #

isValidIdentifier :: Text -> Bool Source #

identifierLeadChars :: [Char] Source #

identifierChars :: [Char] Source #

newtype Encoded Source #

Represents an encoded string value, as opposed to a raw (unencoded) string, which we represent as a plain Text.

Constructors

Encoded
Fields encoded :: Text

Instances

Instances details

Arbitrary Encoded Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Encoded # shrink :: Encoded -> [Encoded] #
Monoid Encoded Source #
Instance details Defined in Language.Ginger.AST Methods mempty :: Encoded # mappend :: Encoded -> Encoded -> Encoded # mconcat :: [Encoded] -> Encoded #
Semigroup Encoded Source #
Instance details Defined in Language.Ginger.AST Methods (<>) :: Encoded -> Encoded -> Encoded # sconcat :: NonEmpty Encoded -> Encoded # stimes :: Integral b => b -> Encoded -> Encoded #
Show Encoded Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Encoded -> ShowS # show :: Encoded -> String # showList :: [Encoded] -> ShowS #
Eq Encoded Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Encoded -> Encoded -> Bool # (/=) :: Encoded -> Encoded -> Bool #
Ord Encoded Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Encoded -> Encoded -> Ordering # (<) :: Encoded -> Encoded -> Bool # (<=) :: Encoded -> Encoded -> Bool # (>) :: Encoded -> Encoded -> Bool # (>=) :: Encoded -> Encoded -> Bool # max :: Encoded -> Encoded -> Encoded # min :: Encoded -> Encoded -> Encoded #

data Template Source #

A template consists of an optional parent template (specified in the source using the {% extends %} construct), and a body statement.

Constructors

Template
Fields templateParent :: !(Maybe Text) templateBody :: !Statement

Instances

Instances details

Show Template Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Template -> ShowS # show :: Template -> String # showList :: [Template] -> ShowS #
Eq Template Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Template -> Template -> Bool # (/=) :: Template -> Template -> Bool #
RenderSyntax Template Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Template -> Builder Source #
Monad m => Eval m Template Source #
Instance details Defined in Language.Ginger.Interpret.Eval Methods eval :: Template -> GingerT m (Value m) Source #

data Block Source #

A block represents a section of a template that can be overridden in derived templates ("template inheritance").

Constructors

Block
Fields blockBody :: !Statement blockScoped :: !Scoped blockRequired :: !Required

Instances

Instances details

Show Block Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Eq Block Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Ord Block Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Block -> Block -> Ordering # (<) :: Block -> Block -> Bool # (<=) :: Block -> Block -> Bool # (>) :: Block -> Block -> Bool # (>=) :: Block -> Block -> Bool # max :: Block -> Block -> Block # min :: Block -> Block -> Block #

data SetTarget Source #

Constructors

SetVar !Identifier
SetMutable !Identifier !Identifier

Instances

Instances details

Show SetTarget Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> SetTarget -> ShowS # show :: SetTarget -> String # showList :: [SetTarget] -> ShowS #
Eq SetTarget Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: SetTarget -> SetTarget -> Bool # (/=) :: SetTarget -> SetTarget -> Bool #
Ord SetTarget Source #
Instance details Defined in Language.Ginger.AST Methods compare :: SetTarget -> SetTarget -> Ordering # (<) :: SetTarget -> SetTarget -> Bool # (<=) :: SetTarget -> SetTarget -> Bool # (>) :: SetTarget -> SetTarget -> Bool # (>=) :: SetTarget -> SetTarget -> Bool # max :: SetTarget -> SetTarget -> SetTarget # min :: SetTarget -> SetTarget -> SetTarget #
RenderSyntax SetTarget Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: SetTarget -> Builder Source #

data Statement Source #

A statement in the template language.

Constructors

PositionedS !SourcePosition !Statement	Statement tagged with a source position
ImmediateS !Encoded	Bare text written in the template, outside of any curly braces
InterpolationS !Expr	An expression interpolation: `{{ expr }}`
CommentS !Text	Comment: `{# comment text #}`
ForS !(Maybe Identifier) !Identifier !Expr !(Maybe Expr) !Recursivity !Statement !(Maybe Statement)	@@`{% for keyVar, valueVar in iteree if loopCondition recursive %} body {% else %} body if empty {% endfor %}`@@
IfS !Expr !Statement !(Maybe Statement)	{% if condition %}yes branch{% else %}no branch{% endif %}
MacroS !Identifier ![MacroArg] !Statement	{% macro name(args) %}body{% endmacro %}
CallS !Identifier ![Expr] ![(Identifier, Expr)] !Statement	{% call macroName(args) %}body{% endcall %}
FilterS !Identifier ![Expr] ![(Identifier, Expr)] !Statement	{% filter filterName(args, kwargs) %}body{% endfilter %}
SetS !SetTarget !Expr	{% set name=expr %}
SetBlockS !SetTarget !Statement !(Maybe Expr)	{% set name %}body{% endset %}
IncludeS !Expr !IncludeMissingPolicy !IncludeContextPolicy	{% include includee ignore missing with context %}
ImportS !Expr !(Maybe Identifier) !(Maybe [(Identifier, Maybe Identifier)]) !IncludeMissingPolicy !IncludeContextPolicy	{% import importee as localName item, other_item as other ignore missing with context %}
BlockS !Identifier !Block	{% block name with scope required %}body{% endblock %}
WithS ![(Identifier, Expr)] !Statement	{% with defs %}body{% endwith %}
GroupS ![Statement]	Group of statements; not parsed, but needed for combining statements sequentially.

Instances

Instances details

Arbitrary Statement Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Statement # shrink :: Statement -> [Statement] #
Show Statement Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Eq Statement Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
Ord Statement Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Statement -> Statement -> Ordering # (<) :: Statement -> Statement -> Bool # (<=) :: Statement -> Statement -> Bool # (>) :: Statement -> Statement -> Bool # (>=) :: Statement -> Statement -> Bool # max :: Statement -> Statement -> Statement # min :: Statement -> Statement -> Statement #
RenderSyntax Statement Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Statement -> Builder Source #
Monad m => Eval m Statement Source #
Instance details Defined in Language.Ginger.Interpret.Eval Methods eval :: Statement -> GingerT m (Value m) Source #

data IncludeMissingPolicy Source #

Constructors

RequireMissing
IgnoreMissing

Instances

Instances details

Arbitrary IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen IncludeMissingPolicy # shrink :: IncludeMissingPolicy -> [IncludeMissingPolicy] #
Bounded IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: IncludeMissingPolicy # maxBound :: IncludeMissingPolicy #
Enum IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.AST Methods succ :: IncludeMissingPolicy -> IncludeMissingPolicy # pred :: IncludeMissingPolicy -> IncludeMissingPolicy # toEnum :: Int -> IncludeMissingPolicy # fromEnum :: IncludeMissingPolicy -> Int # enumFrom :: IncludeMissingPolicy -> [IncludeMissingPolicy] # enumFromThen :: IncludeMissingPolicy -> IncludeMissingPolicy -> [IncludeMissingPolicy] # enumFromTo :: IncludeMissingPolicy -> IncludeMissingPolicy -> [IncludeMissingPolicy] # enumFromThenTo :: IncludeMissingPolicy -> IncludeMissingPolicy -> IncludeMissingPolicy -> [IncludeMissingPolicy] #
Show IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> IncludeMissingPolicy -> ShowS # show :: IncludeMissingPolicy -> String # showList :: [IncludeMissingPolicy] -> ShowS #
Eq IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: IncludeMissingPolicy -> IncludeMissingPolicy -> Bool # (/=) :: IncludeMissingPolicy -> IncludeMissingPolicy -> Bool #
Ord IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.AST Methods compare :: IncludeMissingPolicy -> IncludeMissingPolicy -> Ordering # (<) :: IncludeMissingPolicy -> IncludeMissingPolicy -> Bool # (<=) :: IncludeMissingPolicy -> IncludeMissingPolicy -> Bool # (>) :: IncludeMissingPolicy -> IncludeMissingPolicy -> Bool # (>=) :: IncludeMissingPolicy -> IncludeMissingPolicy -> Bool # max :: IncludeMissingPolicy -> IncludeMissingPolicy -> IncludeMissingPolicy # min :: IncludeMissingPolicy -> IncludeMissingPolicy -> IncludeMissingPolicy #
RenderSyntax IncludeMissingPolicy Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: IncludeMissingPolicy -> Builder Source #

data IncludeContextPolicy Source #

Constructors

WithContext
WithoutContext

Instances

Instances details

Arbitrary IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen IncludeContextPolicy # shrink :: IncludeContextPolicy -> [IncludeContextPolicy] #
Bounded IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: IncludeContextPolicy # maxBound :: IncludeContextPolicy #
Enum IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.AST Methods succ :: IncludeContextPolicy -> IncludeContextPolicy # pred :: IncludeContextPolicy -> IncludeContextPolicy # toEnum :: Int -> IncludeContextPolicy # fromEnum :: IncludeContextPolicy -> Int # enumFrom :: IncludeContextPolicy -> [IncludeContextPolicy] # enumFromThen :: IncludeContextPolicy -> IncludeContextPolicy -> [IncludeContextPolicy] # enumFromTo :: IncludeContextPolicy -> IncludeContextPolicy -> [IncludeContextPolicy] # enumFromThenTo :: IncludeContextPolicy -> IncludeContextPolicy -> IncludeContextPolicy -> [IncludeContextPolicy] #
Show IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> IncludeContextPolicy -> ShowS # show :: IncludeContextPolicy -> String # showList :: [IncludeContextPolicy] -> ShowS #
Eq IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: IncludeContextPolicy -> IncludeContextPolicy -> Bool # (/=) :: IncludeContextPolicy -> IncludeContextPolicy -> Bool #
Ord IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.AST Methods compare :: IncludeContextPolicy -> IncludeContextPolicy -> Ordering # (<) :: IncludeContextPolicy -> IncludeContextPolicy -> Bool # (<=) :: IncludeContextPolicy -> IncludeContextPolicy -> Bool # (>) :: IncludeContextPolicy -> IncludeContextPolicy -> Bool # (>=) :: IncludeContextPolicy -> IncludeContextPolicy -> Bool # max :: IncludeContextPolicy -> IncludeContextPolicy -> IncludeContextPolicy # min :: IncludeContextPolicy -> IncludeContextPolicy -> IncludeContextPolicy #
RenderSyntax IncludeContextPolicy Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: IncludeContextPolicy -> Builder Source #

escapeComment :: Statement -> Statement Source #

arbitraryStatement :: Set Identifier -> Gen Statement Source #

class Boolish a where Source #

Methods

is :: a -> Bool Source #

Instances

Instances details

Boolish Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods is :: Recursivity -> Bool Source #
Boolish Required Source #
Instance details Defined in Language.Ginger.AST Methods is :: Required -> Bool Source #
Boolish Scoped Source #
Instance details Defined in Language.Ginger.AST Methods is :: Scoped -> Bool Source #

isNot :: Boolish a => a -> Bool Source #

data Scoped Source #

Constructors

NotScoped
Scoped

Instances

Instances details

Arbitrary Scoped Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Scoped # shrink :: Scoped -> [Scoped] #
Bounded Scoped Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: Scoped # maxBound :: Scoped #
Enum Scoped Source #
Instance details Defined in Language.Ginger.AST Methods succ :: Scoped -> Scoped # pred :: Scoped -> Scoped # toEnum :: Int -> Scoped # fromEnum :: Scoped -> Int # enumFrom :: Scoped -> [Scoped] # enumFromThen :: Scoped -> Scoped -> [Scoped] # enumFromTo :: Scoped -> Scoped -> [Scoped] # enumFromThenTo :: Scoped -> Scoped -> Scoped -> [Scoped] #
Read Scoped Source #
Instance details Defined in Language.Ginger.AST Methods readsPrec :: Int -> ReadS Scoped # readList :: ReadS [Scoped] # readPrec :: ReadPrec Scoped # readListPrec :: ReadPrec [Scoped] #
Show Scoped Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Scoped -> ShowS # show :: Scoped -> String # showList :: [Scoped] -> ShowS #
Eq Scoped Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Scoped -> Scoped -> Bool # (/=) :: Scoped -> Scoped -> Bool #
Ord Scoped Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Scoped -> Scoped -> Ordering # (<) :: Scoped -> Scoped -> Bool # (<=) :: Scoped -> Scoped -> Bool # (>) :: Scoped -> Scoped -> Bool # (>=) :: Scoped -> Scoped -> Bool # max :: Scoped -> Scoped -> Scoped # min :: Scoped -> Scoped -> Scoped #
Boolish Scoped Source #
Instance details Defined in Language.Ginger.AST Methods is :: Scoped -> Bool Source #
RenderSyntax Scoped Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Scoped -> Builder Source #

data Required Source #

Constructors

Optional
Required

Instances

Instances details

Arbitrary Required Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Required # shrink :: Required -> [Required] #
Bounded Required Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: Required # maxBound :: Required #
Enum Required Source #
Instance details Defined in Language.Ginger.AST Methods succ :: Required -> Required # pred :: Required -> Required # toEnum :: Int -> Required # fromEnum :: Required -> Int # enumFrom :: Required -> [Required] # enumFromThen :: Required -> Required -> [Required] # enumFromTo :: Required -> Required -> [Required] # enumFromThenTo :: Required -> Required -> Required -> [Required] #
Read Required Source #
Instance details Defined in Language.Ginger.AST Methods readsPrec :: Int -> ReadS Required # readList :: ReadS [Required] # readPrec :: ReadPrec Required # readListPrec :: ReadPrec [Required] #
Show Required Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Required -> ShowS # show :: Required -> String # showList :: [Required] -> ShowS #
Eq Required Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Required -> Required -> Bool # (/=) :: Required -> Required -> Bool #
Ord Required Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Required -> Required -> Ordering # (<) :: Required -> Required -> Bool # (<=) :: Required -> Required -> Bool # (>) :: Required -> Required -> Bool # (>=) :: Required -> Required -> Bool # max :: Required -> Required -> Required # min :: Required -> Required -> Required #
Boolish Required Source #
Instance details Defined in Language.Ginger.AST Methods is :: Required -> Bool Source #
RenderSyntax Required Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Required -> Builder Source #

data Recursivity Source #

Constructors

NotRecursive
Recursive

Instances

Instances details

Arbitrary Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Recursivity # shrink :: Recursivity -> [Recursivity] #
Bounded Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: Recursivity # maxBound :: Recursivity #
Enum Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods succ :: Recursivity -> Recursivity # pred :: Recursivity -> Recursivity # toEnum :: Int -> Recursivity # fromEnum :: Recursivity -> Int # enumFrom :: Recursivity -> [Recursivity] # enumFromThen :: Recursivity -> Recursivity -> [Recursivity] # enumFromTo :: Recursivity -> Recursivity -> [Recursivity] # enumFromThenTo :: Recursivity -> Recursivity -> Recursivity -> [Recursivity] #
Read Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods readsPrec :: Int -> ReadS Recursivity # readList :: ReadS [Recursivity] # readPrec :: ReadPrec Recursivity # readListPrec :: ReadPrec [Recursivity] #
Show Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Recursivity -> ShowS # show :: Recursivity -> String # showList :: [Recursivity] -> ShowS #
Eq Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Recursivity -> Recursivity -> Bool # (/=) :: Recursivity -> Recursivity -> Bool #
Ord Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Recursivity -> Recursivity -> Ordering # (<) :: Recursivity -> Recursivity -> Bool # (<=) :: Recursivity -> Recursivity -> Bool # (>) :: Recursivity -> Recursivity -> Bool # (>=) :: Recursivity -> Recursivity -> Bool # max :: Recursivity -> Recursivity -> Recursivity # min :: Recursivity -> Recursivity -> Recursivity #
Boolish Recursivity Source #
Instance details Defined in Language.Ginger.AST Methods is :: Recursivity -> Bool Source #

type MacroArg = (Identifier, Maybe Expr) Source #

data Expr Source #

An expression. Expressions can occur in interpolations ({{ ... }}), and in various places inside statements.

Constructors

PositionedE !SourcePosition !Expr
NoneE
BoolE !Bool
StringLitE !Text
IntLitE !Integer
FloatLitE !Double
StatementE !Statement
ListE !(Vector Expr)
DictE ![(Expr, Expr)]
UnaryE !UnaryOperator !Expr	@UnaryE op rhs
BinaryE !BinaryOperator !Expr !Expr	@BinaryE op lhs rhs
SliceE !Expr !(Maybe Expr) !(Maybe Expr)	@SliceE slicee start length
DotE !Expr !Identifier	@DotE lhs rhs
IsE !Expr !Expr ![Expr] ![(Identifier, Expr)]	IsE scrutinee test args kwargs
CallE !Expr ![Expr] ![(Identifier, Expr)]	CallE callee args kwargs
FilterE !Expr !Expr ![Expr] ![(Identifier, Expr)]	FilterE arg0 filter args kwargs
TernaryE !Expr !Expr !Expr	TernaryE cond yes no
VarE !Identifier

Instances

Instances details

Arbitrary Expr Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen Expr # shrink :: Expr -> [Expr] #
Show Expr Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Eq Expr Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Ord Expr Source #
Instance details Defined in Language.Ginger.AST Methods compare :: Expr -> Expr -> Ordering # (<) :: Expr -> Expr -> Bool # (<=) :: Expr -> Expr -> Bool # (>) :: Expr -> Expr -> Bool # (>=) :: Expr -> Expr -> Bool # max :: Expr -> Expr -> Expr # min :: Expr -> Expr -> Expr #
RenderSyntax Expr Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: Expr -> Builder Source #
Monad m => Eval m Expr Source #
Instance details Defined in Language.Ginger.Interpret.Eval Methods eval :: Expr -> GingerT m (Value m) Source #

pattern TrueE :: Expr Source #

pattern FalseE :: Expr Source #

arbitraryExpr :: Set Identifier -> Gen Expr Source #

data UnaryOperator Source #

Constructors

UnopNot
UnopNegate

Instances

Instances details

Bounded UnaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: UnaryOperator # maxBound :: UnaryOperator #
Enum UnaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods succ :: UnaryOperator -> UnaryOperator # pred :: UnaryOperator -> UnaryOperator # toEnum :: Int -> UnaryOperator # fromEnum :: UnaryOperator -> Int # enumFrom :: UnaryOperator -> [UnaryOperator] # enumFromThen :: UnaryOperator -> UnaryOperator -> [UnaryOperator] # enumFromTo :: UnaryOperator -> UnaryOperator -> [UnaryOperator] # enumFromThenTo :: UnaryOperator -> UnaryOperator -> UnaryOperator -> [UnaryOperator] #
Show UnaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> UnaryOperator -> ShowS # show :: UnaryOperator -> String # showList :: [UnaryOperator] -> ShowS #
Eq UnaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: UnaryOperator -> UnaryOperator -> Bool # (/=) :: UnaryOperator -> UnaryOperator -> Bool #
Ord UnaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods compare :: UnaryOperator -> UnaryOperator -> Ordering # (<) :: UnaryOperator -> UnaryOperator -> Bool # (<=) :: UnaryOperator -> UnaryOperator -> Bool # (>) :: UnaryOperator -> UnaryOperator -> Bool # (>=) :: UnaryOperator -> UnaryOperator -> Bool # max :: UnaryOperator -> UnaryOperator -> UnaryOperator # min :: UnaryOperator -> UnaryOperator -> UnaryOperator #

pattern NotE :: Expr -> Expr Source #

pattern NegateE :: Expr -> Expr Source #

data BinaryOperator Source #

Constructors

BinopPlus
BinopMinus
BinopDiv
BinopIntDiv
BinopMod
BinopMul
BinopPower
BinopEqual
BinopNotEqual
BinopGT
BinopGTE
BinopLT
BinopLTE
BinopAnd
BinopOr
BinopIn
BinopIndex
BinopConcat

Instances

Instances details

Arbitrary BinaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods arbitrary :: Gen BinaryOperator # shrink :: BinaryOperator -> [BinaryOperator] #
Bounded BinaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods minBound :: BinaryOperator # maxBound :: BinaryOperator #
Enum BinaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods succ :: BinaryOperator -> BinaryOperator # pred :: BinaryOperator -> BinaryOperator # toEnum :: Int -> BinaryOperator # fromEnum :: BinaryOperator -> Int # enumFrom :: BinaryOperator -> [BinaryOperator] # enumFromThen :: BinaryOperator -> BinaryOperator -> [BinaryOperator] # enumFromTo :: BinaryOperator -> BinaryOperator -> [BinaryOperator] # enumFromThenTo :: BinaryOperator -> BinaryOperator -> BinaryOperator -> [BinaryOperator] #
Show BinaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods showsPrec :: Int -> BinaryOperator -> ShowS # show :: BinaryOperator -> String # showList :: [BinaryOperator] -> ShowS #
Eq BinaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods (==) :: BinaryOperator -> BinaryOperator -> Bool # (/=) :: BinaryOperator -> BinaryOperator -> Bool #
Ord BinaryOperator Source #
Instance details Defined in Language.Ginger.AST Methods compare :: BinaryOperator -> BinaryOperator -> Ordering # (<) :: BinaryOperator -> BinaryOperator -> Bool # (<=) :: BinaryOperator -> BinaryOperator -> Bool # (>) :: BinaryOperator -> BinaryOperator -> Bool # (>=) :: BinaryOperator -> BinaryOperator -> Bool # max :: BinaryOperator -> BinaryOperator -> BinaryOperator # min :: BinaryOperator -> BinaryOperator -> BinaryOperator #
RenderSyntax BinaryOperator Source #
Instance details Defined in Language.Ginger.Render Methods renderSyntax :: BinaryOperator -> Builder Source #