-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | ... -- -- ... @package bricks-rendering @version 0.0.0.4 module Bricks.Rendering type Render a = RenderContext -> a -> Text data RenderContext RenderContext :: Natural -> Natural -> Bool -> RenderContext [renderContext'indentStart] :: RenderContext -> Natural [renderContext'indentStep] :: RenderContext -> Natural [renderContext'lineBreaks] :: RenderContext -> Bool renderContext'default :: RenderContext renderContext'terse :: RenderContext -- | Render an expression. -- --

Examples

-- --
--   >>> :{
--   
--   >>> render'expression renderContext'terse
--   
--   >>> (lambda
--   
--   >>> (param "a" <> pattern
--   
--   >>> [ dict'param "f"
--   
--   >>> , dict'param "b" & def (apply (var "g") (var "x"))
--   
--   >>> ] <> ellipsis)
--   
--   >>> (apply (var "f") (var "b")))
--   
--   >>> :}
--   "a@{ f, b ? g x, ... }: f b"
--   
render'expression :: Render Expression -- | Render an expression in a list context. render'expression'listContext :: Render Expression -- | Render an expression in the context of the left-hand side of a -- Dot. render'expression'dotLeftContext :: Render Expression -- | Render an expression in the context of the left-hand side of an -- Apply. render'expression'applyLeftContext :: Render Expression -- | Render an expression in the context of the right-hand side of an -- Apply. render'expression'applyRightContext :: Render Expression render'expression'inParens :: Render Expression render'expression'dictKey :: Render Expression -- | Render an unquoted string in unquoted form. render'var :: Render Var -- | Insert escape sequences for rendering normal double-quoted -- (") strings. str'escape :: Text -> Text -- | Render a static string, in unquoted form if possible. render'strStatic'unquotedIfPossible :: Render Str'Static -- | Render a static string, in quoted form. render'strStatic'quoted :: Render Str'Static -- | Render a dynamic string, in unquoted form if possible. render'strDynamic'unquotedIfPossible :: Render Str'Dynamic -- | Render a dynamic string, in quoted form. render'strDynamic'quoted :: Render Str'Dynamic render'str'1 :: Render Str'1 render'str'indented :: Render InStr render'str'indented'1 :: Render InStr'1 -- | Render a list literal ([ ... ]). render'list :: Render List -- | Render a dict literal ({ ... }). render'dict :: Render Dict -- | Render a binding within a Dict, including the trailing -- semicolon. render'dictBinding :: Render DictBinding -- | Render a dot expression (a.b). render'dot :: Render Dot -- | Render a lambda expression (x: y). render'lambda :: Render Lambda -- | Render a lambda parameter: everything from the beginning of a lambda, -- up to but not including the : that separates the head from -- the body of the lambda. render'param :: Render Param -- | Render a dict pattern ({ a, b ? c, ... }). render'dictPattern :: Render DictPattern -- | Render a single item in a DictPattern. render'dictPattern'1 :: Render DictPattern'1 -- | Render a function application expression (f x). render'apply :: Render Apply -- | Render a let-in expression. render'let :: Render Let -- | Render a binding within a Let, including the trailing -- semicolon. render'letBinding :: Render LetBinding