module Data.Syntax.Printer.Text (
Printer,
runPrinter
)
where
import Control.Monad
import Data.SemiIsoFunctor
import Data.Syntax
import Data.Syntax.Char
import Data.Syntax.Printer.Consumer
import Data.Text (Text)
import qualified Data.Text as T
import Data.Text.Lazy.Builder
import qualified Data.Text.Lazy.Builder.Int as B
import qualified Data.Text.Lazy.Builder.RealFloat as B
import qualified Data.Text.Lazy.Builder.Scientific as B
newtype Printer a = Printer { getConsumer :: Consumer Builder a }
deriving (SemiIsoFunctor, SemiIsoApply, SemiIsoAlternative, SemiIsoMonad)
instance Syntax Printer Text where
anyChar = Printer . Consumer $ Right . singleton
take n = Printer . Consumer $ Right . fromText . T.take n
takeWhile p = Printer . Consumer $ Right . fromText . T.takeWhile p
takeWhile1 p = Printer . Consumer $ Right . fromText <=< notNull . T.takeWhile p
where notNull t | T.null t = Left "takeWhile1 failed"
| otherwise = Right t
takeTill1 p = Printer . Consumer $ Right . fromText <=< notNull . T.takeWhile (not . p)
where notNull t | T.null t = Left "takeTill1 failed"
| otherwise = Right t
instance SyntaxChar Printer Text where
decimal = Printer . Consumer $ Right . B.decimal
hexadecimal = Printer . Consumer $ Right . B.hexadecimal
realFloat = Printer . Consumer $ Right . B.realFloat
scientific = Printer . Consumer $ Right . B.scientificBuilder
runPrinter :: Printer a -> a -> Either String Builder
runPrinter = runConsumer . getConsumer