API Reference ElixirST v0.6.1


This module is the starting point of ElixirST. It parses the @session (and @dual) attribute and starts analysing the AST code using session types.

Parses an input string to session types (as Elixir data).

Retrieves bytecode and (session) typechecks it.

Manipulate Session Type (ST) data.

Elixir code is typechecked against a pre-define session type.

Operations related to expression typing.

Mix Tasks

Use mix sessions to run ElixirST for all module, or mix sessions [module name] to run ElixirST only for a specific module.