Home
last modified time | relevance | path

Searched refs:type_from_list (Results 1 – 3 of 3) sorted by relevance

/dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/src/
H A Dproper_types.erl356 -compile({inline, [type_from_list/1]}).
357 -spec type_from_list([type_prop()]) -> proper_types:type().
358 type_from_list(KeyValueList) -> function
415 Type = type_from_list(PropList),
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/proper/
H A Dproper_types.erl346 -spec type_from_list([type_prop()]) -> proper_types:type().
347 type_from_list(KeyValueList) -> function
399 Type = type_from_list(PropList),
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/behaviour_SUITE_data/src/proper/
H A Dproper_types.erl348 -spec type_from_list([type_prop()]) -> proper_types:type().
349 type_from_list(KeyValueList) -> function
401 Type = type_from_list(PropList),