Text.Strapped.Types

Synopsis

• newtype RenderT m a = RenderT {
  • runRenderT :: ExceptT StrapError (StateT (RenderState m) m) a
  }
• data RenderState m = RenderState {
  • position :: SourcePos
  • renderConfig :: StrappedConfig
  • blocks :: BlockMap
  • bucket :: InputBucket m
  }
• type Output = Builder
• type BlockMap = Map String [ParsedPiece]
• data Expression
  • = LookupExpression String
  • | LiteralExpression Literal
  • | ListExpression [ParsedExpression]
  • | Multipart [ParsedExpression]
• data ParsedExpression = ParsedExpression Expression SourcePos
• data Piece
  • = StaticPiece Output
  • | BlockPiece String [ParsedPiece]
  • | ForPiece String ParsedExpression [ParsedPiece]
  • | IfPiece ParsedExpression [ParsedPiece] [ParsedPiece]
  • | FuncPiece ParsedExpression
  • | Decl String ParsedExpression
  • | Include String
  • | Inherits String BlockMap
• data ParsedPiece = forall a . Block a => ParsedPiece a SourcePos
• class Renderable a where
  • renderOutput :: StrappedConfig -> a -> Output
• data Input m
  • = Func (Literal -> RenderT m Literal)
  • | LitVal Literal
• data Literal
  • = forall a . (Typeable a, Renderable a) => LitDyn !a
  • | LitText !Text
  • | LitSafe !Text
  • | LitInteger !Integer
  • | LitDouble !Double
  • | LitBuilder !Builder
  • | LitList ![Literal]
  • | LitBool !Bool
  • | LitEmpty
• class ToLiteral a where
  • toLiteral :: a -> Literal
• class Block a where
  • process :: MonadIO m => a -> RenderT m Output
• class Booly a where
  • toBool :: a -> Bool
• data StrapError
  • = StrapError String
  • | InputNotFound String
  • | TemplateNotFound String
  • | PositionedError StrapError SourcePos
• 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