Safe Haskell	None

ADP.Fusion.QuickCheck

Contents

Single character plus peeking
working on PointLs
general quickcheck stuff

Synopsis

Documentation

prop_R :: Subword -> Bool Source

Check if a single region returns the correct result (namely a slice from the input).

prop_RR :: Subword -> Bool Source

Two regions next to each other.

prop_RRR :: Subword -> Property Source

And finally, three regions (with smaller subword sizes only)

prop_SSS :: Subword -> Bool Source

Three sized regions (with smaller subword sizes only)

prop_C :: Subword -> Bool Source

Single-character parser.

prop_CC :: Subword -> Bool Source

2x Single-character parser.

Single character plus peeking

prop_PlC :: Subword -> Bool Source

prop_PrC :: Subword -> Bool Source

prop_CPr :: Subword -> Bool Source

prop_CPl :: Subword -> Bool Source

prop_CRC :: Subword -> Bool Source

2x Single-character parser bracketing a single region.

prop_CRRC :: Subword -> Bool Source

2x Single-character parser bracketing regions.

prop_CRCRC :: Subword -> Bool Source

complex behaviour with characters and regions

prop_Interior1 :: Subword -> Bool Source

Interior-loop like structures.

prop_Interior2 :: Subword -> Bool Source

prop_Interior3 :: Subword -> Bool Source

prop_Interior4 :: Subword -> Bool Source

prop_Interior5 :: Subword -> Bool Source

prop_Mt :: Subword -> Property Source

A single mutable table should return one result.

prop_MtC :: Subword -> Property Source

table, then character.

prop_CMt :: Subword -> Property Source

Character, then table.

prop_MtMt :: Subword -> Property Source

Two mutable tables. Basically like Region's.

prop_CMtCMtC :: Subword -> Property Source

Just to make it more interesting, sprinkle in some Chr symbols.

prop_CMnCMnC :: Subword -> Property Source

And now with non-empty tables.

prop_Tc :: :. Z Subword -> Bool Source

prop_Tcc :: :. (:. Z Subword) Subword -> Bool Source

prop_TcTc :: :. Z Subword -> Bool Source

prop_TccTcc :: :. (:. Z Subword) Subword -> Bool Source

prop_Mt2 :: :. Z Subword -> Property Source

prop_MtMt2 :: :. Z Subword -> Property Source

prop_MtMtMt2 :: :. Z Subword -> Property Source

prop_TcMtTc :: :. Z Subword -> Property Source

prop_2dim :: :. (:. Z TinySubword) TinySubword -> Property Source

prop_2dimCMCMC :: :. (:. Z TinySubword) TinySubword -> Property Source

working on `PointL`s

prop_P_Tt :: :. Z PointL -> Bool Source

prop_P_CC :: :. Z PointL -> Bool Source

prop_P_2dimCMCMC :: :. (:. Z PointL) PointL -> Property Source

xs :: Vector Int Source

data set. Can be made fixed as the maximal subword size is statically known!

mxsSwSw :: MutArr IO (Unboxed (:. (:. Z Subword) Subword) Int)Source

mxsPP :: MutArr IO (Unboxed (:. (:. Z PointL) PointL) Int)Source

general quickcheck stuff

options :: Args Source

customCheck :: Testable prop => prop -> IO Result Source

allProps :: IO Bool Source

newtype Small Source

Constructors

Small Int

Instances

Show Small
Arbitrary Small

newtype TinySubword Source