Copyright	Copyright (C) 2009-2019 John MacFarlane
License	BSD3
Maintainer	John MacFarlane <jgm@berkeley.edu>
Stability	alpha
Portability	portable
Safe Haskell	None
Language	Haskell2010

Text.DocTemplates.Internal

Description

Synopsis

renderTemplate :: (TemplateTarget a, ToContext a b) => Template a -> b -> Doc a
class Monad m => TemplateMonad m where
- getPartial :: FilePath -> m Text
newtype Context a = Context {
- unContext :: Map Text (Val a)
}
data Val a
- = SimpleVal (Doc a)
- | ListVal [Val a]
- | MapVal (Context a)
- | NullVal
class ToContext a b where
- toContext :: b -> Context a
- toVal :: b -> Val a
class FromContext a b where
- fromVal :: Val a -> Maybe b
- lookupContext :: Text -> Context a -> Maybe b
type TemplateTarget a = (Monoid a, IsString a, HasChars a, ToText a, FromText a)
data Template a
- = Interpolate Variable
- | Conditional Variable (Template a) (Template a)
- | Iterate Variable (Template a) (Template a)
- | Nested (Template a)
- | Partial [Pipe] (Template a)
- | Literal (Doc a)
- | Concat (Template a) (Template a)
- | Empty
data Variable = Variable {
- varParts :: [Text]
- varPipes :: [Pipe]
}
data Pipe
- = ToPairs
- | ToUppercase
- | ToLowercase
- | ToLength
- | Reverse
- | Chomp
- | ToAlpha
- | ToRoman
- | NoWrap
- | Block Alignment Int Border
data Alignment
- = LeftAligned
- | Centered
- | RightAligned
data Border = Border {
- borderLeft :: Text
- borderRight :: Text
}

Documentation

renderTemplate :: (TemplateTarget a, ToContext a b) => Template a -> b -> Doc a Source #

Render a compiled template in a "context" which provides values for the template's variables.

class Monad m => TemplateMonad m where Source #

A TemplateMonad defines a function to retrieve a partial (from the file system, from a database, or using a default value).

Methods

getPartial :: FilePath -> m Text Source #

Instances

Instances details

TemplateMonad IO Source #
Instance details Defined in Text.DocTemplates.Internal Methods getPartial :: FilePath -> IO Text Source #
TemplateMonad Identity Source #
Instance details Defined in Text.DocTemplates.Internal Methods getPartial :: FilePath -> Identity Text Source #

newtype Context a Source #

A Context defines values for template's variables.

Constructors

Context
Fields unContext :: Map Text (Val a)

Instances

Instances details

Functor Context Source #
Instance details Defined in Text.DocTemplates.Internal Methods fmap :: (a -> b) -> Context a -> Context b (<$) :: a -> Context b -> Context a
Foldable Context Source #
Instance details Defined in Text.DocTemplates.Internal Methods fold :: Monoid m => Context m -> m foldMap :: Monoid m => (a -> m) -> Context a -> m foldMap' :: Monoid m => (a -> m) -> Context a -> m foldr :: (a -> b -> b) -> b -> Context a -> b foldr' :: (a -> b -> b) -> b -> Context a -> b foldl :: (b -> a -> b) -> b -> Context a -> b foldl' :: (b -> a -> b) -> b -> Context a -> b foldr1 :: (a -> a -> a) -> Context a -> a foldl1 :: (a -> a -> a) -> Context a -> a toList :: Context a -> [a] null :: Context a -> Bool length :: Context a -> Int elem :: Eq a => a -> Context a -> Bool maximum :: Ord a => Context a -> a minimum :: Ord a => Context a -> a sum :: Num a => Context a -> a product :: Num a => Context a -> a
Traversable Context Source #
Instance details Defined in Text.DocTemplates.Internal Methods traverse :: Applicative f => (a -> f b) -> Context a -> f (Context b) sequenceA :: Applicative f => Context (f a) -> f (Context a) mapM :: Monad m => (a -> m b) -> Context a -> m (Context b) sequence :: Monad m => Context (m a) -> m (Context a)
ToContext a (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Context a -> Context a Source # toVal :: Context a -> Val a Source #
Data a => Data (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Context a -> c (Context a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Context a) toConstr :: Context a -> Constr dataTypeOf :: Context a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Context a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Context a)) gmapT :: (forall b. Data b => b -> b) -> Context a -> Context a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Context a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Context a -> r gmapQ :: (forall d. Data d => d -> u) -> Context a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Context a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Context a -> m (Context a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Context a -> m (Context a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Context a -> m (Context a)
Show a => Show (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Context a -> ShowS show :: Context a -> String showList :: [Context a] -> ShowS
Semigroup (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods (<>) :: Context a -> Context a -> Context a sconcat :: NonEmpty (Context a) -> Context a stimes :: Integral b => b -> Context a -> Context a
Monoid (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods mempty :: Context a mappend :: Context a -> Context a -> Context a mconcat :: [Context a] -> Context a
(IsString a, TemplateTarget a) => FromYAML (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods parseYAML :: Node Pos -> Parser (Context a) Source #
TemplateTarget a => ToYAML (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toYAML :: Context a -> Node () Source #
TemplateTarget a => ToJSON (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toJSON :: Context a -> Value Source # toEncoding :: Context a -> Encoding Source # toJSONList :: [Context a] -> Value Source # toEncodingList :: [Context a] -> Encoding Source #
(IsString a, TemplateTarget a) => FromJSON (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods parseJSON :: Value -> Parser (Context a) Source # parseJSONList :: Value -> Parser [Context a] Source #

data Val a Source #

A variable value.

Constructors

SimpleVal (Doc a)
ListVal [Val a]
MapVal (Context a)
NullVal

Instances

Instances details

Functor Val Source #
Instance details Defined in Text.DocTemplates.Internal Methods fmap :: (a -> b) -> Val a -> Val b (<$) :: a -> Val b -> Val a
Foldable Val Source #
Instance details Defined in Text.DocTemplates.Internal Methods fold :: Monoid m => Val m -> m foldMap :: Monoid m => (a -> m) -> Val a -> m foldMap' :: Monoid m => (a -> m) -> Val a -> m foldr :: (a -> b -> b) -> b -> Val a -> b foldr' :: (a -> b -> b) -> b -> Val a -> b foldl :: (b -> a -> b) -> b -> Val a -> b foldl' :: (b -> a -> b) -> b -> Val a -> b foldr1 :: (a -> a -> a) -> Val a -> a foldl1 :: (a -> a -> a) -> Val a -> a toList :: Val a -> [a] null :: Val a -> Bool length :: Val a -> Int elem :: Eq a => a -> Val a -> Bool maximum :: Ord a => Val a -> a minimum :: Ord a => Val a -> a sum :: Num a => Val a -> a product :: Num a => Val a -> a
Traversable Val Source #
Instance details Defined in Text.DocTemplates.Internal Methods traverse :: Applicative f => (a -> f b) -> Val a -> f (Val b) sequenceA :: Applicative f => Val (f a) -> f (Val a) mapM :: Monad m => (a -> m b) -> Val a -> m (Val b) sequence :: Monad m => Val (m a) -> m (Val a)
TemplateTarget a => FromContext a (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods fromVal :: Val a -> Maybe (Val a) Source # lookupContext :: Text -> Context a -> Maybe (Val a) Source #
ToContext a (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Val a -> Context a Source # toVal :: Val a -> Val a Source #
Data a => Data (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Val a -> c (Val a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Val a) toConstr :: Val a -> Constr dataTypeOf :: Val a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Val a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Val a)) gmapT :: (forall b. Data b => b -> b) -> Val a -> Val a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Val a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Val a -> r gmapQ :: (forall d. Data d => d -> u) -> Val a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Val a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Val a -> m (Val a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Val a -> m (Val a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Val a -> m (Val a)
Show a => Show (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Val a -> ShowS show :: Val a -> String showList :: [Val a] -> ShowS
TemplateTarget a => FromYAML (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods parseYAML :: Node Pos -> Parser (Val a) Source #
TemplateTarget a => ToYAML (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toYAML :: Val a -> Node () Source #
TemplateTarget a => ToJSON (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toJSON :: Val a -> Value Source # toEncoding :: Val a -> Encoding Source # toJSONList :: [Val a] -> Value Source # toEncodingList :: [Val a] -> Encoding Source #
(IsString a, TemplateTarget a) => FromJSON (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods parseJSON :: Value -> Parser (Val a) Source # parseJSONList :: Value -> Parser [Val a] Source #

class ToContext a b where Source #

The ToContext class provides automatic conversion to a Context or Val.

Minimal complete definition

toVal

Methods

toContext :: b -> Context a Source #

toVal :: b -> Val a Source #

Instances

Instances details

(IsString a, TemplateTarget a) => ToContext a Value Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Value -> Context a Source # toVal :: Value -> Val a Source #
TemplateTarget a => ToContext a Bool Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Bool -> Context a Source # toVal :: Bool -> Val a Source #
TemplateTarget a => ToContext a a Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: a -> Context a Source # toVal :: a -> Val a Source #
ToContext String String Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: String -> Context String Source # toVal :: String -> Val String Source #
ToContext a b => ToContext a [b] Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: [b] -> Context a Source # toVal :: [b] -> Val a Source #
ToContext a a => ToContext a (Doc a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Doc a -> Context a Source # toVal :: Doc a -> Val a Source #
ToContext a (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Val a -> Context a Source # toVal :: Val a -> Val a Source #
ToContext a (Context a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Context a -> Context a Source # toVal :: Context a -> Val a Source #
ToContext String (Doc String) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Doc String -> Context String Source # toVal :: Doc String -> Val String Source #
ToContext a b => ToContext a (Map Text b) Source #
Instance details Defined in Text.DocTemplates.Internal Methods toContext :: Map Text b -> Context a Source # toVal :: Map Text b -> Val a Source #

class FromContext a b where Source #

The FromContext class provides functions for extracting values from Val and Context.

Minimal complete definition

fromVal

Methods

fromVal :: Val a -> Maybe b Source #

lookupContext :: Text -> Context a -> Maybe b Source #

Instances

Instances details

TemplateTarget a => FromContext a a Source #
Instance details Defined in Text.DocTemplates.Internal Methods fromVal :: Val a -> Maybe a Source # lookupContext :: Text -> Context a -> Maybe a Source #
FromContext String String Source #
Instance details Defined in Text.DocTemplates.Internal Methods fromVal :: Val String -> Maybe String Source # lookupContext :: Text -> Context String -> Maybe String Source #
FromContext a b => FromContext a [b] Source #
Instance details Defined in Text.DocTemplates.Internal Methods fromVal :: Val a -> Maybe [b] Source # lookupContext :: Text -> Context a -> Maybe [b] Source #
TemplateTarget a => FromContext a (Doc a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods fromVal :: Val a -> Maybe (Doc a) Source # lookupContext :: Text -> Context a -> Maybe (Doc a) Source #
TemplateTarget a => FromContext a (Val a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods fromVal :: Val a -> Maybe (Val a) Source # lookupContext :: Text -> Context a -> Maybe (Val a) Source #

type TemplateTarget a = (Monoid a, IsString a, HasChars a, ToText a, FromText a) Source #

data Template a Source #

A template.

Constructors

Interpolate Variable
Conditional Variable (Template a) (Template a)
Iterate Variable (Template a) (Template a)
Nested (Template a)
Partial [Pipe] (Template a)
Literal (Doc a)
Concat (Template a) (Template a)
Empty

Instances

Instances details

Functor Template Source #
Instance details Defined in Text.DocTemplates.Internal Methods fmap :: (a -> b) -> Template a -> Template b (<$) :: a -> Template b -> Template a
Foldable Template Source #
Instance details Defined in Text.DocTemplates.Internal Methods fold :: Monoid m => Template m -> m foldMap :: Monoid m => (a -> m) -> Template a -> m foldMap' :: Monoid m => (a -> m) -> Template a -> m foldr :: (a -> b -> b) -> b -> Template a -> b foldr' :: (a -> b -> b) -> b -> Template a -> b foldl :: (b -> a -> b) -> b -> Template a -> b foldl' :: (b -> a -> b) -> b -> Template a -> b foldr1 :: (a -> a -> a) -> Template a -> a foldl1 :: (a -> a -> a) -> Template a -> a toList :: Template a -> [a] null :: Template a -> Bool length :: Template a -> Int elem :: Eq a => a -> Template a -> Bool maximum :: Ord a => Template a -> a minimum :: Ord a => Template a -> a sum :: Num a => Template a -> a product :: Num a => Template a -> a
Traversable Template Source #
Instance details Defined in Text.DocTemplates.Internal Methods traverse :: Applicative f => (a -> f b) -> Template a -> f (Template b) sequenceA :: Applicative f => Template (f a) -> f (Template a) mapM :: Monad m => (a -> m b) -> Template a -> m (Template b) sequence :: Monad m => Template (m a) -> m (Template a)
Eq a => Eq (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods (==) :: Template a -> Template a -> Bool (/=) :: Template a -> Template a -> Bool
Data a => Data (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Template a -> c (Template a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Template a) toConstr :: Template a -> Constr dataTypeOf :: Template a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Template a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Template a)) gmapT :: (forall b. Data b => b -> b) -> Template a -> Template a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Template a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Template a -> r gmapQ :: (forall d. Data d => d -> u) -> Template a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Template a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Template a -> m (Template a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Template a -> m (Template a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Template a -> m (Template a)
Ord a => Ord (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods compare :: Template a -> Template a -> Ordering (<) :: Template a -> Template a -> Bool (<=) :: Template a -> Template a -> Bool (>) :: Template a -> Template a -> Bool (>=) :: Template a -> Template a -> Bool max :: Template a -> Template a -> Template a min :: Template a -> Template a -> Template a
Read a => Read (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods readsPrec :: Int -> ReadS (Template a) readList :: ReadS [Template a] readPrec :: ReadPrec (Template a) readListPrec :: ReadPrec [Template a]
Show a => Show (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Template a -> ShowS show :: Template a -> String showList :: [Template a] -> ShowS
Generic (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Associated Types type Rep (Template a) :: Type -> Type Methods from :: Template a -> Rep (Template a) x to :: Rep (Template a) x -> Template a
Semigroup a => Semigroup (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods (<>) :: Template a -> Template a -> Template a sconcat :: NonEmpty (Template a) -> Template a stimes :: Integral b => b -> Template a -> Template a
Semigroup a => Monoid (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal Methods mempty :: Template a mappend :: Template a -> Template a -> Template a mconcat :: [Template a] -> Template a
type Rep (Template a) Source #
Instance details Defined in Text.DocTemplates.Internal type Rep (Template a) = D1 ('MetaData "Template" "Text.DocTemplates.Internal" "doctemplates-0.8-CcBwKtnbnGoJw6qmQXnprK" 'False) (((C1 ('MetaCons "Interpolate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)) :+: C1 ('MetaCons "Conditional" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a))))) :+: (C1 ('MetaCons "Iterate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a)))) :+: C1 ('MetaCons "Nested" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a))))) :+: ((C1 ('MetaCons "Partial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pipe]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a))) :+: C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a)))) :+: (C1 ('MetaCons "Concat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Template a))) :+: C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type))))

data Variable Source #

A variable which may have several parts (foo.bar.baz).

Constructors

Variable
Fields varParts :: [Text] varPipes :: [Pipe]

Instances

Instances details

Eq Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods (==) :: Variable -> Variable -> Bool (/=) :: Variable -> Variable -> Bool
Data Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Variable -> c Variable gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Variable toConstr :: Variable -> Constr dataTypeOf :: Variable -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Variable) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Variable) gmapT :: (forall b. Data b => b -> b) -> Variable -> Variable gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Variable -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Variable -> r gmapQ :: (forall d. Data d => d -> u) -> Variable -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Variable -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Variable -> m Variable gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Variable -> m Variable gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Variable -> m Variable
Ord Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods compare :: Variable -> Variable -> Ordering (<) :: Variable -> Variable -> Bool (<=) :: Variable -> Variable -> Bool (>) :: Variable -> Variable -> Bool (>=) :: Variable -> Variable -> Bool max :: Variable -> Variable -> Variable min :: Variable -> Variable -> Variable
Read Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods readsPrec :: Int -> ReadS Variable readList :: ReadS [Variable] readPrec :: ReadPrec Variable readListPrec :: ReadPrec [Variable]
Show Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Variable -> ShowS show :: Variable -> String showList :: [Variable] -> ShowS
Generic Variable Source #
Instance details Defined in Text.DocTemplates.Internal Associated Types type Rep Variable :: Type -> Type Methods from :: Variable -> Rep Variable x to :: Rep Variable x -> Variable
Semigroup Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods (<>) :: Variable -> Variable -> Variable sconcat :: NonEmpty Variable -> Variable stimes :: Integral b => b -> Variable -> Variable
Monoid Variable Source #
Instance details Defined in Text.DocTemplates.Internal Methods mempty :: Variable mappend :: Variable -> Variable -> Variable mconcat :: [Variable] -> Variable
type Rep Variable Source #
Instance details Defined in Text.DocTemplates.Internal type Rep Variable = D1 ('MetaData "Variable" "Text.DocTemplates.Internal" "doctemplates-0.8-CcBwKtnbnGoJw6qmQXnprK" 'False) (C1 ('MetaCons "Variable" 'PrefixI 'True) (S1 ('MetaSel ('Just "varParts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Just "varPipes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pipe])))

data Pipe Source #

Constructors

ToPairs
ToUppercase
ToLowercase
ToLength
Reverse
Chomp
ToAlpha
ToRoman
NoWrap
Block Alignment Int Border

Instances

Instances details

Eq Pipe Source #
Instance details Defined in Text.DocTemplates.Internal Methods (==) :: Pipe -> Pipe -> Bool (/=) :: Pipe -> Pipe -> Bool
Data Pipe Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pipe -> c Pipe gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pipe toConstr :: Pipe -> Constr dataTypeOf :: Pipe -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pipe) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pipe) gmapT :: (forall b. Data b => b -> b) -> Pipe -> Pipe gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pipe -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pipe -> r gmapQ :: (forall d. Data d => d -> u) -> Pipe -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Pipe -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pipe -> m Pipe gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pipe -> m Pipe gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pipe -> m Pipe
Ord Pipe Source #
Instance details Defined in Text.DocTemplates.Internal Methods compare :: Pipe -> Pipe -> Ordering (<) :: Pipe -> Pipe -> Bool (<=) :: Pipe -> Pipe -> Bool (>) :: Pipe -> Pipe -> Bool (>=) :: Pipe -> Pipe -> Bool max :: Pipe -> Pipe -> Pipe min :: Pipe -> Pipe -> Pipe
Read Pipe Source #
Instance details Defined in Text.DocTemplates.Internal Methods readsPrec :: Int -> ReadS Pipe readList :: ReadS [Pipe] readPrec :: ReadPrec Pipe readListPrec :: ReadPrec [Pipe]
Show Pipe Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Pipe -> ShowS show :: Pipe -> String showList :: [Pipe] -> ShowS
Generic Pipe Source #
Instance details Defined in Text.DocTemplates.Internal Associated Types type Rep Pipe :: Type -> Type Methods from :: Pipe -> Rep Pipe x to :: Rep Pipe x -> Pipe
type Rep Pipe Source #
Instance details Defined in Text.DocTemplates.Internal type Rep Pipe = D1 ('MetaData "Pipe" "Text.DocTemplates.Internal" "doctemplates-0.8-CcBwKtnbnGoJw6qmQXnprK" 'False) (((C1 ('MetaCons "ToPairs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ToUppercase" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ToLowercase" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ToLength" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reverse" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Chomp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ToAlpha" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ToRoman" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoWrap" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Block" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Alignment) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Border)))))))

data Alignment Source #

Constructors

LeftAligned
Centered
RightAligned

Instances

Instances details

Eq Alignment Source #
Instance details Defined in Text.DocTemplates.Internal Methods (==) :: Alignment -> Alignment -> Bool (/=) :: Alignment -> Alignment -> Bool
Data Alignment Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Alignment -> c Alignment gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Alignment toConstr :: Alignment -> Constr dataTypeOf :: Alignment -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Alignment) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Alignment) gmapT :: (forall b. Data b => b -> b) -> Alignment -> Alignment gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Alignment -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Alignment -> r gmapQ :: (forall d. Data d => d -> u) -> Alignment -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Alignment -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Alignment -> m Alignment gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Alignment -> m Alignment gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Alignment -> m Alignment
Ord Alignment Source #
Instance details Defined in Text.DocTemplates.Internal Methods compare :: Alignment -> Alignment -> Ordering (<) :: Alignment -> Alignment -> Bool (<=) :: Alignment -> Alignment -> Bool (>) :: Alignment -> Alignment -> Bool (>=) :: Alignment -> Alignment -> Bool max :: Alignment -> Alignment -> Alignment min :: Alignment -> Alignment -> Alignment
Read Alignment Source #
Instance details Defined in Text.DocTemplates.Internal Methods readsPrec :: Int -> ReadS Alignment readList :: ReadS [Alignment] readPrec :: ReadPrec Alignment readListPrec :: ReadPrec [Alignment]
Show Alignment Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Alignment -> ShowS show :: Alignment -> String showList :: [Alignment] -> ShowS
Generic Alignment Source #
Instance details Defined in Text.DocTemplates.Internal Associated Types type Rep Alignment :: Type -> Type Methods from :: Alignment -> Rep Alignment x to :: Rep Alignment x -> Alignment
type Rep Alignment Source #
Instance details Defined in Text.DocTemplates.Internal type Rep Alignment = D1 ('MetaData "Alignment" "Text.DocTemplates.Internal" "doctemplates-0.8-CcBwKtnbnGoJw6qmQXnprK" 'False) (C1 ('MetaCons "LeftAligned" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Centered" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightAligned" 'PrefixI 'False) (U1 :: Type -> Type)))

data Border Source #

Constructors

Border
Fields borderLeft :: Text borderRight :: Text

Instances

Instances details

Eq Border Source #
Instance details Defined in Text.DocTemplates.Internal Methods (==) :: Border -> Border -> Bool (/=) :: Border -> Border -> Bool
Data Border Source #
Instance details Defined in Text.DocTemplates.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Border -> c Border gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Border toConstr :: Border -> Constr dataTypeOf :: Border -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Border) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Border) gmapT :: (forall b. Data b => b -> b) -> Border -> Border gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Border -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Border -> r gmapQ :: (forall d. Data d => d -> u) -> Border -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Border -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Border -> m Border gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Border -> m Border gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Border -> m Border
Ord Border Source #
Instance details Defined in Text.DocTemplates.Internal Methods compare :: Border -> Border -> Ordering (<) :: Border -> Border -> Bool (<=) :: Border -> Border -> Bool (>) :: Border -> Border -> Bool (>=) :: Border -> Border -> Bool max :: Border -> Border -> Border min :: Border -> Border -> Border
Read Border Source #
Instance details Defined in Text.DocTemplates.Internal Methods readsPrec :: Int -> ReadS Border readList :: ReadS [Border] readPrec :: ReadPrec Border readListPrec :: ReadPrec [Border]
Show Border Source #
Instance details Defined in Text.DocTemplates.Internal Methods showsPrec :: Int -> Border -> ShowS show :: Border -> String showList :: [Border] -> ShowS
Generic Border Source #
Instance details Defined in Text.DocTemplates.Internal Associated Types type Rep Border :: Type -> Type Methods from :: Border -> Rep Border x to :: Rep Border x -> Border
type Rep Border Source #
Instance details Defined in Text.DocTemplates.Internal type Rep Border = D1 ('MetaData "Border" "Text.DocTemplates.Internal" "doctemplates-0.8-CcBwKtnbnGoJw6qmQXnprK" 'False) (C1 ('MetaCons "Border" 'PrefixI 'True) (S1 ('MetaSel ('Just "borderLeft") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "borderRight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))