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	63	4587	September 23, 2021
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	8	1040	September 18, 2021
Using module attributes in typespec definitions to reduce duplication? Questions / Help typespecs , beginner , module-attribute	3	165	September 15, 2021
Bidirectional Typing for Erlang (prototype) Chat / Discussions erlang , typespecs , static-types , type-checking , types , static-typing	1	285	August 26, 2021
Why is there so much hate for typespec? Questions / Help typespecs	7	675	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	253	June 11, 2021
Typespec for map w/both required and optional keys Questions / Help typespecs	13	4155	May 11, 2021
TypeSpecs confusion regarding map required/optional Questions / Help typespecs	6	246	May 6, 2021
DRYing up typespec return types without obscuring internal values Questions / Help typespecs	3	260	April 22, 2021
Proper @spec for when errors are raised? Questions / Help typespecs	2	222	April 14, 2021
What is the value of @type as alias? Questions / Help typespecs	14	488	April 3, 2021
Parametric generics, shrinking and negation in typespecs Questions / Help typespecs , types , help , generics , parametricity	3	242	March 23, 2021
Can you define spec for function with specific arity? Questions / Help typespecs , types	9	473	January 30, 2021
Create specs in Elixir like Typer for erlang Questions / Help deployment , dialyzer , typespecs	1	223	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	261	January 4, 2021
Specifying map or struct extension using typespecs Questions / Help typespecs	8	806	December 19, 2020
Typespec question Questions / Help ecto , typespecs	7	708	December 15, 2020
How to typespec function that adds a key to a map Questions / Help dialyzer , typespecs	2	285	December 14, 2020
Typespec and opts Questions / Help typespecs	7	931	November 14, 2020
Dynamically generate typespecs from module attribute list Questions / Help dialyzer , typespecs , how-to-question	13	2156	October 14, 2020
@spec for multiple functions Questions / Help typespecs	3	332	September 20, 2020
Inline typespecs? Chat / Discussions typespecs	10	1550	July 27, 2020
Tyyppi — bringing erlang typespecs to runtime Libraries dialyzer , typespecs , type-checking , tyyppi	0	343	July 23, 2020
Is it bad to use pattern matching only to check type? Questions / Help pattern-matching , best-practices , typespecs , learning-elixir	5	642	July 8, 2020
How do define behaviours that have callbacks with optional parameters? Chat / Discussions behaviours , typespecs	8	1454	July 6, 2020
Can we import types and guards from another module? Questions / Help typespecs , defguard	3	1805	July 4, 2020
`Enum.sort_by` typespec explanation Questions / Help typespecs	1	261	July 3, 2020
Error "type counters_ref/0 undefined" Questions / Help typespecs	3	260	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	1105	June 1, 2021
Struct vs. @type t Questions / Help structs , typespecs	3	1515	June 5, 2020