ElixirST.SessionTypechecking (ElixirST v0.6.3) View Source

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

Link to this section Summary

Link to this section Functions

Link to this function

session_typecheck_by_function(function, env)

View Source

Specs

session_typecheck_by_function(ElixirST.ST.Function.t(), map()) :: map()
Link to this function

session_typecheck_module(all_functions, function_session_type, module_name, options \\ [])

View Source

Specs

session_typecheck_module(
  %{required(ElixirST.ST.name_arity()) => ElixirST.ST.Function.t()},
  %{required(ElixirST.ST.name_arity()) => ElixirST.ST.session_type()},
  atom(),
  list()
) :: list()

Specs

typecheck(ElixirST.ST.ast(), map()) :: {ElixirST.ST.ast(), map()}