API Reference STEx v0.4.5

Modules

This module is the starting point of STEx. 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 STEx for all module, or mix sessions [module name] to run STEx only for a specific module.