Topics tagged typespecs

Topic	Replies	Views	Activity
How to put Typespecs as items of a map Questions / Help typespecs	10	262	January 14, 2022
Ivoking a macro within a @type on the right side of `::` Questions / Help metaprogramming , macros , typespecs , types	1	112	January 13, 2022
Types that you wish were in Elixir Chat / Discussions dialyzer , typespecs	14	692	January 13, 2022
Advice on Public Domain license Questions / Help license , typespecs	31	565	January 13, 2022
Dialyzer: why an empty map passes as for a non-empty Questions / Help dialyzer , typespecs	2	150	January 11, 2022
Typespecs: function types Questions / Help typespecs	16	4115	January 5, 2022
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	17	1708	January 3, 2022
Can has? `def admin?(user_id: String.t()) :: boolean do` Chat / Discussions syntax , typespecs , language , programming-languages	8	317	December 20, 2021
When to use `required(...)` in typespecs? Questions / Help typespecs	3	190	December 12, 2021
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	87	6752	November 23, 2021
What's the syntax for reusing a function @type in a @spec Questions / Help typespecs	12	285	November 12, 2021
Role models for Elixir documentation? Chat / Discussions code-style , dialyzer , doctest , typespecs , documentation , markdown , module-attribute	1	246	October 18, 2021
Using module attributes in typespec definitions to reduce duplication? Questions / Help typespecs , beginner , module-attribute	3	196	September 15, 2021
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	403	August 26, 2021
Why is there so much hate for typespec? Questions / Help typespecs	7	743	August 16, 2021
How can I access typespecs of compiled but not yet stored to BEAM file module? Questions / Help compiler , typespecs , compiler-tracing	3	286	June 11, 2021
Typespec for map w/both required and optional keys Questions / Help typespecs	13	4955	May 11, 2021
TypeSpecs confusion regarding map required/optional Questions / Help typespecs	6	352	May 6, 2021
DRYing up typespec return types without obscuring internal values Questions / Help typespecs	3	312	April 22, 2021
Proper @spec for when errors are raised? Questions / Help typespecs	2	250	April 14, 2021
What is the value of @type as alias? Questions / Help typespecs	14	582	April 3, 2021
Parametric generics, shrinking and negation in typespecs Questions / Help typespecs , types , help , generics , parametricity	3	284	March 23, 2021
Can you define spec for function with specific arity? Questions / Help typespecs , types	9	607	January 30, 2021
Create specs in Elixir like Typer for erlang Questions / Help deployment , dialyzer , typespecs	1	251	January 27, 2021
Is it possible to define a partial typespec with the return type delegated to the return type other function? Questions / Help typespecs	2	302	January 4, 2021
Specifying map or struct extension using typespecs Questions / Help typespecs	8	1121	December 19, 2020
Typespec question Questions / Help ecto , typespecs	7	920	December 15, 2020
How to typespec function that adds a key to a map Questions / Help dialyzer , typespecs	2	348	December 14, 2020
Typespec and opts Questions / Help typespecs	7	1339	November 14, 2020
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	13	2462	October 14, 2020