Modules
|
bag
|
This module contains strategies for handling bags
|
bag.str
|
common
|
This module contains basic functionality for manipulating lists
|
common.str
|
cons
|
Lists are represented by means of the constructors Nil and Cons
|
cons.str
|
filter
|
This module contains strategies for filtering and partitioning lists
|
filter.str
|
index
|
This module contains strategies for working on lists using indexes
|
index.str
|
integer
|
This module contains a collection of strategies for working with lists of integers
|
integer.str
|
lookup
|
n/a
|
lookup.str
|
set
|
n/a
|
set.str
|
sort
|
This module contains strategies for sorting lists
|
sort.str
|
zip
|
Zipping two lists into a list of pairs is a useful operation in many situations
|
zip.str
|