symantic-parser-0.0.0.20210102: Parser combinators statically optimized and staged via typed meta-programming
Safe HaskellNone
LanguageHaskell2010

Symantic.Parser.Machine

Documentation

type Parser inp = ObserveSharing Name (OptimizeComb Name (Machine inp)) Source #

machine :: forall inp repr a. Ord (InputToken inp) => Show (InputToken inp) => Lift (InputToken inp) => Executable repr => Readable repr (InputToken inp) => Grammar (Machine inp) => Parser inp a -> repr inp '[] ('Succ 'Zero) a Source #

module Symantic.Parser.Machine.Instructions

module Symantic.Parser.Machine.Dump

module Symantic.Parser.Machine.Generate

module Symantic.Parser.Machine.Input