module Main where

import LogParser
import Test.QuickCheck
import Text.Trifecta

maybeSuccess :: Text.Trifecta.Result a -> Maybe a
maybeSuccess (Text.Trifecta.Success a) = Just a
maybeSuccess _ = Nothing

main :: IO ()
main = do
    quickCheck ((\s -> (maybeSuccess $ parseString parseStatement mempty (show s)) == (Just s)) :: Statement -> Bool)
    quickCheck ((\s -> (maybeSuccess $ parseString parseLogEntry mempty (show s)) == (Just s)) :: LogEntry -> Bool)