Bricks.Rendering

Render

type Render a = RenderContext -> a -> Text

data RenderContext

Constructors

RenderContext

Fields

• renderContext'indentStart :: Natural
• renderContext'indentStep :: Natural
• renderContext'lineBreaks :: Bool

renderContext'default :: RenderContext

renderContext'terse :: RenderContext

Expressions

render'expression :: Render Expression

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'listContext :: Render Expression

Render an expression in a list context.

render'expression'dotLeftContext :: Render Expression

Render an expression in the context of the left-hand side of a Dot.

render'expression'applyLeftContext :: Render Expression

Render an expression in the context of the left-hand side of an Apply.

render'expression'applyRightContext :: Render Expression

Render an expression in the context of the right-hand side of an Apply.

render'expression'inParens :: Render Expression

render'expression'dictKey :: Render Expression

Variables

render'var :: Render Var

Render an unquoted string in unquoted form.

Strings

str'escape :: Text -> Text

Insert escape sequences for rendering normal double-quoted (") strings.

Static strings

render'strStatic'unquotedIfPossible :: Render Str'Static

Render a static string, in unquoted form if possible.

render'strStatic'quoted :: Render Str'Static

Render a static string, in quoted form.

Dynamic strings

render'strDynamic'unquotedIfPossible :: Render Str'Dynamic

Render a dynamic string, in unquoted form if possible.

render'strDynamic'quoted :: Render Str'Dynamic

Render a dynamic string, in quoted form.

render'str'1 :: Render Str'1

Indented strings

render'str'indented :: Render InStr

render'str'indented'1 :: Render InStr'1

Lists

render'list :: Render List

Render a list literal ([ ... ]).

Dicts

render'dict :: Render Dict

Render a dict literal ({ ... }).

render'dictBinding :: Render DictBinding

Render a binding within a Dict, including the trailing semicolon.

Dict lookup

render'dot :: Render Dot

Render a dot expression (a.b).

Lambdas

render'lambda :: Render Lambda

Render a lambda expression (x: y).

Function parameters

render'param :: Render Param

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'dictPattern :: Render DictPattern

Render a dict pattern ({ a, b ? c, ... }).

render'dictPattern'1 :: Render DictPattern'1

Render a single item in a DictPattern.

Function application

render'apply :: Render Apply

Render a function application expression (f x).

let

render'let :: Render Let

Render a let-in expression.

render'letBinding :: Render LetBinding

Render a binding within a Let, including the trailing semicolon.