Safe Haskell	None
Language	Haskell2010

Text.EDE.Filters

Contents

Prelude
Constructing filters

Description

The means to construct your own filters.

Synopsis

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