Contents Index

Framework.TEngine.Types

Synopsis

class TemplateOne a where showO :: a -> String intField :: Int -> a -> Int stringField :: Int -> a -> String boolField :: Int -> a -> Bool getRelated :: a -> [(String, [a])] getPerPage :: a -> Int class TemplateOne a => TemplateItem a where showT :: a -> String intFields :: Int -> a -> [Int] stringFields :: Int -> a -> [String] boolFields :: Int -> a -> [Bool] mkList :: a -> [TContainer] isTrue :: a -> Bool showC :: TContainer -> String data TContainer = forall a . TemplateItem a => C a type Context = [(String, TContainer)] class Applicable f a b where app :: Int -> f -> a -> b apply :: Applicable f a b => f -> a -> b class FieldType a where _field :: Int -> TContainer -> a fzero :: a idString :: String -> String idInt :: Int -> Int idBool :: Bool -> Bool field :: FieldType a => Int -> Maybe TContainer -> a

Documentation

class TemplateOne a where

Single item to render in template. Methods showO :: a -> String Show intField :: Int -> a -> Int Get n'th integer field stringField :: Int -> a -> String Get n'th string field boolField :: Int -> a -> Bool Get n'th boolean field getRelated :: a -> [(String, [a])] Get assoc.list of related models getPerPage :: a -> Int Get number of items to put on one page Instances TemplateOne Bool TemplateOne Int TemplateOne String TemplateOne Model TemplateOne a => TemplateOne ([] a)

class TemplateOne a => TemplateItem a where

Multiple-valued item to render in template. Methods showT :: a -> String Show intFields :: Int -> a -> [Int] Get list of n'th integer fields in all items stringFields :: Int -> a -> [String] Get list of n'th string fields in all items boolFields :: Int -> a -> [Bool] Get list of n'th boolean fields in all items mkList :: a -> [TContainer] Convert to a list isTrue :: a -> Bool Check whether this item equivalent to True Instances TemplateItem String TemplateOne a => TemplateItem ([] a)

showC :: TContainer -> String

Show TContainer

data TContainer

Container type for any renderable value Constructors forall a . TemplateItem a => C a Instances Applicable (Bool -> a) TContainer a Applicable (Int -> a) TContainer a Applicable (String -> a) TContainer a Applicable (a -> b) TContainer b => Applicable (Bool -> a -> b) TContainer (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (Int -> a -> b) TContainer (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (String -> a -> b) TContainer (TContainer -> b)

type Context = [(String, TContainer)]

class Applicable f a b where

Claims a fact that values of type f can be applied to value of type a, resulting value of type b Methods app :: Int -> f -> a -> b Instances (FieldType b, Applicable f a b) => Applicable f (Maybe a) b Applicable (Bool -> a) TContainer a Applicable (Bool -> a) TContainer a Applicable (Int -> a) TContainer a Applicable (Int -> a) TContainer a Applicable (String -> a) TContainer a Applicable (String -> a) TContainer a Applicable (a -> b) a b (TemplateOne a, FieldType a) => Applicable (Bool -> a -> b) a (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (Bool -> a -> b) TContainer (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (Bool -> a -> b) TContainer (TContainer -> b) (TemplateOne a, FieldType a) => Applicable (Int -> a -> b) a (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (Int -> a -> b) TContainer (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (Int -> a -> b) TContainer (TContainer -> b) (TemplateOne a, FieldType a) => Applicable (String -> a -> b) a (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (String -> a -> b) TContainer (TContainer -> b) Applicable (a -> b) TContainer b => Applicable (String -> a -> b) TContainer (TContainer -> b) Applicable (a -> b) ([] a) ([] b) Applicable (a -> b) ([] a) ([] b)

apply :: Applicable f a b => f -> a -> b

Same as `app 1'

class FieldType a where

TContainer can have fields of such types Methods _field :: Int -> TContainer -> a fzero :: a Instances FieldType Bool FieldType Int FieldType String

idString :: String -> String

idInt :: Int -> Int

idBool :: Bool -> Bool

field

:: FieldType a => Int Number of the field -> Maybe TContainer -> a Type of field determined by return type Get a field from TContainer

Produced by Haddock version 2.4.2