Changelog

0.0.7

implements literal types

0.0.6

deprecates Type.builtin/1 and switches to macros for each type.
renames Type.select_builtin/1 to Type.builtin/1 which can serve as bridging functionality.
changes union behaviour to ignore t:none(), with an opt-in for explicitness
fixes c:Type.Inference.Api.infer/3
adds merging behaviour for bitstrings and functions
adds essays on deviations from erlang and Elixir
adds Type.normalize/1 which takes deviations and conforms them to dialyzer forms.
removes inferred field on t:Type.Function.t/0.
supports pinned types on top of min-arity tuples, changes tuple struct implementation for these combined purposes.

0.0.5

deprecate Type.Union.of/2, use Type.union/2 instead
change non_neg_integer() from a true builtin to an aliased builtin.
change integer() from a true builtin to an aliased builtin
adds Type.map/1, Type.tuple/1, and Type.function/1 macros
adds Type.is_singleton/1 guard
fixes tuple union merging rules and makes function union merging rules
adds top-arity function for t: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