ArbitraryF [] | |
ArbitraryF Maybe | |
Arbitrary b0 => ArbitraryF ((,) b0) | |
ArbitraryF f => ArbitraryF (Context f) | This lifts instances of ArbitraryF to instances of ArbitraryF for
the corresponding context functor.
|
(Arbitrary b0, Arbitrary c0) => ArbitraryF ((,,) b0 c0) | |
(ArbitraryF f, Arbitrary p) => ArbitraryF (:&: f p) | |
(ArbitraryF f, ArbitraryF g) => ArbitraryF (:+: f g) | Instances of ArbitraryF are closed under forming sums.
|
(Arbitrary b0, Arbitrary c0, Arbitrary d0) => ArbitraryF ((,,,) b0 c0 d0) | |
(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0) => ArbitraryF ((,,,,) b0 c0 d0 e0) | |
(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0) => ArbitraryF ((,,,,,) b0 c0 d0 e0 f0) | |
(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0) => ArbitraryF ((,,,,,,) b0 c0 d0 e0 f0 g0) | |
(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0, Arbitrary h0) => ArbitraryF ((,,,,,,,) b0 c0 d0 e0 f0 g0 h0) | |
(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0, Arbitrary h0, Arbitrary i0) => ArbitraryF ((,,,,,,,,) b0 c0 d0 e0 f0 g0 h0 i0) | |
(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0, Arbitrary h0, Arbitrary i0, Arbitrary j0) => ArbitraryF ((,,,,,,,,,) b0 c0 d0 e0 f0 g0 h0 i0 j0) | |