Safe Haskell	None
Language	Haskell2010

MagicHaskeller.MyCheck

Documentation

newtype Gen a Source #

Constructors

Gen
Fields unGen :: Int -> StdGen -> a

Instances

Instances details

Monad Gen Source #
Instance details Defined in MagicHaskeller.MyCheck Methods (>>=) :: Gen a -> (a -> Gen b) -> Gen b # (>>) :: Gen a -> Gen b -> Gen b # return :: a -> Gen a #
Functor Gen Source #
Instance details Defined in MagicHaskeller.MyCheck Methods fmap :: (a -> b) -> Gen a -> Gen b # (<$) :: a -> Gen b -> Gen a #
Applicative Gen Source #
Instance details Defined in MagicHaskeller.MyCheck Methods pure :: a -> Gen a # (<>) :: Gen (a -> b) -> Gen a -> Gen b # liftA2 :: (a -> b -> c) -> Gen a -> Gen b -> Gen c # (>) :: Gen a -> Gen b -> Gen b # (<*) :: Gen a -> Gen b -> Gen a #

type Coarb a b = a -> Gen b -> Gen b Source #

sized :: (Int -> Gen a) -> Gen a Source #

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 #

arbitraryInteger :: Gen Integer Source #

coarbitraryInteger :: Coarb Integer b Source #

arbitraryIntegral :: (Random i, Integral i) => Gen i Source #

logvariant :: (Bits i, Integral i) => i -> Gen a -> Gen a Source #

newvariant :: (Bits i, Integral i) => i -> Gen a -> Gen a Source #

arbitraryFloat :: Gen Float Source #

arbitraryDouble :: Gen Double Source #

coarbitraryFloat :: Coarb Float b Source #

coarbitraryDouble :: Coarb Double b Source #

fraction :: Fractional a => Integer -> Integer -> Integer -> a Source #

arbitraryRealFloat :: RealFloat a => Gen a Source #

coarbitraryRealFloat :: RealFloat a => Coarb a b Source #

arbitraryChar :: Gen Char Source #

retSpc :: Gen Char Source #

arbASC :: Gen Char Source #

arbNum :: Gen Char Source #

arbLow :: Gen Char Source #

arbUpp :: Gen Char Source #

coarbitraryChar :: Char -> Gen a -> Gen a Source #

arbitraryOrdering :: Gen Ordering Source #

arbitraryRatio :: (Random i, Integral i) => Gen (Ratio i) Source #

arbitraryMaybe :: Gen a -> Gen (Maybe a) Source #

arbitraryList :: Gen a -> Gen [a] Source #

k :: Int Source #

lg :: (Integral a, Integral b) => a -> b Source #

lg' :: Word32 -> Word8 Source #

multiplyDeBruijnBitPosition :: ByteString Source #

arbitraryPair :: Gen a -> Gen b -> Gen (a, b) Source #

arbitraryEither :: Gen a -> Gen b -> Gen (Either a b) Source #

arbitraryTriplet :: Gen a -> Gen b -> Gen c -> Gen (a, b, c) Source #

arbitraryFun :: Coarb a b -> Gen b -> Gen (a -> b) Source #

arbitraryRational :: Gen Rational Source #

coarbitraryOrdering :: Coarb Ordering b Source #

coarbitraryList :: Coarb a b -> Coarb [a] b Source #

coarbitraryMaybe :: Coarb a b -> Coarb (Maybe a) b Source #

coarbitraryEither :: Coarb a c -> Coarb b c -> Coarb (Either a b) c Source #

coarbitraryRatio :: (Bits a, Integral a) => Coarb (Ratio a) b Source #

coarbitraryPair :: Coarb a c -> Coarb b c -> Coarb (a, b) c Source #

coarbitraryTriplet :: Coarb a d -> Coarb b d -> Coarb c d -> Coarb (a, b, c) d Source #

coarbitraryFun :: Gen a -> Coarb b d -> Coarb (a -> b) d Source #

class Arbitrary a where Source #

Methods

arbitrary :: Gen a Source #

Instances

Instances details

Arbitrary Bool Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Bool Source #
Arbitrary Char Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Char Source #
Arbitrary Double Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Double Source #
Arbitrary Float Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Float Source #
Arbitrary Int Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Int Source #
Arbitrary Integer Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Integer Source #
Arbitrary Ordering Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen Ordering Source #
Arbitrary () Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen () Source #
Arbitrary a => Arbitrary [a] Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen [a] Source #
Arbitrary a => Arbitrary (Maybe a) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (Maybe a) Source #
(Integral i, Random i) => Arbitrary (Ratio i) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (Ratio i) Source #
(Coarbitrary a, Arbitrary b) => Arbitrary (a -> b) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (a -> b) Source #
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (Either a b) Source #
(Arbitrary a, Arbitrary b) => Arbitrary (a, b) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (a, b) Source #
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (a, b, c) Source #

class Coarbitrary a where Source #

Methods

coarbitrary :: a -> Gen b -> Gen b Source #

Instances

Instances details

Coarbitrary Bool Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Bool -> Gen b -> Gen b Source #
Coarbitrary Char Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Char -> Gen b -> Gen b Source #
Coarbitrary Double Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Double -> Gen b -> Gen b Source #
Coarbitrary Float Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Float -> Gen b -> Gen b Source #
Coarbitrary Int Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Int -> Gen b -> Gen b Source #
Coarbitrary Integer Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Integer -> Gen b -> Gen b Source #
Coarbitrary Ordering Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Ordering -> Gen b -> Gen b Source #
Coarbitrary () Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: () -> Gen b -> Gen b Source #
Coarbitrary a => Coarbitrary [a] Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: [a] -> Gen b -> Gen b Source #
Coarbitrary a => Coarbitrary (Maybe a) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Maybe a -> Gen b -> Gen b Source #
(Integral i, Bits i) => Coarbitrary (Ratio i) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Ratio i -> Gen b -> Gen b Source #
(Arbitrary a, Coarbitrary b) => Coarbitrary (a -> b) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: (a -> b) -> Gen b0 -> Gen b0 Source #
(Coarbitrary a, Coarbitrary b) => Coarbitrary (Either a b) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Either a b -> Gen b0 -> Gen b0 Source #
(Coarbitrary a, Coarbitrary b) => Coarbitrary (a, b) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: (a, b) -> Gen b0 -> Gen b0 Source #
(Coarbitrary a, Coarbitrary b, Coarbitrary c) => Coarbitrary (a, b, c) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: (a, b, c) -> Gen b0 -> Gen b0 Source #