Text.EDE.Filters

The means to construct your own filters.

Prelude

The default filters available to a template are documented by the subsequent categories.

These filters cannot be overriden and attempting to supply your own filters to renderWith will cause the similarly named filters to disappear when they are merged with the prelude during evaluation. (See: union)

Boolean

• ! :: Bool -> Bool (See: not)
• && :: Bool -> Bool -> Bool
• || :: Bool -> Bool -> Bool

Equality

• == :: a -> a -> Bool
• != :: a -> a -> Bool (See: /=)

Relational

• > :: a -> a -> Bool
• >= :: a -> a -> Bool
• <= :: a -> a -> Bool
• <= :: a -> a -> Bool

Numeric

• + :: Scientific -> Scientific -> Scientific
• - :: Scientific -> Scientific -> Scientific
• * :: Scientific -> Scientific -> Scientific
• abs :: Scientific -> Scientific
• signum :: Scientific -> Scientific
• negate :: Scientific -> Scientific

Fractional

• truncate :: Scientific -> Scientific
• round :: Scientific -> Scientific
• ceiling :: Scientific -> Scientific
• floor :: Scientific -> Scientific

Textual

• takeWord :: Text -> Text
• dropWord :: Text -> Text
• lowerHead :: Text -> Text
• upperHead :: Text -> Text
• toTitle :: Text -> Text
• toCamel :: Text -> Text
• toPascal :: Text -> Text
• toSnake :: Text -> Text
• toSpinal :: Text -> Text
• toTrain :: Text -> Text
• toLower :: Text -> Text
• toUpper :: Text -> Text
• toOrdinal :: Scientific -> Text

Collection

• length :: Collection -> Scientific (See: Text.length, Vector.length, HashMap.size)
• empty :: Collection -> Bool (See: Text:null, Vector.null, HashMap.null)

Polymorphic

• show :: a -> Text

Constructing filters

data Term

A HOAS representation of (possibly partially applied) values in the environment.

Constructors

TVal !Value

TLam (Term -> Result Term)

Instances

Pretty Term

Quote Term

Classes

class Quote a where

Minimal complete definition

Nothing

Methods

quote :: Id -> Int -> a -> Term

Instances

Quote Bool

Quote Double

Quote Int

Quote Integer

Quote Value

Quote Object

Quote Array

Quote Text

Quote Text

Quote Scientific

Quote Builder

Quote Term

Quote [Value]

Quote [Text]

(Unquote a, Quote b) => Quote (a -> b)

class Unquote a where

Minimal complete definition

Nothing

Methods

unquote :: Id -> Int -> Term -> Result a

Instances

Unquote Bool

Unquote Double

Unquote Int

Unquote Integer

Unquote Value

Unquote Object

Unquote Array

Unquote Text

Unquote Text

Unquote Scientific

Unquote [Text]

Restricted quoters

(@:) :: Quote a => Id -> a -> (Id, Term)

qapply :: Delta -> Term -> Term -> Result Term

Fully apply two Terms.

qpoly2 :: Quote a => Id -> (Value -> Value -> a) -> (Id, Term)

Quote a binary function which takes the most general binding value.

qnum1 :: Id -> (Scientific -> Scientific) -> (Id, Term)

Quote an unary numeric function.

qnum2 :: Quote a => Id -> (Scientific -> Scientific -> a) -> (Id, Term)

Quote a binary numeric function.

qcol1 :: (Quote a, Quote b, Quote c) => Id -> (Text -> a) -> (Object -> b) -> (Array -> c) -> (Id, Term)

Quote a comprehensive set of unary functions to create a binding that supports all collection types.

Errors

typeErr :: Id -> Int -> Doc -> Doc -> Result a

argumentErr :: Pretty a => Id -> Int -> a -> Result b