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 Source #

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

Constructors

TVal !Value
TLam (Term -> Result Term)

Instances

Pretty Term Source #
Methods pretty :: Term -> Doc # prettyList :: [Term] -> Doc #
Quote Term Source #
Methods quote :: Id -> Int -> Term -> Term Source #

Classes

class Quote a where Source #

Methods

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

quote :: ToJSON a => Id -> Int -> a -> Term Source #

Instances

Quote Bool Source #
Methods quote :: Id -> Int -> Bool -> Term Source #
Quote Double Source #
Methods quote :: Id -> Int -> Double -> Term Source #
Quote Int Source #
Methods quote :: Id -> Int -> Int -> Term Source #
Quote Integer Source #
Methods quote :: Id -> Int -> Integer -> Term Source #
Quote Builder Source #
Methods quote :: Id -> Int -> Builder -> Term Source #
Quote Scientific Source #
Methods quote :: Id -> Int -> Scientific -> Term Source #
Quote Text Source #
Methods quote :: Id -> Int -> Text -> Term Source #
Quote Object Source #
Methods quote :: Id -> Int -> Object -> Term Source #
Quote Array Source #
Methods quote :: Id -> Int -> Array -> Term Source #
Quote Value Source #
Methods quote :: Id -> Int -> Value -> Term Source #
Quote Text Source #
Methods quote :: Id -> Int -> Text -> Term Source #
Quote Term Source #
Methods quote :: Id -> Int -> Term -> Term Source #
Quote [Text] Source #
Methods quote :: Id -> Int -> [Text] -> Term Source #
Quote [Value] Source #
Methods quote :: Id -> Int -> [Value] -> Term Source #
(Unquote a, Quote b) => Quote (a -> b) Source #
Methods quote :: Id -> Int -> (a -> b) -> Term Source #

class Unquote a where Source #

Methods

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

unquote :: FromJSON a => Id -> Int -> Term -> Result a Source #

Instances

Unquote Bool Source #
Methods unquote :: Id -> Int -> Term -> Result Bool Source #
Unquote Double Source #
Methods unquote :: Id -> Int -> Term -> Result Double Source #
Unquote Int Source #
Methods unquote :: Id -> Int -> Term -> Result Int Source #
Unquote Integer Source #
Methods unquote :: Id -> Int -> Term -> Result Integer Source #
Unquote Scientific Source #
Methods unquote :: Id -> Int -> Term -> Result Scientific Source #
Unquote Text Source #
Methods unquote :: Id -> Int -> Term -> Result Text Source #
Unquote Object Source #
Methods unquote :: Id -> Int -> Term -> Result Object Source #
Unquote Array Source #
Methods unquote :: Id -> Int -> Term -> Result Array Source #
Unquote Value Source #
Methods unquote :: Id -> Int -> Term -> Result Value Source #
Unquote Text Source #
Methods unquote :: Id -> Int -> Term -> Result Text Source #
Unquote [Text] Source #
Methods unquote :: Id -> Int -> Term -> Result [Text] Source #

Restricted quoters

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

qapply :: Delta -> Term -> Term -> Result Term Source #

Fully apply two Terms.

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

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

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

Quote an unary numeric function.

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

Quote a binary numeric function.

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

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

Errors

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

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