proper-testing / proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang
http://proper-testing.github.io
GNU General Public License v3.0
882 stars 167 forks source link

Refactor proper_internal types #223

Closed kostis closed 4 years ago

kostis commented 4 years ago

Move many types that were defined in proper_internal.hrl to their proper defining module.

While at it, also introduce a proper_target:strategy() type.