Topics tagged typespecs

Topic	Replies	Views	Activity
Best practice between `String.t()` and `binary()`? Questions / Help typespecs	4	3646	January 23, 2023
Return value type spec for IO.puts Questions / Help iex , mix , exunit , typespecs , go , io	4	1698	December 30, 2022
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	988	December 29, 2022
Nil and typespec primitives - is it redundant to write integer() \| nil? Questions / Help dialyzer , typespecs	3	1033	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	4722	December 8, 2022
Is it possible to run Dialyzer on a Livebook notebook's contents? Livebook Forum dialyzer , typespecs , livebook , livebook-questions	0	518	December 2, 2022
Why there are no `Boolean.t()` and `Integer.t()` types? Chat / Discussions typespecs	2	1396	November 4, 2022
@spec reports false error Questions / Help dialyzer , typespecs , spec	1	512	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	783	July 22, 2022
Build a union type from a list? Questions / Help typespecs , types	5	1347	July 19, 2022
How to document fields on a struct? Questions / Help typespecs , struct , spec	11	1947	June 29, 2022
Zero-cost abstraction for NewTypes in Elixir Chat / Discussions typespecs , static-types , types , wrapper	28	3593	April 7, 2022
Should using @impl true cause docs to show the callback spec? Questions / Help typespecs , documentation	8	1704	April 6, 2022
Batch create typespecs for a code base Questions / Help dialyzer , typespecs	0	485	March 1, 2022
Credo Specification and Callback check Questions / Help credo , typespecs , callbacks	2	1074	February 28, 2022
Get typespecs for Code.compile_string() module Questions / Help compile , typespecs , module , runtime-compilation	3	1824	February 17, 2022
Typespec dialyzer error - the @spec for the function does not match the success typing of the function Questions / Help typespecs	2	2305	February 15, 2022
Best way to define a type that's only a limited set of strings Questions / Help typespecs	15	7289	February 14, 2022
Is there a convenient way to turn behaviour callbacks into specs? Questions / Help behaviours , typespecs	8	897	January 30, 2022
How to put Typespecs as items of a map Questions / Help typespecs	10	958	January 14, 2022
Ivoking a macro within a @type on the right side of `::` Questions / Help metaprogramming , macros , typespecs , types	1	587	January 13, 2022
Types that you wish were in Elixir Chat / Discussions dialyzer , typespecs	14	1892	January 13, 2022
Dialyzer: why an empty map passes as for a non-empty Questions / Help dialyzer , typespecs	2	747	January 11, 2022
Typespecs: function types Questions / Help typespecs	16	7339	January 5, 2022
Can has? `def admin?(user_id: String.t()) :: boolean do` Chat / Discussions syntax , typespecs , language , programming-languages	8	1328	December 20, 2021
When to use `required(...)` in typespecs? Questions / Help typespecs	3	955	December 12, 2021
What's the syntax for reusing a function @type in a @spec Questions / Help typespecs	12	1197	November 12, 2021
Role models for Elixir documentation? Chat / Discussions code-style , dialyzer , doctest , typespecs , documentation , markdown , module-attribute	1	764	October 18, 2021
Using module attributes in typespec definitions to reduce duplication? Questions / Help typespecs , beginner , module-attribute	3	1002	September 15, 2021
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	1050	August 26, 2021