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	28	1980	September 23, 2020
@spec for multiple functions Questions / Help typespecs	4	176	September 20, 2020
Inline typespecs? Chat / Discussions typespecs	11	1372	July 27, 2020
Tyyppi — bringing erlang typespecs to runtime Libraries dialyzer , typespecs , type-checking , tyyppi	1	217	July 23, 2020
Is it bad to use pattern matching only to check type? Questions / Help pattern-matching , best-practices , typespecs , learning-elixir	6	471	July 8, 2020
How do define behaviours that have callbacks with optional parameters? Chat / Discussions behaviours , typespecs	9	255	July 6, 2020
Can we import types and guards from another module? Questions / Help typespecs , defguard	4	875	July 4, 2020
`Enum.sort_by` typespec explanation Questions / Help typespecs	2	161	July 3, 2020
Error "type counters_ref/0 undefined" Questions / Help typespecs	4	167	June 28, 2020
User defined tags and type-safe structs for domain modelling (Domo library) Libraries dialyzer , algebraic_data_type , typespecs , static-types , type-checking , types	12	594	June 12, 2020
Struct vs. @type t Questions / Help structs , typespecs	4	354	June 5, 2020
Typespec ignoring second return type Questions / Help typespecs	8	212	May 24, 2020
Writing multiple specs for multiple function clauses? Or single spec? Questions / Help dialyzer , typespecs	7	297	May 16, 2020
TypeSpec: Combining maps Questions / Help typespecs	2	164	May 11, 2020
Is it possible to declare a generic type? Questions / Help typespecs , defstruct	35	1981	April 12, 2020
How to think about pattern matching vs. type-checking Chat / Discussions pattern-matching , discussion , typespecs	23	3356	April 9, 2020
Introduction to Dialyzer, typespecs, etc Showcase dialyzer , typespecs , dialyxir	2	439	March 9, 2020
Typespecs on defmacro defintions? Questions / Help typespecs	7	1066	February 14, 2020
How to make Dialyzer more strict? Questions / Help dialyzer , algebraic_data_type , typespecs	52	4909	January 13, 2020
How to type a function returning an Erlang type? Questions / Help typespecs , dialyxir	2	275	January 5, 2020
How to explain strange semantics of map typespecs? Questions / Help typespecs	1	207	December 27, 2019
Would it be possible to create @sp as an alias of @spec? Questions / Help typespecs	18	642	December 24, 2019
What's the difference between a struct and a type in a @spec? Questions / Help structs , typespecs	2	203	December 17, 2019
Generics in elixir Questions / Help typespecs	4	398	December 1, 2019
Are inverse typespecs possible? Questions / Help typespecs	10	545	October 28, 2019
Hammox - an automatic type checker for testing functions and mocks (based on Mox) Libraries testing , typespecs , mox , mocking , hammox	3	566	September 29, 2019
Forma - Typespec based data transformation Libraries typespecs , json	7	723	September 5, 2019
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	5	1314	August 16, 2019
Typed_ecto_schema - A library to define Ecto schemas with typespecs without all the boilerplate code Libraries ecto , macros , typespecs , typed_ecto_schema	1	682	July 24, 2019
Error return values for functions that call external system Questions / Help typespecs , httpoison	10	443	May 11, 2019