View Source API Reference ElixirST v0.8.3
Modules
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.