STEx.SessionTypechecking (STEx v0.4.5) View Source
Elixir code is typechecked against a pre-define session type.
Link to this section Summary
Link to this section Functions
Specs
Link to this function
session_typecheck_module(all_functions, function_session_type, module_name, options \\ [])
View SourceSpecs
session_typecheck_module( %{required(STEx.ST.name_arity()) => STEx.ST.Function.t()}, %{required(STEx.ST.name_arity()) => STEx.ST.session_type()}, atom(), list() ) :: list()
Specs
typecheck(STEx.ST.ast(), map()) :: {STEx.ST.ast(), map()}