Topics tagged typespecs

Topic	Replies	Views	Activity
Typespecs on defmacro defintions? Questions / Help typespecs	6	3309	February 14, 2020
How to make Dialyzer more strict? Questions / Help dialyzer , algebraic_data_type , typespecs	51	10390	January 13, 2020
How to type a function returning an Erlang type? Questions / Help typespecs , dialyxir	1	1140	January 5, 2020
How to explain strange semantics of map typespecs? Questions / Help typespecs	0	536	December 27, 2019
Would it be possible to create @sp as an alias of @spec? Questions / Help typespecs	17	1178	December 24, 2019
What's the difference between a struct and a type in a @spec? Questions / Help structs , typespecs	1	606	December 17, 2019
Generics in elixir Questions / Help typespecs	3	1104	December 1, 2019
Are inverse typespecs possible? Questions / Help typespecs	9	1160	October 28, 2019
Hammox - an automatic type checker for testing functions and mocks (based on Mox) Libraries testing , typespecs , mox , mocking , hammox	2	1894	September 29, 2019
Forma - Typespec based data transformation Libraries typespecs , json	6	1344	September 5, 2019
Typed_ecto_schema - A library to define Ecto schemas with typespecs without all the boilerplate code Libraries ecto , macros , typespecs , typed_ecto_schema	0	1964	July 24, 2019
Error return values for functions that call external system Questions / Help typespecs , httpoison	9	1105	May 11, 2019
ExType: a type checker for Elixir Libraries typespecs	0	1513	April 29, 2019
Building up a %{} map type from smaller parts? Questions / Help maps , dialyzer , typespecs	1	773	April 10, 2019
Macro idea: total case statements Chat / Discussions macros , discussion , typespecs , case , type-checking	3	1279	March 14, 2019
Convert Map to JSON when saving to database? Questions / Help ecto , maps , typespecs , json	3	4934	February 13, 2019
Map typespec question Questions / Help typespecs	3	1981	January 8, 2019
Adding typespect to an Ecto Schema Questions / Help ecto , typespecs	11	10906	January 3, 2019
Repo.all and no_return Questions / Help ecto , typespecs	1	1143	November 29, 2018
The next five years: a question about the type system Chat / Discussions core , discussion , typespecs	0	923	September 9, 2018
Fetching defined types in compile time Questions / Help macros , typespecs , kernel	2	709	August 14, 2018
Programmatic access to the spec for a struct so as to generate code Questions / Help typespecs	4	1365	July 18, 2018
Dialyzer @type t with Structs (can you make subtypes?) Questions / Help dialyzer , typespecs	1	951	July 13, 2018
Can simple algebraic expression be used in type spec? Alternative options? Questions / Help typespecs , troubleshooting	7	1143	July 10, 2018
Phantom Types Questions / Help typespecs	11	1438	July 8, 2018
Typespec style guidelines Chat / Discussions discussion , typespecs , formatter	2	3122	July 4, 2018
Best way to avoid duplication in struct definition? Questions / Help typespecs , struct	2	1130	June 9, 2018
Enforcing type constraints Questions / Help typespecs	2	1126	June 8, 2018
Dialyzer not analyzing all code paths for type checking Questions / Help dialyzer , typespecs	1	597	May 23, 2018
A few questions about the description of Elixir Questions / Help functional-programming , syntax , typespecs	2	884	May 17, 2018