RERE.Examples.JSON

JSON grammar example.

Documentation

>>> import RERE

type Size = Mult2 (Plus Nat5 Nat6)

Size of JSON grammar, 22.

jsonRE' :: RE Void

JSON recursive regular expression constructor from jsonCFG.

jsonRE' = compact (cfgToRE jsonNames jsonCFG)

The conversion doesn't optimize the resulting regular expression, but is relatively fast.

>>> size (cfgToRE jsonNames jsonCFG)
232

jsonRE is pre-calculated variant.

>>> size jsonRE
205

jsonNames :: Vec Size Name

Names of jsonCFG productions.

jsonCFG :: forall a. Ord a => CFG Size a

JSON grammar

jsonRE :: RE Void

Pre-calculated JSON grammar as regular expression.

>>> size jsonRE
205

See jsonRE' for one constructed from jsonCFG.