API Reference mavis v0.0.2
Modules
Type analysis system for Elixir.
NOT IMPLEMENTED YET.
Handles bitstrings and binaries in the erlang/elixir type system.
Represents a function type.
a special container type indicating that the function has a type dependency.
Represents lists, except for the empty list, which is represented by
the empty list literal []
.
Represents map terms. Note that some of the choices around how to handle maps may deviate from the expectations in the typesystem.
TBA
A dummy inference module.
A wrapper for opaqueness.
Convenience functions. Should only be used in testing.
Represents tuple types.
Represents the Union of two or more types.