Is it possible to have neg_float typespec?
|
|
1
|
50
|
April 10, 2025
|
How to return "type conforming to Behaviour" in function spec?
|
|
2
|
60
|
March 1, 2025
|
Dynamically generate typespecs from module attribute list
|
|
16
|
5278
|
February 2, 2025
|
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects
|
|
100
|
13408
|
October 21, 2024
|
Best practice for reusing typespecs
|
|
5
|
144
|
September 26, 2024
|
How do I get `@spec` of the external module
|
|
6
|
123
|
September 3, 2024
|
TypeResolver - parse and resolve spec types into convenient structs
|
|
0
|
85
|
July 19, 2024
|
Can Enum.each mislead Dialyzer into accepting incorrect typespecs?
|
|
3
|
154
|
June 25, 2024
|
Minimizing OTP release size while keeping type documentation
|
|
0
|
203
|
March 29, 2024
|
How to remove duplication from typespec and static list of values?
|
|
1
|
214
|
March 12, 2024
|
Return type of map
|
|
7
|
492
|
March 1, 2024
|
Meaning of {...} shorthand in type specifications
|
|
4
|
340
|
February 1, 2024
|
Using Nx tensors in type defs
|
|
3
|
456
|
January 1, 2024
|
Type binary() vs String.t()
|
|
1
|
299
|
December 20, 2023
|
Converting an enumerated type from swift into an equivalent in elixir
|
|
2
|
374
|
July 3, 2023
|
How to typespec a float range in Elixir?
|
|
20
|
1681
|
June 22, 2023
|
Missing dependency typespecs
|
|
4
|
372
|
June 14, 2023
|
What do you prefer to use for type checking Elixir/Erlang code? (poll)
|
|
21
|
3380
|
May 2, 2023
|
Struggling getting dialyzer to accept my @spec
|
|
5
|
601
|
April 27, 2023
|
Error struct in typespec
|
|
5
|
935
|
April 27, 2023
|
Struct vs. @type t
|
|
4
|
9150
|
April 26, 2023
|
What does this OpenTelemetry typespec mean?
|
|
4
|
621
|
March 23, 2023
|
How to convert a typed definition to a typedstruct?
|
|
6
|
1131
|
January 26, 2023
|
How to typespec guards in a human friendly way?
|
|
2
|
941
|
January 26, 2023
|
Best practice between `String.t()` and `binary()`?
|
|
4
|
3322
|
January 23, 2023
|
Return value type spec for IO.puts
|
|
4
|
1597
|
December 30, 2022
|
String text = ”data type in Elixir”;
|
|
8
|
941
|
December 29, 2022
|
Nil and typespec primitives - is it redundant to write integer() | nil?
|
|
3
|
1002
|
December 11, 2022
|
Domo - model a business domain with type-safe structs and field type range checks
|
|
27
|
4574
|
December 8, 2022
|
Is it possible to run Dialyzer on a Livebook notebook's contents?
|
|
0
|
504
|
December 2, 2022
|