comments
commit8b30dd95d6f1c40b6696814c715a082b0dc8cc3d
authorAleksey Uymanov <s9gf4ult@gmail.com>
dateSat 31 Jul 2021, 17:55 (5 years ago)
parentf131d69
src/Test/QuickCheck/Arbitrary/Generic.hs−1
@@ -65,7 +65,6 @@ type family AllFieldsFinal self (a :: * -> *) :: Bool where
6565
6666type family Finite self (a :: * -> *) :: Bool where
6767 Finite self U1 = 'True
68− -- | The constructor field is the ADT itself. Not finite.
6968 Finite self (K1 R self) = 'False
7069 Finite self (K1 R other) = 'True
7170 Finite self (a :*: b) = Finite self a && Finite self b