ADP.Fusion.QuickCheck.Point

Epsilon cases

prop_Epsilon

prop_O_Epsilon

prop_ZEpsilon

prop_O_ZEpsilon

prop_O_ZEpsilonEpsilon

Deletion cases

prop_O_ItNC

prop_O_ZItNC

prop_O_2dimIt_NC_CN

prop_2dimIt_NC_CN

terminal cases

prop_Tt

prop_CC

prop_It

prop_O_It

prop_ZIt

prop_O_ZIt

prop_ItC

prop_O_ItC

prop_O_ItCC

prop_O_ZItCC

prop_2dimItCC

prop_O_2dimItCC

direct index tests

xprop_O_ixZItCC

Strng tests

Just the Strng terminal

prop_ManyS

prop_SomeS

prop_2dim_ManyS_ManyS

prop_2dim_SomeS_SomeS

Together with a syntactic variable.

prop_Itbl_ManyS

prop_Itbl_SomeS

prop_1dim_Itbl_ManyS

prop_1dim_Itbl_SomeS

prop_2dim_Itbl_ManyS_ManyS

prop_2dim_Itbl_SomeS_SomeS

(>>>)

class GetIxs x i

xsP

xsZP

xsPo

xsZPo

xsPP

xsPPo

mxsPP

maxPL

xs

general quickcheck stuff

options

customCheck

allProps