Topics tagged typespecs

Topic	Replies	Views	Activity
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	100	13255	October 21, 2024
Best practice for reusing typespecs Questions / Help types , typespecs , learning-elixir	5	89	September 26, 2024
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	15	5136	September 12, 2024
How do I get `@spec` of the external module Questions / Help typespecs , spec	6	86	September 3, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries types , typespecs , macros , type-checking	0	75	July 19, 2024
Can Enum.each mislead Dialyzer into accepting incorrect typespecs? Questions / Help typespecs , dialyzer	3	150	June 25, 2024
Minimizing OTP release size while keeping type documentation Questions / Help mix-release , typespecs , nerves	0	196	March 29, 2024
How to remove duplication from typespec and static list of values? Questions / Help typespecs , enumerables	1	206	March 12, 2024
Return type of map Questions / Help typespecs	7	485	March 1, 2024
Meaning of {...} shorthand in type specifications Questions / Help typespecs	4	330	February 1, 2024
Using Nx tensors in type defs Nx Forum typespecs , nx , nx-questions	3	433	January 1, 2024
Type binary() vs String.t() Questions / Help types , typespecs	1	289	December 20, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help types , typespecs , beginners-questions	2	374	July 3, 2023
How to typespec a float range in Elixir? Questions / Help types , typespecs	20	1573	June 22, 2023
Missing dependency typespecs Questions / Help dependencies , typespecs	4	372	June 14, 2023
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls types , static-types , type-checking , typespecs	21	3289	May 2, 2023
Struggling getting dialyzer to accept my @spec Questions / Help typespecs	5	594	April 27, 2023
Error struct in typespec Questions / Help typespecs	5	879	April 27, 2023
Struct vs. @type t Questions / Help structs , typespecs	4	8503	April 26, 2023
What does this OpenTelemetry typespec mean? Questions / Help typespecs , opentelemetry	4	620	March 23, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	1077	January 26, 2023
How to typespec guards in a human friendly way? Questions / Help dialyzer , typespecs , guards	2	900	January 26, 2023
Best practice between `String.t()` and `binary()`? Questions / Help typespecs	4	2943	January 23, 2023
Return value type spec for IO.puts Questions / Help iex , mix , exunit , typespecs , go , io	4	1494	December 30, 2022
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	922	December 29, 2022
Nil and typespec primitives - is it redundant to write integer() \| nil? Questions / Help dialyzer , typespecs	3	963	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	4548	December 8, 2022
Is it possible to run Dialyzer on a Livebook notebook's contents? Livebook Forum livebook-questions , dialyzer , typespecs , livebook	0	495	December 2, 2022
Why there are no `Boolean.t()` and `Integer.t()` types? Chat / Discussions typespecs	2	1237	November 4, 2022
@spec reports false error Questions / Help dialyzer , typespecs , spec	1	484	August 10, 2022