API Reference STEx v0.4.0
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.