src/Symantic/Parser/Machine.hs

   1 module Symantic.Parser.Machine
   2   ( module Symantic.Parser.Machine
   3   , module Symantic.Parser.Machine.Generate
   4   , module Symantic.Parser.Machine.Input
   5   , module Symantic.Parser.Machine.Instructions
   6   , module Symantic.Parser.Machine.Optimize
   7   , module Symantic.Parser.Machine.Program
   8   , module Symantic.Parser.Machine.View
   9   ) where
  10 import Data.Function ((.))
  11 import Data.Ord (Ord)
  12 import System.IO (IO)
  13 import Text.Show (Show)
  14 import qualified Language.Haskell.TH.Syntax as TH
  15
  16 import Symantic.Parser.Grammar
  17 import Symantic.Parser.Machine.Generate
  18 import Symantic.Parser.Machine.Input
  19 import Symantic.Parser.Machine.Instructions
  20 import Symantic.Parser.Machine.Optimize
  21 import Symantic.Parser.Machine.Program
  22 import Symantic.Parser.Machine.View
  23
  24 -- * Type 'Parser'
  25 type Parser inp = ParserRepr Gen inp
  26
  27 -- | Like a 'Parser' but not bound to the 'Gen' interpreter.
  28 type ParserRepr repr inp =
  29   ObserveSharing TH.Name
  30                  (OptimizeGrammar (Program repr inp))
  31
  32 -- | Build a 'Machine' able to 'generateCode' for the given 'Parser'.
  33 machine :: forall inp repr a.
  34   Ord (InputToken inp) =>
  35   Show (InputToken inp) =>
  36   TH.Lift (InputToken inp) =>
  37   Grammar (InputToken inp) (Program repr inp) =>
  38   Machine (InputToken inp) repr =>
  39   ParserRepr repr inp a ->
  40   IO (repr inp '[] a)
  41 machine = optimizeMachine . grammar @(InputToken inp)