Module proptest::char

Strategies for generating char values.

Unlike most strategies in Proptest, character generation is by default biased to particular values known to be difficult to handle in various circumstances.

The main things of interest are any() to generate truly arbitrary characters, and range() and ranges() to select characters from inclusive ranges.

Structs

• CharStrategy
  Strategy for generating chars.
• CharValueTree
  The ValueTree corresponding to CharStrategy.

Constants

• DEFAULT_PREFERRED_RANGES
  A default sequence of ranges used preferentially when generating random characters.
• DEFAULT_SPECIAL_CHARS
  A default set of characters to consider as “special” during character generation.

Functions

• any
  Creates a CharStrategy which picks from literally any character, with the default biases.
• range
  Creates a CharStrategy which selects characters within the given endpoints, inclusive, using the default biases.
• ranges
  Creates a CharStrategy which selects characters within the given ranges, all inclusive, using the default biases.
• select_char
  Selects a random character the way CharStrategy does.