Skip to content

Commit

Permalink
Fixup
Browse files Browse the repository at this point in the history
  • Loading branch information
fisx committed Feb 1, 2024
1 parent 7ea3a8c commit d0d2608
Showing 1 changed file with 0 additions and 34 deletions.
34 changes: 0 additions & 34 deletions integration/test/Testlib/PTest.hs
Original file line number Diff line number Diff line change
Expand Up @@ -27,40 +27,6 @@ instance HasTests x => HasTests (Ciphersuite -> x) where
| suite <- allCiphersuites
]

instance HasTests x => HasTests (Bool -> x) where
mkTests m n s f x =
mconcat
[ mkTests m (n <> "[" <> show b1 <> "]") s f (x b1)
| b1 <- [minBound ..]
]

instance HasTests x => HasTests ((Bool, Bool) -> x) where
mkTests m n s f x =
mconcat
[ mkTests m (n <> "[" <> show b1 <> "," <> show b2 <> "]") s f (x (b1, b2))
| b1 <- [minBound ..],
b2 <- [minBound ..]
]

instance HasTests x => HasTests ((Bool, Bool, Bool) -> x) where
mkTests m n s f x =
mconcat
[ mkTests m (n <> "[" <> show b1 <> "," <> show b2 <> "," <> show b3 <> "]") s f (x (b1, b2, b3))
| b1 <- [minBound ..],
b2 <- [minBound ..],
b3 <- [minBound ..]
]

instance HasTests x => HasTests ((Bool, Bool, Bool, Bool) -> x) where
mkTests m n s f x =
mconcat
[ mkTests m (n <> "[" <> show b1 <> "," <> show b2 <> "," <> show b3 <> "," <> show b4 <> "]") s f (x (b1, b2, b3, b4))
| b1 <- [minBound ..],
b2 <- [minBound ..],
b3 <- [minBound ..],
b4 <- [minBound ..]
]

-- | this is to resolve overlapping instances issues.
newtype WithBoundedEnumArg arg x = WithBoundedEnumArg (arg -> x)

Expand Down

0 comments on commit d0d2608

Please sign in to comment.