Web.Simple.Templates.Types

Types and helpers to encode the language AST

Documentation

newtype Function

A funcation that's callable from inside a template

Constructors

Function

Fields

• call :: [Value] -> Value

class ToFunction a where

Methods

toFunction :: a -> Function

Instances

FromJSON a => ToFunction (a -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a -> Value) -> Function

(FromJSON a1, FromJSON a2) => ToFunction (a1 -> a2 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> Value) -> Function

(FromJSON a1, FromJSON a2, FromJSON a3) => ToFunction (a1 -> a2 -> a3 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> a3 -> Value) -> Function

(FromJSON a1, FromJSON a2, FromJSON a3, FromJSON a4) => ToFunction (a1 -> a2 -> a3 -> a4 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> a3 -> a4 -> Value) -> Function

(FromJSON a1, FromJSON a2, FromJSON a3, FromJSON a4, FromJSON a5) => ToFunction (a1 -> a2 -> a3 -> a4 -> a5 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> a3 -> a4 -> a5 -> Value) -> Function

(FromJSON a1, FromJSON a2, FromJSON a3, FromJSON a4, FromJSON a5, FromJSON a6) => ToFunction (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> Value) -> Function

(FromJSON a1, FromJSON a2, FromJSON a3, FromJSON a4, FromJSON a5, FromJSON a6, FromJSON a7) => ToFunction (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> Value) -> Function

(FromJSON a1, FromJSON a2, FromJSON a3, FromJSON a4, FromJSON a5, FromJSON a6, FromJSON a7, FromJSON a8) => ToFunction (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> Value)

Defined in Web.Simple.Templates.Types

Methods

toFunction :: (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> Value) -> Function

fromJSONStrict :: FromJSON a => Value -> a

Like fromJSON but throws an error if there is a parse failure.

type FunctionMap = HashMap Identifier Function

newtype Template

A compiled template is a function that takes a FunctionMap and a global aeson Value and renders the template.

Constructors

Template

Fields

• renderTemplate :: FunctionMap -> Value -> Text

Instances

Monoid Template

Defined in Web.Simple.Templates.Types

Methods

mempty :: Template

mappend :: Template -> Template -> Template

mconcat :: [Template] -> Template

Semigroup Template

Defined in Web.Simple.Templates.Types

Methods

(<>) :: Template -> Template -> Template

sconcat :: NonEmpty Template -> Template

stimes :: Integral b => b -> Template -> Template

type Identifier = Text

A symbol identifier following the format [a-z][a-zA-Z0-9_-]*

data AST

ASTs encode the various types of expressions in the language.

Constructors

ASTRoot [AST]

A series of sub-ASTs

ASTLiteral Value

A literal that does not require evaluation

ASTFunc Identifier [AST]

A function call and list of arguments

ASTVar Identifier

Variable dereference

ASTIndex AST [Identifier]

Nested index into an object

ASTArray (Vector AST)

A literal array (may contain non-literals)

ASTIf AST AST (Maybe AST)

If - condition, true branch and optional false branch

ASTFor (Maybe Identifier) Identifier AST AST (Maybe AST)

for([k,]v in expr) body separator

Instances

Show AST

Defined in Web.Simple.Templates.Types

Methods

showsPrec :: Int -> AST -> ShowS

show :: AST -> String

showList :: [AST] -> ShowS

Eq AST

Defined in Web.Simple.Templates.Types

Methods

(==) :: AST -> AST -> Bool

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

fromLiteral :: ToJSON a => a -> AST

Lift a ToJSON to an ASTLiteral

astListToArray :: [AST] -> AST