{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE DataKinds #-}
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 $ gen_extended $ G.integral (ri @Int8)
  w08 <- forAll $ gen_extended $ G.integral (ri @Word8)
  i16 <- forAll $ G.integral (ri @Int16)

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

  assert $ Prop.adjoint w08i16 w08 i16
  assert $ Prop.closed w08i16 w08
  assert $ Prop.kernel w08i16 i16
  assert $ Prop.monotonic w08i16 w08 w08' i16 i16'
  assert $ Prop.idempotent w08i16 w08 i16

  assert $ Prop.adjoint i08i16 i08 i16
  assert $ Prop.closed i08i16 i08
  assert $ Prop.kernel i08i16 i16
  assert $ Prop.monotonic i08i16 i08 i08' i16 i16'
  assert $ Prop.idempotent i08i16 i08 i16

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

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

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

  assert $ Prop.adjoint w08i32 w08 i32
  assert $ Prop.closed w08i32 w08
  assert $ Prop.kernel w08i32 i32
  assert $ Prop.monotonic w08i32 w08 w08' i32 i32'
  assert $ Prop.idempotent w08i32 w08 i32
  
  assert $ Prop.adjoint w16i32 w16 i32
  assert $ Prop.closed w16i32 w16
  assert $ Prop.kernel w16i32 i32
  assert $ Prop.monotonic w16i32 w16 w16' i32 i32'
  assert $ Prop.idempotent w16i32 w16 i32

  assert $ Prop.adjoint i08i32 i08 i32
  assert $ Prop.closed i08i32 i08
  assert $ Prop.kernel i08i32 i32
  assert $ Prop.monotonic i08i32 i08 i08' i32 i32'
  assert $ Prop.idempotent i08i32 i08 i32
  
  assert $ Prop.adjoint i16i32 i16 i32
  assert $ Prop.closed i16i32 i16
  assert $ Prop.kernel i16i32 i32
  assert $ Prop.monotonic i16i32 i16 i16' i32 i32'
  assert $ Prop.idempotent i16i32 i16 i32

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

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

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

  assert $ Prop.adjoint w08i64 w08 i64
  assert $ Prop.closed w08i64 w08
  assert $ Prop.kernel w08i64 i64
  assert $ Prop.monotonic w08i64 w08 w08' i64 i64'
  assert $ Prop.idempotent w08i64 w08 i64
  
  assert $ Prop.adjoint w16i64 w16 i64
  assert $ Prop.closed w16i64 w16
  assert $ Prop.kernel w16i64 i64
  assert $ Prop.monotonic w16i64 w16 w16' i64 i64'
  assert $ Prop.idempotent w16i64 w16 i64
  
  assert $ Prop.adjoint w32i64 w32 i64
  assert $ Prop.closed w32i64 w32
  assert $ Prop.kernel w32i64 i64
  assert $ Prop.monotonic w32i64 w32 w32' i64 i64'
  assert $ Prop.idempotent w32i64 w32 i64

  assert $ Prop.adjoint i08i64 i08 i64
  assert $ Prop.closed i08i64 i08
  assert $ Prop.kernel i08i64 i64
  assert $ Prop.monotonic i08i64 i08 i08' i64 i64'
  assert $ Prop.idempotent i08i64 i08 i64
  
  assert $ Prop.adjoint i16i64 i16 i64
  assert $ Prop.closed i16i64 i16
  assert $ Prop.kernel i16i64 i64
  assert $ Prop.monotonic i16i64 i16 i16' i64 i64'
  assert $ Prop.idempotent i16i64 i16 i64
  
  assert $ Prop.adjoint i32i64 i32 i64
  assert $ Prop.closed i32i64 i32
  assert $ Prop.kernel i32i64 i64
  assert $ Prop.monotonic i32i64 i32 i32' i64 i64'
  assert $ Prop.idempotent i32i64 i32 i64

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

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

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

  assert $ Prop.adjoint w08ixx w08 ixx
  assert $ Prop.closed w08ixx w08
  assert $ Prop.kernel w08ixx ixx
  assert $ Prop.monotonic w08ixx w08 w08' ixx ixx'
  assert $ Prop.idempotent w08ixx w08 ixx
  
  assert $ Prop.adjoint w16ixx w16 ixx
  assert $ Prop.closed w16ixx w16
  assert $ Prop.kernel w16ixx ixx
  assert $ Prop.monotonic w16ixx w16 w16' ixx ixx'
  assert $ Prop.idempotent w16ixx w16 ixx
  
  assert $ Prop.adjoint w32ixx w32 ixx
  assert $ Prop.closed w32ixx w32
  assert $ Prop.kernel w32ixx ixx
  assert $ Prop.monotonic w32ixx w32 w32' ixx ixx'
  assert $ Prop.idempotent w32ixx w32 ixx

  assert $ Prop.adjoint i08ixx i08 ixx
  assert $ Prop.closed i08ixx i08
  assert $ Prop.kernel i08ixx ixx
  assert $ Prop.monotonic i08ixx i08 i08' ixx ixx'
  assert $ Prop.idempotent i08ixx i08 ixx
  
  assert $ Prop.adjoint i16ixx i16 ixx
  assert $ Prop.closed i16ixx i16
  assert $ Prop.kernel i16ixx ixx
  assert $ Prop.monotonic i16ixx i16 i16' ixx ixx'
  assert $ Prop.idempotent i16ixx i16 ixx
  
  assert $ Prop.adjoint i32ixx i32 ixx
  assert $ Prop.closed i32ixx i32
  assert $ Prop.kernel i32ixx ixx
  assert $ Prop.monotonic i32ixx i32 i32' ixx ixx'
  assert $ Prop.idempotent i32ixx i32 ixx

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

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

  i08' <- forAll $ gen_extended $ G.integral (ri @Int8)
  w08' <- forAll $ gen_extended $ G.integral (ri @Word8)
  i16' <- forAll $ gen_extended $ G.integral (ri @Int16)
  w16' <- forAll $ gen_extended $ G.integral (ri @Word16)
  i32' <- forAll $ gen_extended $ G.integral (ri @Int32)
  w32' <- forAll $ gen_extended $ G.integral (ri @Word32)
  i64' <- forAll $ gen_extended $ G.integral (ri @Int64)
  w64' <- forAll $ gen_extended $ G.integral (ri @Word64)
  ixx' <- forAll $ gen_extended $ G.integral (ri @Int)
  wxx' <- forAll $ gen_extended $ G.integral (ri @Word)
  int' <- forAll $ gen_maybe (G.integral ri')
  
  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 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)