PropCheck.BasicTypes.non_empty
You're seeing just the function
non_empty
, go back to PropCheck.BasicTypes module for more information.
Specs
This is a predefined constraint that can be applied to random-length list and binary types to ensure that the produced values are never empty.
Use for e.g. list/0
, char_list/0
, binary/0