Pudu programming language
Menu
API reference

Std.Test.Property.shrinkNothing

1 declaration

fn

shrinkNothing: T -> Array[T]

This is a callable function.

What it does

Nothing simpler to try, for a value with no smaller form.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • Names inside [ ] are type arguments, such as the item type held by a collection.

Back to Std.Test.PropertySearch related declarations