Home
last modified time | relevance | path

Searched refs:binary_len_gen (Results 1 – 6 of 6) sorted by relevance

/dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/src/
H A Dproper_gen.erl42 binary_rev/1, binary_len_gen/1, bitstring_gen/1, bitstring_rev/1,
415 -spec binary_len_gen(proper_types:length()) -> proper_types:type().
416 binary_len_gen(Len) -> function
H A Dproper_types.erl701 {generator, {typed, fun binary_len_gen/1}},
706 binary_len_gen(Type) -> function
708 proper_gen:binary_len_gen(Len).
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/behaviour_SUITE_data/src/proper/
H A Dproper_gen.erl40 binary_rev/1, binary_len_gen/1, bitstring_gen/1, bitstring_rev/1,
402 -spec binary_len_gen(length()) -> proper_types:type().
403 binary_len_gen(Len) -> function
H A Dproper_types.erl678 {generator, {typed, fun binary_len_gen/1}},
683 binary_len_gen(Type) -> function
685 proper_gen:binary_len_gen(Len).
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/proper/
H A Dproper_gen.erl39 binary_rev/1, binary_len_gen/1, bitstring_gen/1, bitstring_rev/1,
389 -spec binary_len_gen(length()) -> proper_types:type().
390 binary_len_gen(Len) -> function
H A Dproper_types.erl674 {generator, {typed, fun binary_len_gen/1}},
679 binary_len_gen(Type) -> function
681 proper_gen:binary_len_gen(Len).