Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
arbitraryR :: Random a => (a, a) -> Gen a Source #
arbitraryUnit :: Gen () Source #
coarbitraryUnit :: Coarb () b Source #
arbitraryBool :: Gen Bool Source #
coarbitraryBool :: Coarb Bool b Source #
arbitraryInt :: Gen Int Source #
coarbitraryInt :: Coarb Int b Source #
coarbitraryFloat :: Coarb Float b Source #
coarbitraryDouble :: Coarb Double b Source #
arbitraryRealFloat :: RealFloat a => Gen a Source #
coarbitraryRealFloat :: RealFloat a => Coarb a b Source #
arbitraryChar :: Gen Char Source #
arbitraryList :: Gen a -> Gen [a] Source #
coarbitraryList :: Coarb a b -> Coarb [a] b Source #
class Arbitrary a where Source #
Instances
Arbitrary Bool Source # | |
Arbitrary Char Source # | |
Arbitrary Double Source # | |
Arbitrary Float Source # | |
Arbitrary Int Source # | |
Arbitrary Integer Source # | |
Arbitrary Ordering Source # | |
Arbitrary () Source # | |
Defined in MagicHaskeller.MyCheck | |
Arbitrary a => Arbitrary [a] Source # | |
Defined in MagicHaskeller.MyCheck | |
Arbitrary a => Arbitrary (Maybe a) Source # | |
(Integral i, Random i) => Arbitrary (Ratio i) Source # | |
(Coarbitrary a, Arbitrary b) => Arbitrary (a -> b) Source # | |
Defined in MagicHaskeller.MyCheck | |
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b) Source # | |
(Arbitrary a, Arbitrary b) => Arbitrary (a, b) Source # | |
Defined in MagicHaskeller.MyCheck | |
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c) Source # | |
Defined in MagicHaskeller.MyCheck |
class Coarbitrary a where Source #
coarbitrary :: a -> Gen b -> Gen b Source #