Modulerere-0.2.0.2Haskell2010

RERE.Examples.JSON

JSON grammar example.

Example1 expression

>>> import RERE

typetype Size = Mult2 (Plus Nat5 Nat6)

Size of JSON grammar, 22.

valuejsonRE' :: 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.

Example1 expression

>>> size (cfgToRE jsonNames jsonCFG)232

jsonRE is pre-calculated variant.

Example1 expression

>>> size jsonRE205

valuejsonNames :: Vec Size Name

Names of jsonCFG productions.

valuejsonCFG :: Ord a => CFG Size a

JSON grammar

valuejsonRE :: RE Void

Pre-calculated JSON grammar as regular expression.

Example1 expression

>>> size jsonRE205

See jsonRE' for one constructed from jsonCFG.