ExType

A type checker for Elixir.

Feature

• gradual typing
• type check for protocol and generic protocol
• type check with intersection and union types
• type guards
• type assertion
• type inspection

Installation

The package can be installed by adding ex_type to your list of dependencies in mix.exs:

def deps do
  [
    # Required developement dependency
    {:ex_type, "~> 0.1.2", only: :dev, runtime: false},

    # Optional runtime dependency
    {:ex_type_runtime, "~> 0.1.0"}
  ]
end

Documentation can be found at https://hexdocs.pm/ex_type.

Usage

# type check for all code in `*.ex` files
$ mix type

# type check for specified module
$ mix type Example.Module

# type check for specified named function
$ mix type Example.Module.function

# type check for named function with specified arity
$ mix type Example.Module.function/arity

Development Note

• Use MIX_ENV=test iex -S mix to access test context.

License

MIT