{-# LANGUAGE TypeApplications #-}

module Main (main) where

import           Data.Proxy            (Proxy (..))
import           Data.Semiring         (Add, Mul)
import           Data.Semiring.Free
import           Data.Semiring.Numeric
import           Data.Set              (Set)
import           Data.Word             (Word8)
import           Test.DocTest
import           Test.QuickCheck
import           Test.Semiring

smallCheck :: Testable prop => prop -> IO ()
smallCheck = quickCheckWith (stdArgs { maxSuccess = 40, maxSize = 30})

main :: IO ()
main = do
  smallCheck (semiringLaws (Proxy :: Proxy (Free Word8)))
  quickCheck (semiringLaws (Proxy :: Proxy [Integer]))
  quickCheck (semiringLaws (Proxy :: Proxy Integer))
  quickCheck (semiringLaws (Proxy :: Proxy Bool))
  quickCheck (semiringLaws (Proxy :: Proxy (Add Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Mul Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Integer,Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Integer,Integer,Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Integer,Integer,Integer,Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Integer,Integer,Integer,Integer,Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Set (Add Word8)) ))
  quickCheck (semiringLaws (Proxy :: Proxy (Division Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Bottleneck Int)))
  quickCheck (semiringLaws (Proxy :: Proxy (Łukasiewicz Integer)))
  quickCheck (semiringLaws (Proxy :: Proxy (Viterbi Integer)))
  doctest [ "-isrc"
          , "src/Data/Semiring.hs"
          , "src/Data/Semiring/Numeric.hs"
          , "src/Test/Semiring.hs"
          , "src/Data/Semiring/Free.hs" ]