Text.Mustache.Types

Types for the Parser / Template

type ASTree α = [Node α]

type STree = ASTree Text

Syntax tree for a mustache template

data Node α

Basic values composing the STree

Constructors

TextBlock α

Section DataIdentifier (ASTree α)

InvertedSection DataIdentifier (ASTree α)

Variable Bool DataIdentifier

Partial (Maybe α) FilePath

Instances

Lift α => Lift (Node α :: Type)

Defined in Text.Mustache.Internal.Types

Methods

lift :: Quote m => Node α -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Node α -> Code m (Node α)

Show α => Show (Node α)

Defined in Text.Mustache.Internal.Types

Methods

showsPrec :: Int -> Node α -> ShowS

show :: Node α -> String

showList :: [Node α] -> ShowS

Eq α => Eq (Node α)

Defined in Text.Mustache.Internal.Types

Methods

(==) :: Node α -> Node α -> Bool

(/=) :: Node α -> Node α -> Bool

ToMustache (Context Value -> STree -> STree)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> STree) -> Value

listToMustache :: [Context Value -> STree -> STree] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> String)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> String) -> Value

listToMustache :: [Context Value -> STree -> String] -> Value

ToMustache (STree -> SubM STree)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (STree -> SubM STree) -> Value

listToMustache :: [STree -> SubM STree] -> Value

ToMustache (STree -> SubM Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (STree -> SubM Text) -> Value

listToMustache :: [STree -> SubM Text] -> Value

data DataIdentifier

Kinds of identifiers for Variables and sections

Constructors

NamedData [Key]

Implicit

Instances

Show DataIdentifier

Defined in Text.Mustache.Internal.Types

Methods

showsPrec :: Int -> DataIdentifier -> ShowS

show :: DataIdentifier -> String

showList :: [DataIdentifier] -> ShowS

Eq DataIdentifier

Defined in Text.Mustache.Internal.Types

Methods

(==) :: DataIdentifier -> DataIdentifier -> Bool

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

Lift DataIdentifier

Defined in Text.Mustache.Internal.Types

Methods

lift :: Quote m => DataIdentifier -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => DataIdentifier -> Code m DataIdentifier

data Template

A compiled Template with metadata.

Constructors

Template

Fields

• name :: String
• ast :: STree
• partials :: TemplateCache

Instances

Show Template

Defined in Text.Mustache.Internal.Types

Methods

showsPrec :: Int -> Template -> ShowS

show :: Template -> String

showList :: [Template] -> ShowS

Lift Template

Defined in Text.Mustache.Internal.Types

Methods

lift :: Quote m => Template -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Template -> Code m Template

MonadReader (Context Value, TemplateCache) SubM

Defined in Text.Mustache.Internal.Types

Methods

ask :: SubM (Context Value, TemplateCache)

local :: ((Context Value, TemplateCache) -> (Context Value, TemplateCache)) -> SubM a -> SubM a

reader :: ((Context Value, TemplateCache) -> a) -> SubM a

type TemplateCache = HashMap String Template

A collection of templates with quick access via their hashed names

Types for the Substitution / Data

data Value

Internal value representation

Constructors

Object !Object

Array !Array

Number !Scientific

String !Text

Lambda (STree -> SubM STree)

Bool !Bool

Null

Instances

Show Value

Defined in Text.Mustache.Internal.Types

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

ToMustache Value

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Value -> Value

listToMustache :: [Value] -> Value

ToMustache (Context Value -> STree -> STree)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> STree) -> Value

listToMustache :: [Context Value -> STree -> STree] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> String)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> String) -> Value

listToMustache :: [Context Value -> STree -> String] -> Value

MonadReader (Context Value, TemplateCache) SubM

Defined in Text.Mustache.Internal.Types

Methods

ask :: SubM (Context Value, TemplateCache)

local :: ((Context Value, TemplateCache) -> (Context Value, TemplateCache)) -> SubM a -> SubM a

reader :: ((Context Value, TemplateCache) -> a) -> SubM a

type Key = Text

Type of key used for retrieving data from Values

Converting

object :: [Pair] -> Value

Convenience function for creating Object values.

This function is supposed to be used in conjuction with the ~> and ~= operators.

Examples

  data Address = Address { ... }

  instance Address ToJSON where
    ...

  data Person = Person { name :: String, address :: Address }

  instance ToMustache Person where
    toMustache (Person { name, address }) = object
      [ "name" ~> name
      , "address" ~= address
      ]

Here we can see that we can use the ~> operator for values that have themselves a ToMustache instance, or alternatively if they lack such an instance but provide an instance for the ToJSON typeclass we can use the ~= operator.

(~>) :: ToMustache ω => Text -> ω -> Pair infixr 8

Map keys to values that provide a ToMustache instance

Recommended in conjunction with the OverloadedStrings extension.

(↝) :: ToMustache ω => Text -> ω -> Pair infixr 8

Unicode version of ~>

(~=) :: ToJSON ι => Text -> ι -> Pair infixr 8

Map keys to values that provide a ToJSON instance

Recommended in conjunction with the OverloadedStrings extension.

(⥱) :: ToJSON ι => Text -> ι -> Pair infixr 8

Unicode version of ~=

class ToMustache ω

Conversion class

Minimal complete definition

toMustache

Instances

ToMustache Value

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Value -> Value0

listToMustache :: [Value] -> Value0

ToMustache Int16

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Int16 -> Value

listToMustache :: [Int16] -> Value

ToMustache Int32

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Int32 -> Value

listToMustache :: [Int32] -> Value

ToMustache Int64

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Int64 -> Value

listToMustache :: [Int64] -> Value

ToMustache Int8

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Int8 -> Value

listToMustache :: [Int8] -> Value

ToMustache Word16

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Word16 -> Value

listToMustache :: [Word16] -> Value

ToMustache Word32

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Word32 -> Value

listToMustache :: [Word32] -> Value

ToMustache Word64

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Word64 -> Value

listToMustache :: [Word64] -> Value

ToMustache Word8

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Word8 -> Value

listToMustache :: [Word8] -> Value

ToMustache Value

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Value -> Value

listToMustache :: [Value] -> Value

ToMustache Scientific

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Scientific -> Value

listToMustache :: [Scientific] -> Value

ToMustache Text

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Text -> Value

listToMustache :: [Text] -> Value

ToMustache Text

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Text -> Value

listToMustache :: [Text] -> Value

ToMustache Integer

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Integer -> Value

listToMustache :: [Integer] -> Value

ToMustache Natural

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Natural -> Value

listToMustache :: [Natural] -> Value

ToMustache ()

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: () -> Value

listToMustache :: [()] -> Value

ToMustache Bool

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Bool -> Value

listToMustache :: [Bool] -> Value

ToMustache Char

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Char -> Value

listToMustache :: [Char] -> Value

ToMustache Double

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Double -> Value

listToMustache :: [Double] -> Value

ToMustache Float

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Float -> Value

listToMustache :: [Float] -> Value

ToMustache Int

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Int -> Value

listToMustache :: [Int] -> Value

ToMustache Word

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Word -> Value

listToMustache :: [Word] -> Value

ToMustache ω => ToMustache (Seq ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Seq ω -> Value

listToMustache :: [Seq ω] -> Value

ToMustache ω => ToMustache (Set ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Set ω -> Value

listToMustache :: [Set ω] -> Value

ToMustache ω => ToMustache (HashSet ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: HashSet ω -> Value

listToMustache :: [HashSet ω] -> Value

ToMustache ω => ToMustache (Vector ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Vector ω -> Value

listToMustache :: [Vector ω] -> Value

ToMustache ω => ToMustache (Maybe ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Maybe ω -> Value

listToMustache :: [Maybe ω] -> Value

ToMustache α => ToMustache [α]

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: [α] -> Value

listToMustache :: [[α]] -> Value

ToMustache ω => ToMustache (Map Text ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Map Text ω -> Value

listToMustache :: [Map Text ω] -> Value

ToMustache ω => ToMustache (Map Text ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Map Text ω -> Value

listToMustache :: [Map Text ω] -> Value

ToMustache ω => ToMustache (Map String ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: Map String ω -> Value

listToMustache :: [Map String ω] -> Value

ToMustache ω => ToMustache (HashMap Text ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: HashMap Text ω -> Value

listToMustache :: [HashMap Text ω] -> Value

ToMustache ω => ToMustache (HashMap Text ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: HashMap Text ω -> Value

listToMustache :: [HashMap Text ω] -> Value

ToMustache ω => ToMustache (HashMap String ω)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: HashMap String ω -> Value

listToMustache :: [HashMap String ω] -> Value

ToMustache (Context Value -> STree -> STree)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> STree) -> Value

listToMustache :: [Context Value -> STree -> STree] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> String)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> String) -> Value

listToMustache :: [Context Value -> STree -> String] -> Value

ToMustache (STree -> SubM STree)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (STree -> SubM STree) -> Value

listToMustache :: [STree -> SubM STree] -> Value

ToMustache (STree -> SubM Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (STree -> SubM Text) -> Value

listToMustache :: [STree -> SubM Text] -> Value

(ToMustache α, ToMustache β) => ToMustache (α, β)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β) -> Value

listToMustache :: [(α, β)] -> Value

(ToMustache α, ToMustache β, ToMustache γ) => ToMustache (α, β, γ)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β, γ) -> Value

listToMustache :: [(α, β, γ)] -> Value

(ToMustache α, ToMustache β, ToMustache γ, ToMustache δ) => ToMustache (α, β, γ, δ)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β, γ, δ) -> Value

listToMustache :: [(α, β, γ, δ)] -> Value

(ToMustache α, ToMustache β, ToMustache γ, ToMustache δ, ToMustache ε) => ToMustache (α, β, γ, δ, ε)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β, γ, δ, ε) -> Value

listToMustache :: [(α, β, γ, δ, ε)] -> Value

(ToMustache α, ToMustache β, ToMustache γ, ToMustache δ, ToMustache ε, ToMustache ζ) => ToMustache (α, β, γ, δ, ε, ζ)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β, γ, δ, ε, ζ) -> Value

listToMustache :: [(α, β, γ, δ, ε, ζ)] -> Value

(ToMustache α, ToMustache β, ToMustache γ, ToMustache δ, ToMustache ε, ToMustache ζ, ToMustache η) => ToMustache (α, β, γ, δ, ε, ζ, η)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β, γ, δ, ε, ζ, η) -> Value

listToMustache :: [(α, β, γ, δ, ε, ζ, η)] -> Value

(ToMustache α, ToMustache β, ToMustache γ, ToMustache δ, ToMustache ε, ToMustache ζ, ToMustache η, ToMustache θ) => ToMustache (α, β, γ, δ, ε, ζ, η, θ)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (α, β, γ, δ, ε, ζ, η, θ) -> Value

listToMustache :: [(α, β, γ, δ, ε, ζ, η, θ)] -> Value

toMustache :: ToMustache ω => ω -> Value

mFromJSON :: ToJSON ι => ι -> Value

Converts a value that can be represented as JSON to a Value.

integralToMustache :: Integral ω => ω -> Value

Representation

type Array = Vector Value

A list-like structure used in Value

type Object = HashMap Text Value

A map-like structure used in Value

type Pair = (Text, Value)

Source type for constructing Objects

data SubM a

Instances

Applicative SubM

Defined in Text.Mustache.Internal.Types

Methods

pure :: a -> SubM a

(<*>) :: SubM (a -> b) -> SubM a -> SubM b

liftA2 :: (a -> b -> c) -> SubM a -> SubM b -> SubM c

(*>) :: SubM a -> SubM b -> SubM b

(<*) :: SubM a -> SubM b -> SubM a

Functor SubM

Defined in Text.Mustache.Internal.Types

Methods

fmap :: (a -> b) -> SubM a -> SubM b

(<$) :: a -> SubM b -> SubM a

Monad SubM

Defined in Text.Mustache.Internal.Types

Methods

(>>=) :: SubM a -> (a -> SubM b) -> SubM b

(>>) :: SubM a -> SubM b -> SubM b

return :: a -> SubM a

ToMustache (STree -> SubM STree)

Defined in Text.Mustache.Internal.Types

Methods

toMustache :: (STree -> SubM STree) -> Value

listToMustache :: [STree -> SubM STree] -> Value

ToMustache (STree -> SubM Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (STree -> SubM Text) -> Value

listToMustache :: [STree -> SubM Text] -> Value

MonadReader (Context Value, TemplateCache) SubM

Defined in Text.Mustache.Internal.Types

Methods

ask :: SubM (Context Value, TemplateCache)

local :: ((Context Value, TemplateCache) -> (Context Value, TemplateCache)) -> SubM a -> SubM a

reader :: ((Context Value, TemplateCache) -> a) -> SubM a

askContext :: SubM (Context Value)

askPartials :: SubM TemplateCache

data Context α

Representation of stateful context for the substitution process

Constructors

Context

Fields

• ctxtParents :: [α]
• ctxtFocus :: α

Instances

Show α => Show (Context α)

Defined in Text.Mustache.Internal.Types

Methods

showsPrec :: Int -> Context α -> ShowS

show :: Context α -> String

showList :: [Context α] -> ShowS

Eq α => Eq (Context α)

Defined in Text.Mustache.Internal.Types

Methods

(==) :: Context α -> Context α -> Bool

(/=) :: Context α -> Context α -> Bool

Ord α => Ord (Context α)

Defined in Text.Mustache.Internal.Types

Methods

compare :: Context α -> Context α -> Ordering

(<) :: Context α -> Context α -> Bool

(<=) :: Context α -> Context α -> Bool

(>) :: Context α -> Context α -> Bool

(>=) :: Context α -> Context α -> Bool

max :: Context α -> Context α -> Context α

min :: Context α -> Context α -> Context α

ToMustache (Context Value -> STree -> STree)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> STree) -> Value

listToMustache :: [Context Value -> STree -> STree] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> Text)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> Text) -> Value

listToMustache :: [Context Value -> STree -> Text] -> Value

ToMustache (Context Value -> STree -> String)

Defined in Text.Mustache.Render

Methods

toMustache :: (Context Value -> STree -> String) -> Value

listToMustache :: [Context Value -> STree -> String] -> Value

MonadReader (Context Value, TemplateCache) SubM

Defined in Text.Mustache.Internal.Types

Methods

ask :: SubM (Context Value, TemplateCache)

local :: ((Context Value, TemplateCache) -> (Context Value, TemplateCache)) -> SubM a -> SubM a

reader :: ((Context Value, TemplateCache) -> a) -> SubM a