Topics tagged typespecs

Topic	Replies	Views	Activity
Is it possible to have neg_float typespec? Questions / Help typespecs	1	50	April 10, 2025
How to return "type conforming to Behaviour" in function spec? Questions / Help dialyzer , typespecs , spec	2	61	March 1, 2025
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	16	5291	February 2, 2025
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	100	13498	October 21, 2024
Best practice for reusing typespecs Questions / Help typespecs , learning-elixir , types	5	160	September 26, 2024
How do I get `@spec` of the external module Questions / Help typespecs , spec	6	139	September 3, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries macros , typespecs , type-checking , types	0	86	July 19, 2024
Can Enum.each mislead Dialyzer into accepting incorrect typespecs? Questions / Help dialyzer , typespecs	3	160	June 25, 2024
Minimizing OTP release size while keeping type documentation Questions / Help nerves , typespecs , mix-release	0	204	March 29, 2024
How to remove duplication from typespec and static list of values? Questions / Help enumerables , typespecs	1	215	March 12, 2024
Return type of map Questions / Help typespecs	7	496	March 1, 2024
Meaning of {...} shorthand in type specifications Questions / Help typespecs	4	340	February 1, 2024
Using Nx tensors in type defs Nx Forum typespecs , nx , nx-questions	3	457	January 1, 2024
Type binary() vs String.t() Questions / Help typespecs , types	1	300	December 20, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help typespecs , beginners-questions , types	2	375	July 3, 2023
How to typespec a float range in Elixir? Questions / Help typespecs , types	20	1690	June 22, 2023
Missing dependency typespecs Questions / Help typespecs , dependencies	4	372	June 14, 2023
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls typespecs , static-types , type-checking , types	21	3417	May 2, 2023
Struggling getting dialyzer to accept my @spec Questions / Help typespecs	5	606	April 27, 2023
Error struct in typespec Questions / Help typespecs	5	940	April 27, 2023
Struct vs. @type t Questions / Help structs , typespecs	4	9242	April 26, 2023
What does this OpenTelemetry typespec mean? Questions / Help typespecs , opentelemetry	4	622	March 23, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	1140	January 26, 2023
How to typespec guards in a human friendly way? Questions / Help dialyzer , typespecs , guards	2	955	January 26, 2023
Best practice between `String.t()` and `binary()`? Questions / Help typespecs	4	3367	January 23, 2023
Return value type spec for IO.puts Questions / Help iex , mix , exunit , typespecs , go , io	4	1606	December 30, 2022
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	945	December 29, 2022
Nil and typespec primitives - is it redundant to write integer() \| nil? Questions / Help dialyzer , typespecs	3	1006	December 11, 2022
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	27	4581	December 8, 2022
Is it possible to run Dialyzer on a Livebook notebook's contents? Livebook Forum dialyzer , typespecs , livebook , livebook-questions	0	507	December 2, 2022