src/Symantic/Parser/Automaton.hs

   1 module Symantic.Parser.Automaton
   2  ( module Symantic.Parser.Automaton.Instructions
   3  ) where
   4 import Symantic.Parser.Automaton.Instructions
   5
   6 import Symantic.Parser.Grammar
   7 import Data.Function ((.))
   8 import qualified Data.Functor as Functor
   9 import System.IO (IO)
  10 import qualified Language.Haskell.TH.Syntax as TH
  11
  12 generateAutomaton ::
  13   Grammar repr =>
  14   ObserveSharing TH.Name (OptimizeComb TH.Name repr) a -> IO (repr a)
  15 generateAutomaton = (optimizeComb Functor.<$>) . observeSharing