Topics tagged typespecs

Topic	Replies	Views	Activity
How to return "type conforming to Behaviour" in function spec? Questions / Help dialyzer , typespecs , spec	2	58	March 1, 2025
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	16	5255	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	13375	October 21, 2024
Best practice for reusing typespecs Questions / Help typespecs , learning-elixir , types	5	123	September 26, 2024
How do I get `@spec` of the external module Questions / Help typespecs , spec	6	113	September 3, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries macros , typespecs , type-checking , types	0	84	July 19, 2024
Can Enum.each mislead Dialyzer into accepting incorrect typespecs? Questions / Help dialyzer , typespecs	3	152	June 25, 2024
Minimizing OTP release size while keeping type documentation Questions / Help nerves , typespecs , mix-release	0	201	March 29, 2024
How to remove duplication from typespec and static list of values? Questions / Help enumerables , typespecs	1	214	March 12, 2024
Return type of map Questions / Help typespecs	7	491	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	455	January 1, 2024
Type binary() vs String.t() Questions / Help typespecs , types	1	298	December 20, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help typespecs , beginners-questions , types	2	374	July 3, 2023
How to typespec a float range in Elixir? Questions / Help typespecs , types	20	1647	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	3362	May 2, 2023
Struggling getting dialyzer to accept my @spec Questions / Help typespecs	5	599	April 27, 2023
Error struct in typespec Questions / Help typespecs	5	920	April 27, 2023
Struct vs. @type t Questions / Help structs , typespecs	4	9012	April 26, 2023
What does this OpenTelemetry typespec mean? Questions / Help typespecs , opentelemetry	4	621	March 23, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	1119	January 26, 2023
How to typespec guards in a human friendly way? Questions / Help dialyzer , typespecs , guards	2	927	January 26, 2023
Best practice between `String.t()` and `binary()`? Questions / Help typespecs	4	3241	January 23, 2023
Return value type spec for IO.puts Questions / Help iex , mix , exunit , typespecs , go , io	4	1570	December 30, 2022
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	934	December 29, 2022
Nil and typespec primitives - is it redundant to write integer() \| nil? Questions / Help dialyzer , typespecs	3	998	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	4564	December 8, 2022
Is it possible to run Dialyzer on a Livebook notebook's contents? Livebook Forum dialyzer , typespecs , livebook , livebook-questions	0	500	December 2, 2022
Why there are no `Boolean.t()` and `Integer.t()` types? Chat / Discussions typespecs	2	1290	November 4, 2022