Safe Haskell	None
Language	Haskell98

Text.Strapped.Types

Synopsis

Documentation

newtype RenderT m a Source

RenderT m

m -> Monad we are transforming

Constructors

RenderT
Fields runRenderT :: ExceptT StrapError (StateT (RenderState m) m) a

Instances

MonadTrans RenderT
Monad m => MonadError StrapError (RenderT m)
Monad m => Monad (RenderT m)
Functor m => Functor (RenderT m)
(Monad m, Functor m) => Applicative (RenderT m)
MonadIO m => MonadIO (RenderT m)

data RenderState m Source

Constructors

RenderState
Fields position :: SourcePos renderConfig :: StrappedConfig blocks :: BlockMap bucket :: InputBucket m

type Output = Builder Source

type BlockMap = Map String [ParsedPiece] Source

data Expression Source

Constructors

LookupExpression String
LiteralExpression Literal
ListExpression [ParsedExpression]
Multipart [ParsedExpression]

Instances

Show Expression

data ParsedExpression Source

Constructors

ParsedExpression Expression SourcePos

Instances

Show ParsedExpression

data Piece Source

Instances

Show Piece
Block Piece

data ParsedPiece Source

Constructors

forall a . Block a => ParsedPiece a SourcePos

Instances

Show ParsedPiece

class Renderable a where Source

Methods

renderOutput :: StrappedConfig -> a -> Output Source

Instances

Renderable Builder
Renderable Literal

data Input m Source

Constructors

Func (Literal -> RenderT m Literal)
LitVal Literal

data Literal Source

Constructors

forall a . (Typeable a, Renderable a) => LitDyn !a
LitText !Text
LitSafe !Text
LitInteger !Integer
LitDouble !Double
LitBuilder !Builder
LitList ![Literal]
LitBool !Bool
LitEmpty

Instances

Show Literal
IsString Literal
Booly Literal
Renderable Literal
ToLiteral [Literal]

class ToLiteral a where Source

Methods

toLiteral :: a -> Literal Source

Instances

ToLiteral Bool
ToLiteral Double
ToLiteral Integer
ToLiteral String
ToLiteral Builder
ToLiteral Text
ToLiteral [Literal]

class Block a where Source

Methods

process :: MonadIO m => a -> RenderT m Output Source

Instances

Block Piece

class Booly a where Source

Methods

toBool :: a -> Bool Source

Instances

Booly Literal

data StrapError Source

Constructors

StrapError String
InputNotFound String
TemplateNotFound String
PositionedError StrapError SourcePos

Instances

Eq StrapError
Show StrapError
Monad m => MonadError StrapError (RenderT m)

data InputBucket m Source

Constructors

InputBucket [Map String (Input m)]

type TemplateStore = String -> IO (Maybe Template) Source

data Template Source

Constructors

Template [ParsedPiece]

Instances

Show Template

type ParserM = GenParser Char StrappedConfig Source

data BlockParser Source

Constructors

forall a . Block a => BlockParser (ParserM a)

data StrappedConfig Source

Constructors

StrappedConfig
Fields customParsers :: [BlockParser] templateStore :: TemplateStore escapeFunc :: Text -> Text

StaticPiece Output
BlockPiece String [ParsedPiece]
ForPiece String ParsedExpression [ParsedPiece]
IfPiece ParsedExpression [ParsedPiece] [ParsedPiece]
FuncPiece ParsedExpression
Decl String ParsedExpression
Include String
Inherits String BlockMap