Changelog
0.0.5
- deprecate
Type.Union.of/2
, useType.union/2
instead - change
builtin(:non_neg_integer)
from a true builtin to an aliased builtin. - change
builtin(:integer)
from a true builtin to an aliased builtin - adds
Type.map/1
,Type.tuple/1
, andType.function/1
macros - adds
Type.is_singleton/1
guard - fixes tuple union merging rules and makes function union merging rules
- adds
top-arity function
fort:Type.Function.t
- changes how
t:Type.Tuple.t/1
works, by introducing minimum arity tuples - makes inspecting types that could be confused as native terms less precarious
by using parallelism with
Type
module macros. - overhaul of how union merging works
0.0.4
- make
Type.fetch_type/3
use a sane call pattern
0.0.3
- support for types of multiply-specced functions
- support for composed type module pipelines
- doc improvements contributed by @mbuhot and @kianmeng
0.0.2
some touchup:
- remove lambda examples from tests
- add better support for aliased/composite builtins
- better intro documentation
- support for fictional
String.t/1
type; this will probably be pulled out into a plugin in the future.
0.0.1
initial push, with full functionality across most of elixir standard library