Topics tagged typespecs

Topic	Replies	Views	Activity
Converting an enumerated type from swift into an equivalent in elixir Questions / Help typespecs , beginners-questions , types	2	181	July 3, 2023
How to typespec a float range in Elixir? Questions / Help typespecs , types	20	537	June 22, 2023
Missing dependency typespecs Questions / Help typespecs , dependencies	4	223	June 14, 2023
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls typespecs , static-types , type-checking , types	21	1854	May 2, 2023
Struggling getting dialyzer to accept my @spec Questions / Help typespecs	5	268	April 27, 2023
Error struct in typespec Questions / Help typespecs	5	293	April 27, 2023
Struct vs. @type t Questions / Help structs , typespecs	4	5929	April 26, 2023
What does this OpenTelemetry typespec mean? Questions / Help typespecs , opentelemetry	4	385	March 23, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	462	January 26, 2023
How to typespec guards in a human friendly way? Questions / Help dialyzer , typespecs , guards	2	444	January 26, 2023
Best practice between `String.t()` and `binary()`? Questions / Help typespecs	4	710	January 23, 2023
Return value type spec for IO.puts Questions / Help iex , mix , exunit , typespecs , go , io	4	677	December 30, 2022
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	588	December 29, 2022
Nil and typespec primitives - is it redundant to write integer() \| nil? Questions / Help dialyzer , typespecs	3	543	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	3820	December 8, 2022
Is it possible to run Dialyzer on a Livebook notebook's contents? Livebook Forum dialyzer , typespecs , livebook , livebook-questions	0	279	December 2, 2022
Why there are no `Boolean.t()` and `Integer.t()` types? Chat / Discussions typespecs	2	667	November 4, 2022
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	14	4036	October 14, 2022
@spec reports false error Questions / Help dialyzer , typespecs , spec	1	310	August 10, 2022
Issues with Credo, Dialyzer, and compiler warnings for `<app_name>Web.ErrorView.template_not_found/2` in Phoenix Questions / Help phoenix , credo , dialyzer , typespecs	4	517	July 22, 2022
Build a union type from a list? Questions / Help typespecs , types	5	793	July 19, 2022
How to document fields on a struct? Questions / Help typespecs , struct , spec	11	747	June 29, 2022
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	98	10860	June 19, 2022
Zero-cost abstraction for NewTypes in Elixir Chat / Discussions typespecs , static-types , types , wrapper	28	2543	April 7, 2022
Should using @impl true cause docs to show the callback spec? Questions / Help typespecs , documentation	8	1174	April 6, 2022
Batch create typespecs for a code base Questions / Help dialyzer , typespecs	0	369	March 1, 2022
Credo Specification and Callback check Questions / Help credo , typespecs , callbacks	2	720	February 28, 2022
Get typespecs for Code.compile_string() module Questions / Help compile , typespecs , module , runtime-compilation	3	1093	February 17, 2022
Typespec dialyzer error - the @spec for the function does not match the success typing of the function Questions / Help typespecs	2	1225	February 15, 2022
Best way to define a type that's only a limited set of strings Questions / Help typespecs	15	5033	February 14, 2022