Safe Haskell | None |
---|---|
Language | Haskell98 |
- newtype RenderT m a = RenderT {
- runRenderT :: ExceptT StrapError (StateT (RenderState m) m) a
- data RenderState m = RenderState {}
- type Output = Builder
- type BlockMap = Map String [ParsedPiece]
- data Expression
- data ParsedExpression = ParsedExpression Expression SourcePos
- data Piece
- data ParsedPiece = forall a . Block a => ParsedPiece a SourcePos
- class Renderable a where
- renderOutput :: StrappedConfig -> a -> Output
- data Input m
- data Literal
- class ToLiteral a where
- class Block a where
- class Booly a where
- data StrapError
- data InputBucket m = InputBucket [Map String (Input m)]
- type TemplateStore = String -> IO (Maybe Template)
- data Template = Template [ParsedPiece]
- type ParserM = GenParser Char StrappedConfig
- data BlockParser = forall a . Block a => BlockParser (ParserM a)
- data StrappedConfig = StrappedConfig {
- customParsers :: [BlockParser]
- templateStore :: TemplateStore
- escapeFunc :: Text -> Text
Documentation
RenderT m
- m -> Monad we are transforming
RenderT | |
|
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
RenderState | |
|
type BlockMap = Map String [ParsedPiece] Source
data Expression Source
class Renderable a where Source
renderOutput :: StrappedConfig -> a -> Output Source
data StrapError Source
Eq StrapError | |
Show StrapError | |
Monad m => MonadError StrapError (RenderT m) |
data InputBucket m Source
InputBucket [Map String (Input m)] |
type ParserM = GenParser Char StrappedConfig Source
data BlockParser Source
forall a . Block a => BlockParser (ParserM a) |
data StrappedConfig Source
StrappedConfig | |
|