{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ViewPatterns #-}
-- for Symantic.Parser's TemplateHaskell
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE UnboxedTuples #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-unused-local-binds #-}
module Parsers.Brainfuck.SymanticParser
  ( module Parsers.Brainfuck.SymanticParser
  , module Parsers.Brainfuck.SymanticParser.Grammar
  ) where

import Data.Either (Either)
import Data.String (String)
import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy as BSL
import qualified Data.Text as T
--import qualified Data.Text.Lazy as TL
import qualified Symantic.Parser as SP

-- 'grammar' must be in an another module because of GHC's stage restriction.
import Parsers.Brainfuck.SymanticParser.Grammar (grammar)
import Parsers.Brainfuck.Types (Instruction)

parserByteString :: BS.ByteString -> Either (SP.ParsingError BS.ByteString) [Instruction]
parserByteString = $$(SP.runParser @BS.ByteString grammar)

parserByteStringLazy :: BSL.ByteString -> Either (SP.ParsingError BSL.ByteString) [Instruction]
parserByteStringLazy = $$(SP.runParser @BSL.ByteString grammar)

parserString :: String -> Either (SP.ParsingError String) [Instruction]
parserString = $$(SP.runParser @String grammar)

parserText :: T.Text -> Either (SP.ParsingError T.Text) [Instruction]
parserText = $$(SP.runParser @T.Text grammar)

--parserTextLazy :: TL.Text -> Either (SP.ParsingError TL.Text) [Instruction]
--parserTextLazy = $$(SP.runParser @TL.Text grammar)