QC
data Card Source #
Constructors
Defined in QC
Methods
arbitrary :: Gen Card #
shrink :: Card -> [Card] #
showsPrec :: Int -> Card -> ShowS #
show :: Card -> String #
showList :: [Card] -> ShowS #
(==) :: Card -> Card -> Bool #
(/=) :: Card -> Card -> Bool #
data Info Source #
arbitrary :: Gen Info #
shrink :: Info -> [Info] #
showsPrec :: Int -> Info -> ShowS #
show :: Info -> String #
showList :: [Info] -> ShowS #
(==) :: Info -> Info -> Bool #
(/=) :: Info -> Info -> Bool #
data List a Source #
arbitrary :: Gen (List a) #
shrink :: List a -> [List a] #
showsPrec :: Int -> List a -> ShowS #
show :: List a -> String #
showList :: [List a] -> ShowS #
(==) :: List a -> List a -> Bool #
(/=) :: List a -> List a -> Bool #
data Expr Source #
arbitrary :: Gen Expr #
shrink :: Expr -> [Expr] #
showsPrec :: Int -> Expr -> ShowS #
show :: Expr -> String #
showList :: [Expr] -> ShowS #
(==) :: Expr -> Expr -> Bool #
(/=) :: Expr -> Expr -> Bool #
arbExpr :: Int -> Gen Expr Source #
prettyE :: Expr -> String Source #
prop_map :: (Int -> Int) -> (Int -> Int) -> [Int] -> Bool Source #