Symantic.Parser.Machine

Documentation

type ParserRepr repr inp = ObserveSharing Name (OptimizeGrammar (Program repr inp))

Like a Parser but not bound to the Gen interpreter.

type Parser inp = ParserRepr Gen inp

machine :: forall inp repr a. Ord (InputToken inp) => Show (InputToken inp) => Lift (InputToken inp) => Grammar (InputToken inp) (Program repr inp) => Machine (InputToken inp) repr => ParserRepr repr inp a -> repr inp '[] ('Succ 'Zero) a

Build a Machine able to generateCode for the given Parser.

module Symantic.Parser.Machine.Generate

module Symantic.Parser.Machine.Input

module Symantic.Parser.Machine.Instructions

module Symantic.Parser.Machine.Optimize

module Symantic.Parser.Machine.Program

module Symantic.Parser.Machine.View