module Symantic.Parser.Machine
  ( module Symantic.Parser.Machine
  , module Symantic.Parser.Machine.Generate
  , module Symantic.Parser.Machine.Input
  , module Symantic.Parser.Machine.Instructions
  , module Symantic.Parser.Machine.View
  ) where
import Data.Function ((.))
import Data.Ord (Ord)
import Symantic.Parser.Machine.Input
import Symantic.Parser.Grammar
import Text.Show (Show)
import qualified Language.Haskell.TH.Syntax as TH

import Symantic.Parser.Machine.Generate
import Symantic.Parser.Machine.Instructions
import Symantic.Parser.Machine.View

-- * Type 'Parser'
type Parser inp =
  ObserveSharing TH.Name
                 (OptimizeGrammar TH.Name
                               (Machine inp))

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