Language.JsonGrammar

The Aeson example

Types

data Grammar c t1 t2

data Context

data h :- t

Elemental building blocks

pure

many

literal

label

object

property

array

element

coerce

Constructing grammars

fromPrism

defaultValue

Wrapping constructors

nil

cons

tup2

Type-directed grammars

class Json a

el

prop

Using grammars

parse

serialize

interfaces

data SomeGrammar c