Typed

Types for Elixir

To Do

• add deft to define a typed public function
• add defpt to define a typed private function
• [] define typed struct

Examples

  defmodule T do
    use Typed

    deft sum( x: integer, y: integer ) :: integer do
      x + y
    end
    deft alert( msg: String.t ) :: :ok do
      :ok = testing(123,12312)
    end
    defpt testing(a: number, b: number ) :: :ok do
      IO.puts("impact #{a} and #{b}")
    end
  end

Tips and tricks

using the vscode extension Elixir Custom Highlight to help you and facilitate coloring,

Installation

def deps do
  [
    {:typed, "~> 0.1.0"}
  ]
end