15 lines
463 B
Haskell
15 lines
463 B
Haskell
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)
|