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.

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.