{-# LANGUAGE TemplateHaskell #-}
module Test.Data.Connection.Int where

import Data.Connection.Int
import Data.Int
import Data.Word
import Hedgehog
import Test.Data.Connection
import qualified Data.Connection.Property as Prop
import qualified Hedgehog.Gen as G

prop_connections_int16 :: Property
prop_connections_int16 = withTests 1000 . property $ do

  i08 <- forAll $ G.integral (ri @Int8)
  w08 <- forAll $ G.integral (ri @Word8)
  i16 <- forAll $ gen_maybe $ G.integral (ri @Int16)

  i08' <- forAll $ G.integral (ri @Int8)
  w08' <- forAll $ G.integral (ri @Word8)
  i16' <- forAll $ gen_maybe $ G.integral (ri @Int16)

  assert $ Prop.adjointL w08i16 w08 i16
  assert $ Prop.closedL w08i16 w08
  assert $ Prop.kernelL w08i16 i16
  assert $ Prop.monotonicL w08i16 w08 w08' i16 i16'
  assert $ Prop.idempotentL w08i16 w08 i16

  assert $ Prop.adjointL i08i16 i08 i16
  assert $ Prop.closedL i08i16 i08
  assert $ Prop.kernelL i08i16 i16
  assert $ Prop.monotonicL i08i16 i08 i08' i16 i16'
  assert $ Prop.idempotentL i08i16 i08 i16

prop_connections_int32 :: Property
prop_connections_int32 = withTests 1000 . property $ do

  i08 <- forAll $ G.integral (ri @Int8)
  w08 <- forAll $ G.integral (ri @Word8)
  i16 <- forAll $ G.integral (ri @Int16)
  w16 <- forAll $ G.integral (ri @Word16)
  i32 <- forAll $ gen_maybe $ G.integral (ri @Int32)

  i08' <- forAll $ G.integral (ri @Int8)
  w08' <- forAll $ G.integral (ri @Word8)
  i16' <- forAll $ G.integral (ri @Int16)
  w16' <- forAll $ G.integral (ri @Word16)
  i32' <- forAll $ gen_maybe $ G.integral (ri @Int32)

  assert $ Prop.adjointL w08i32 w08 i32
  assert $ Prop.closedL w08i32 w08
  assert $ Prop.kernelL w08i32 i32
  assert $ Prop.monotonicL w08i32 w08 w08' i32 i32'
  assert $ Prop.idempotentL w08i32 w08 i32
  
  assert $ Prop.adjointL w16i32 w16 i32
  assert $ Prop.closedL w16i32 w16
  assert $ Prop.kernelL w16i32 i32
  assert $ Prop.monotonicL w16i32 w16 w16' i32 i32'
  assert $ Prop.idempotentL w16i32 w16 i32

  assert $ Prop.adjointL i08i32 i08 i32
  assert $ Prop.closedL i08i32 i08
  assert $ Prop.kernelL i08i32 i32
  assert $ Prop.monotonicL i08i32 i08 i08' i32 i32'
  assert $ Prop.idempotentL i08i32 i08 i32
  
  assert $ Prop.adjointL i16i32 i16 i32
  assert $ Prop.closedL i16i32 i16
  assert $ Prop.kernelL i16i32 i32
  assert $ Prop.monotonicL i16i32 i16 i16' i32 i32'
  assert $ Prop.idempotentL i16i32 i16 i32

prop_connections_int64 :: Property
prop_connections_int64 = withTests 1000 . property $ do

  i08 <- forAll $ G.integral (ri @Int8)
  w08 <- forAll $ G.integral (ri @Word8)
  i16 <- forAll $ G.integral (ri @Int16)
  w16 <- forAll $ G.integral (ri @Word16)
  i32 <- forAll $ G.integral (ri @Int32)
  w32 <- forAll $ G.integral (ri @Word32)
  i64 <- forAll $ gen_maybe $ G.integral (ri @Int64)

  i08' <- forAll $ G.integral (ri @Int8)
  w08' <- forAll $ G.integral (ri @Word8)
  i16' <- forAll $ G.integral (ri @Int16)
  w16' <- forAll $ G.integral (ri @Word16)
  i32' <- forAll $ G.integral (ri @Int32)
  w32' <- forAll $ G.integral (ri @Word32)
  i64' <- forAll $ gen_maybe $ G.integral (ri @Int64)

  assert $ Prop.adjointL w08i64 w08 i64
  assert $ Prop.closedL w08i64 w08
  assert $ Prop.kernelL w08i64 i64
  assert $ Prop.monotonicL w08i64 w08 w08' i64 i64'
  assert $ Prop.idempotentL w08i64 w08 i64
  
  assert $ Prop.adjointL w16i64 w16 i64
  assert $ Prop.closedL w16i64 w16
  assert $ Prop.kernelL w16i64 i64
  assert $ Prop.monotonicL w16i64 w16 w16' i64 i64'
  assert $ Prop.idempotentL w16i64 w16 i64
  
  assert $ Prop.adjointL w32i64 w32 i64
  assert $ Prop.closedL w32i64 w32
  assert $ Prop.kernelL w32i64 i64
  assert $ Prop.monotonicL w32i64 w32 w32' i64 i64'
  assert $ Prop.idempotentL w32i64 w32 i64

  assert $ Prop.adjointL i08i64 i08 i64
  assert $ Prop.closedL i08i64 i08
  assert $ Prop.kernelL i08i64 i64
  assert $ Prop.monotonicL i08i64 i08 i08' i64 i64'
  assert $ Prop.idempotentL i08i64 i08 i64
  
  assert $ Prop.adjointL i16i64 i16 i64
  assert $ Prop.closedL i16i64 i16
  assert $ Prop.kernelL i16i64 i64
  assert $ Prop.monotonicL i16i64 i16 i16' i64 i64'
  assert $ Prop.idempotentL i16i64 i16 i64
  
  assert $ Prop.adjointL i32i64 i32 i64
  assert $ Prop.closedL i32i64 i32
  assert $ Prop.kernelL i32i64 i64
  assert $ Prop.monotonicL i32i64 i32 i32' i64 i64'
  assert $ Prop.idempotentL i32i64 i32 i64

prop_connections_int :: Property
prop_connections_int = withTests 1000 . property $ do

  i08 <- forAll $ G.integral (ri @Int8)
  w08 <- forAll $ G.integral (ri @Word8)
  i16 <- forAll $ G.integral (ri @Int16)
  w16 <- forAll $ G.integral (ri @Word16)
  i32 <- forAll $ G.integral (ri @Int32)
  w32 <- forAll $ G.integral (ri @Word32)
  i64 <- forAll $ G.integral (ri @Int64)
  ixx <- forAll $ gen_maybe $ G.integral (ri @Int)
  int <- forAll $ G.integral (ri @Int)

  i08' <- forAll $ G.integral (ri @Int8)
  w08' <- forAll $ G.integral (ri @Word8)
  i16' <- forAll $ G.integral (ri @Int16)
  w16' <- forAll $ G.integral (ri @Word16)
  i32' <- forAll $ G.integral (ri @Int32)
  w32' <- forAll $ G.integral (ri @Word32)
  i64' <- forAll $ G.integral (ri @Int64)
  ixx' <- forAll $ gen_maybe $ G.integral (ri @Int)
  int' <- forAll $ G.integral (ri @Int)

  assert $ Prop.adjointL w08ixx w08 ixx
  assert $ Prop.closedL w08ixx w08
  assert $ Prop.kernelL w08ixx ixx
  assert $ Prop.monotonicL w08ixx w08 w08' ixx ixx'
  assert $ Prop.idempotentL w08ixx w08 ixx
  
  assert $ Prop.adjointL w16ixx w16 ixx
  assert $ Prop.closedL w16ixx w16
  assert $ Prop.kernelL w16ixx ixx
  assert $ Prop.monotonicL w16ixx w16 w16' ixx ixx'
  assert $ Prop.idempotentL w16ixx w16 ixx
  
  assert $ Prop.adjointL w32ixx w32 ixx
  assert $ Prop.closedL w32ixx w32
  assert $ Prop.kernelL w32ixx ixx
  assert $ Prop.monotonicL w32ixx w32 w32' ixx ixx'
  assert $ Prop.idempotentL w32ixx w32 ixx

  assert $ Prop.adjointL i08ixx i08 ixx
  assert $ Prop.closedL i08ixx i08
  assert $ Prop.kernelL i08ixx ixx
  assert $ Prop.monotonicL i08ixx i08 i08' ixx ixx'
  assert $ Prop.idempotentL i08ixx i08 ixx
  
  assert $ Prop.adjointL i16ixx i16 ixx
  assert $ Prop.closedL i16ixx i16
  assert $ Prop.kernelL i16ixx ixx
  assert $ Prop.monotonicL i16ixx i16 i16' ixx ixx'
  assert $ Prop.idempotentL i16ixx i16 ixx
  
  assert $ Prop.adjointL i32ixx i32 ixx
  assert $ Prop.closedL i32ixx i32
  assert $ Prop.kernelL i32ixx ixx
  assert $ Prop.monotonicL i32ixx i32 i32' ixx ixx'
  assert $ Prop.idempotentL i32ixx i32 ixx
  
  assert $ Prop.adjoint i64ixx i64 int
  assert $ Prop.closed i64ixx i64
  assert $ Prop.kernel i64ixx int
  assert $ Prop.monotonic i64ixx i64 i64' int int'
  assert $ Prop.idempotent i64ixx i64 int

prop_connections_integer :: Property
prop_connections_integer = withTests 1000 . property $ do

  i08 <- forAll $ G.integral (ri @Int8)
  w08 <- forAll $ G.integral (ri @Word8)
  i16 <- forAll $ G.integral (ri @Int16)
  w16 <- forAll $ G.integral (ri @Word16)
  i32 <- forAll $ G.integral (ri @Int32)
  w32 <- forAll $ G.integral (ri @Word32)
  i64 <- forAll $ G.integral (ri @Int64)
  w64 <- forAll $ G.integral (ri @Word64)
  ixx <- forAll $ G.integral (ri @Int)
  wxx <- forAll $ G.integral (ri @Word)
  int <- forAll $ gen_maybe $ G.integral ri'
  nat <- forAll $ G.integral rn

  i08' <- forAll $ G.integral (ri @Int8)
  w08' <- forAll $ G.integral (ri @Word8)
  i16' <- forAll $ G.integral (ri @Int16)
  w16' <- forAll $ G.integral (ri @Word16)
  i32' <- forAll $ G.integral (ri @Int32)
  w32' <- forAll $ G.integral (ri @Word32)
  i64' <- forAll $ G.integral (ri @Int64)
  w64' <- forAll $ G.integral (ri @Word64)
  ixx' <- forAll $ G.integral (ri @Int)
  wxx' <- forAll $ G.integral (ri @Word)
  int' <- forAll $ gen_maybe (G.integral ri')
  nat' <- forAll $ G.integral rn
  
  assert $ Prop.adjointL w08int w08 int
  assert $ Prop.closedL w08int w08
  assert $ Prop.kernelL w08int int
  assert $ Prop.monotonicL w08int w08 w08' int int'
  assert $ Prop.idempotentL w08int w08 int
  
  assert $ Prop.adjointL w16int w16 int
  assert $ Prop.closedL w16int w16
  assert $ Prop.kernelL w16int int
  assert $ Prop.monotonicL w16int w16 w16' int int'
  assert $ Prop.idempotentL w16int w16 int
  
  assert $ Prop.adjointL w32int w32 int
  assert $ Prop.closedL w32int w32
  assert $ Prop.kernelL w32int int
  assert $ Prop.monotonicL w32int w32 w32' int int'
  assert $ Prop.idempotentL w32int w32 int
  
  assert $ Prop.adjointL w64int w64 int
  assert $ Prop.closedL w64int w64
  assert $ Prop.kernelL w64int int
  assert $ Prop.monotonicL w64int w64 w64' int int'
  assert $ Prop.idempotentL w64int w64 int
 
  assert $ Prop.adjointL wxxint wxx int
  assert $ Prop.closedL wxxint wxx
  assert $ Prop.kernelL wxxint int
  assert $ Prop.monotonicL wxxint wxx wxx' int int'
  assert $ Prop.idempotentL wxxint wxx int

  assert $ Prop.adjointL natint nat int
  assert $ Prop.closedL natint nat
  assert $ Prop.kernelL natint int
  assert $ Prop.monotonicL natint nat nat' int int'
  assert $ Prop.idempotentL natint nat int
 
  
  assert $ Prop.adjointL i08int i08 int
  assert $ Prop.closedL i08int i08
  assert $ Prop.kernelL i08int int
  assert $ Prop.monotonicL i08int i08 i08' int int'
  assert $ Prop.idempotentL i08int i08 int
  
  assert $ Prop.adjointL i16int i16 int
  assert $ Prop.closedL i16int i16
  assert $ Prop.kernelL i16int int
  assert $ Prop.monotonicL i16int i16 i16' int int'
  assert $ Prop.idempotentL i16int i16 int
  
  assert $ Prop.adjointL i32int i32 int
  assert $ Prop.closedL i32int i32
  assert $ Prop.kernelL i32int int
  assert $ Prop.monotonicL i32int i32 i32' int int'
  assert $ Prop.idempotentL i32int i32 int
  
  assert $ Prop.adjointL i64int i64 int
  assert $ Prop.closedL i64int i64
  assert $ Prop.kernelL i64int int
  assert $ Prop.monotonicL i64int i64 i64' int int'
  assert $ Prop.idempotentL i64int i64 int
 
  assert $ Prop.adjointL ixxint ixx int
  assert $ Prop.closedL ixxint ixx
  assert $ Prop.kernelL ixxint int
  assert $ Prop.monotonicL ixxint ixx ixx' int int'
  assert $ Prop.idempotentL ixxint ixx int



tests :: IO Bool
tests = checkParallel $$(discover)