A tool for statically checking Elixir communication patterns. Multiparty Session Typing for Elixir apps using the Maty language design
If available in Hex, the package can be installed
by adding maty
to your list of dependencies in mix.exs
:
def deps do
[
{:maty, "~> 0.7.0"}
]
end
Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/maty.
To check that a global protocol is correct:
scribble path/to/protocol.scr
To get a local projection of a global protocol:
scribble path/to/protocol.scr -project GlobalProtocolName LocalRoleName