Safe Haskell | None |
---|---|
Language | Haskell2010 |
- prop_b_ii :: BitSet -> Bool
- prop_b_ii_nn :: BitSet -> Bool
- prop_b_iii :: BitSet -> Bool
- prop_b_iii_nnn :: BitSet -> Bool
- prop_bii_i :: BS2I First Last -> Bool
- prop_bii_i_n :: BS2I First Last -> Bool
- prop_bii_e :: BS2I First Last -> Bool
- prop_bii_ie :: BS2I First Last -> Bool
- prop_bii_ie_n :: BS2I First Last -> Bool
- prop_bii_iee :: BS2I First Last -> Bool
- prop_bii_ieee :: BS2I First Last -> Bool
- prop_bii_iee_n :: BS2I First Last -> Bool
- prop_bii_ieee_n :: BS2I First Last -> Bool
- highBit :: Int
- highestB :: BitSet
- highestBII :: (:>) ((:>) BitSet (Interface First)) (Interface Last)
- xsB :: Unboxed BitSet Int
- xoB :: Unboxed (Outside BitSet) Int
- xsBII :: Unboxed ((BitSet :> Interface First) :> Interface Last) Int
- options :: Args
- customCheck :: Property -> IO Result
- allProps :: IO Bool
BitSets without interfaces
Inside checks
prop_b_ii_nn :: BitSet -> Bool Source
prop_b_iii :: BitSet -> Bool Source
prop_b_iii_nnn :: BitSet -> Bool Source
Outside checks
Two non-terminals.
BitSets with two interfaces
Inside checks
prop_bii_ie :: BS2I First Last -> Bool Source
Edges extend only in cases where in i -> j
, i
actually happens to
be a true interface.
Helper functions
general quickcheck stuff
customCheck :: Property -> IO Result Source