Moduleshower-0.2.0.3Haskell2010

Shower.Class

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

classclass 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").

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.

Instances1Shower

datadata ShowerFieldSep

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

datadata 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" ]