Shower.Class

This module defines the representation of data that the parser produces and the pretty-printer consumes.

Documentation

class Shower a where

A tagless final encoding for a result builder (ShowS, Doc, Html, etc).

Note that showerStringLit and showerCharLit take exact uninterpreted strings to avoid losing information (e.g. "\n" vs. "\10").

Methods

showerRecord :: [ShowerComma (a, ShowerFieldSep, a)] -> a

A record, { x = 24, y = 42 } or { "a": null, "b": 13 }.

showerList :: [ShowerComma a] -> a

A list, [1, 2, 3].

showerTuple :: [ShowerComma a] -> a

A tuple, (1, 2, 3).

showerStringLit :: String -> a

A string literal, "hello, (world)".

showerCharLit :: String -> a

A character literal, '('.

showerAtom :: String -> a

Variable names, numeric literals, and so on.

showerSpace :: [a] -> a

Whitespace-separated elements.

Instances

Shower ShowerDoc

Defined in Shower.Printer

Methods

showerRecord :: [ShowerComma (ShowerDoc, ShowerFieldSep, ShowerDoc)] -> ShowerDoc

showerList :: [ShowerComma ShowerDoc] -> ShowerDoc

showerTuple :: [ShowerComma ShowerDoc] -> ShowerDoc

showerStringLit :: String -> ShowerDoc

showerCharLit :: String -> ShowerDoc

showerAtom :: String -> ShowerDoc

showerSpace :: [ShowerDoc] -> ShowerDoc

data ShowerFieldSep

A field separator used in records, either '=' for Haskell records or ':' for JSON.

Constructors

ShowerFieldSepEquals

An equality sign, '='

ShowerFieldSepColon

A colon, ':'

data ShowerComma a

Either a comma or an element.

For example, the tuple section (,a,,b) is represented like this:

[ ShowerCommaSep,
  ShowerCommaElement "a",
  ShowerCommaSep,
  ShowerCommaSep,
  ShowerCommaElement "b" ]

Constructors

ShowerCommaSep

A comma, ','

ShowerCommaElement a

An element