ADPfusion-0.4.0.1: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.QuickCheck.Set

Contents

Synopsis

BitSets without interfaces

Inside checks

prop_b_ii :: BitSet -> Bool Source

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_i :: BS2I First Last -> Bool Source

prop_bii_i_n :: BS2I First Last -> Bool Source

prop_bii_e :: BS2I First Last -> Bool Source

Edges should never work as a single terminal element.

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.

prop_bii_ie_n :: BS2I First Last -> Bool Source

prop_bii_iee :: BS2I First Last -> Bool Source

prop_bii_ieee :: BS2I First Last -> Bool Source

prop_bii_iee_n :: BS2I First Last -> Bool Source

prop_bii_ieee_n :: BS2I First Last -> Bool Source

Helper functions

highBit :: Int Source

highestB :: BitSet Source

highestBII :: (:>) ((:>) BitSet (Interface First)) (Interface Last) Source

xsB :: Unboxed BitSet Int Source

xoB :: Unboxed (Outside BitSet) Int Source

xsBII :: Unboxed ((BitSet :> Interface First) :> Interface Last) Int Source

general quickcheck stuff

options :: Args Source

customCheck :: Property -> IO Result Source

allProps :: IO Bool Source