issues
search
ityonemo
/
mavis
opinionated typing library for elixir
MIT License
110
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
type macro isn't quite right about some things
#149
ityonemo
opened
2 years ago
0
Difference types
#148
ityonemo
closed
3 years ago
0
Refactor lists
#147
ityonemo
closed
3 years ago
0
property test to make sure that inspected components in a union are in type order.
#146
ityonemo
opened
3 years ago
0
make sure inspects of [] with generic types don't come out strange.
#145
ityonemo
opened
3 years ago
0
message simplification
#144
ityonemo
opened
3 years ago
0
composable message scheme
#143
ityonemo
opened
3 years ago
0
double check that floats don't cause problems in range type operations
#142
ityonemo
opened
3 years ago
0
use rangeresolve(a, b) for more logic in the range module
#141
ityonemo
opened
3 years ago
0
Literal types
#140
ityonemo
closed
3 years ago
0
0.0.6
#139
ityonemo
closed
3 years ago
0
Refactor tuples
#138
ityonemo
closed
3 years ago
0
Refactor tuples
#137
ityonemo
closed
3 years ago
0
Type normalization
#136
ityonemo
closed
3 years ago
0
make sure that top_arity functions can be inspected.
#135
ityonemo
closed
3 years ago
1
remove inferred tag from functions
#134
ityonemo
closed
3 years ago
1
Union fixes
#133
ityonemo
closed
3 years ago
0
Union fixes
#132
ityonemo
closed
3 years ago
0
Subtraction types
#131
ityonemo
opened
3 years ago
0
make a Function.Bundle type that isn't a union.
#130
ityonemo
opened
3 years ago
0
adds the correct return type for Type.Inference.Api
#129
ityonemo
closed
3 years ago
0
now defaults to ignoring none() in unions.
#128
ityonemo
closed
3 years ago
0
create a type normalization function
#127
ityonemo
closed
3 years ago
1
make sure that types can be normalized on inspect
#126
ityonemo
closed
3 years ago
1
Switch to type macros
#125
ityonemo
closed
3 years ago
0
fix: unions with empty string
#124
ityonemo
closed
3 years ago
1
is_returnable/1 guard that selects against builtin(:none) and builtin(:no_return)
#123
ityonemo
closed
3 years ago
1
Create a builtin(:no_return) which is distinct from builtin(:none)
#122
ityonemo
closed
3 years ago
1
Type.union should switch to not treating builtin(:none) separately
#121
ityonemo
closed
3 years ago
1
check that deviations from standard elixir can be turned off.
#120
ityonemo
opened
3 years ago
0
make sure that functions can merge their parameters if their return types match.
#119
ityonemo
closed
3 years ago
1
refactor the way to do default types:
#118
ityonemo
closed
3 years ago
1
make functions() type, change Type.Inference.Api
#117
ityonemo
closed
3 years ago
1
consider adding ability for tuples to have a fixed value?
#116
ityonemo
closed
3 years ago
2
0.0.5
#115
ityonemo
closed
3 years ago
0
Minimum arity tuple
#114
ityonemo
closed
3 years ago
0
Minimum arity tuple
#113
ityonemo
closed
3 years ago
0
Apply
#112
ityonemo
closed
3 years ago
0
Top function type
#111
ityonemo
closed
3 years ago
0
Revert "Top function type"
#110
ityonemo
closed
3 years ago
0
Top function type
#109
ityonemo
closed
3 years ago
0
Refactor to type macros
#108
ityonemo
closed
3 years ago
0
reorder fields in maps to be syntatically correct.
#107
ityonemo
closed
3 years ago
1
correct rules for tuple merging in unions
#106
ityonemo
closed
3 years ago
5
refactor to use list/1 instead of %Type.List
#105
ityonemo
closed
3 years ago
1
Deprecate non neg integer
#104
ityonemo
closed
3 years ago
0
refactor Tuple doctests to use Type.tuple/1
#103
ityonemo
closed
3 years ago
1
refactor Map doctests to use Type.map/1
#102
ityonemo
closed
3 years ago
1
deprecate Map.build in favor of Type.map/1 macro
#101
ityonemo
closed
3 years ago
1
More builtins
#100
ityonemo
closed
3 years ago
0
Next