Skip to content

Commit d0806a9

Browse files
Add safe_map generator
1 parent 6db26c3 commit d0806a9

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

lib/common_test/src/ct_property_test_proper_ext.erl

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,13 +24,19 @@
2424
-export([safe_any/0]).
2525
-export([safe_atom/0]).
2626
-export([safe_list/0]).
27+
-export([safe_map/0]).
2728
-export([safe_tuple/0]).
2829

2930
-spec safe_list() -> proper_types:type().
3031
safe_list() ->
3132
proper_types:list(safe_any()).
3233

3334

35+
-spec safe_map() -> proper_types:type().
36+
safe_map() ->
37+
proper_types:map(safe_any(), safe_any()).
38+
39+
3440
-spec safe_tuple() -> proper_types:type().
3541
safe_tuple() ->
3642
proper_types:tuple(safe_any()).

0 commit comments

Comments
 (0)