Topics tagged typespecs

Topic	Replies	Views	Activity
Proper @spec for when errors are raised? Questions / Help typespecs	2	682	April 14, 2021
What is the value of @type as alias? Questions / Help typespecs	14	1808	April 3, 2021
Parametric generics, shrinking and negation in typespecs Questions / Help typespecs , types , help , generics , parametricity	3	920	March 23, 2021
Can you define spec for function with specific arity? Questions / Help typespecs , types	9	2383	January 30, 2021
Create specs in Elixir like Typer for erlang Questions / Help deployment , dialyzer , typespecs	1	454	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	857	January 4, 2021
Specifying map or struct extension using typespecs Questions / Help typespecs	8	4465	December 19, 2020
Typespec question Questions / Help ecto , typespecs	7	2426	December 15, 2020
How to typespec function that adds a key to a map Questions / Help dialyzer , typespecs	2	1234	December 14, 2020
Typespec and opts Questions / Help typespecs	7	5896	November 14, 2020
@spec for multiple functions Questions / Help typespecs	3	1079	September 20, 2020
Inline typespecs? Chat / Discussions typespecs	10	2173	July 27, 2020
Tyyppi — bringing erlang typespecs to runtime Libraries dialyzer , typespecs , type-checking , tyyppi	0	730	July 23, 2020
Is it bad to use pattern matching only to check type? Questions / Help pattern-matching , best-practices , typespecs , learning-elixir	5	1557	July 8, 2020
How do define behaviours that have callbacks with optional parameters? Chat / Discussions behaviours , typespecs	8	5743	July 6, 2020
Can we import types and guards from another module? Questions / Help typespecs , defguard	3	5017	July 4, 2020
`Enum.sort_by` typespec explanation Questions / Help typespecs	1	481	July 3, 2020
Error "type counters_ref/0 undefined" Questions / Help typespecs	3	688	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	2508	June 1, 2021
Typespec ignoring second return type Questions / Help typespecs	7	1200	May 24, 2020
Writing multiple specs for multiple function clauses? Or single spec? Questions / Help dialyzer , typespecs	6	3998	May 16, 2020
TypeSpec: Combining maps Questions / Help typespecs	1	787	May 11, 2020
Is it possible to declare a generic type? Questions / Help typespecs , defstruct	34	6029	April 12, 2020
How to think about pattern matching vs. type-checking Chat / Discussions pattern-matching , discussion , typespecs	22	9606	April 9, 2020
Introduction to Dialyzer, typespecs, etc Chat / Discussions dialyzer , typespecs , dialyxir , showcase	1	969	March 9, 2020
Typespecs on defmacro defintions? Questions / Help typespecs	6	3234	February 14, 2020
How to make Dialyzer more strict? Questions / Help dialyzer , algebraic_data_type , typespecs	51	10172	January 13, 2020
How to type a function returning an Erlang type? Questions / Help typespecs , dialyxir	1	1121	January 5, 2020
How to explain strange semantics of map typespecs? Questions / Help typespecs	0	533	December 27, 2019
Would it be possible to create @sp as an alias of @spec? Questions / Help typespecs	17	1174	December 24, 2019