Text.GrammarCombinators.Utils.PrintGrammar

Documentation

printRule :: (Domain phi, Token t) => GAnyExtendedContextFreeGrammar phi t r rr -> Integer -> phi ix -> String

Print out a single production rule

printGrammar :: forall phi t r rr. (Domain phi, Token t) => GAnyExtendedContextFreeGrammar phi t r rr -> String

Print out a full grammar.

printGrammarInf :: forall phi t r rr. (Domain phi, Token t) => GAnyExtendedContextFreeGrammar phi t r rr -> Integer -> String

Print out a grammar with a depth limit. Intended for infinite grammars.

printReachableGrammar :: forall phi t r rr ix. (Domain phi, Token t) => GAnyExtendedContextFreeGrammar phi t r rr -> phi ix -> String

Print out the part of a grammar that is reachable from a given non-terminal.