View Source ElixirST.Parser (ElixirST v0.8.3)

Parses an input string to session types (as Elixir data).

Summary

Functions

parse(session_type)

Parses a string into a session type data structure

Functions

parse(session_type)

@spec parse(bitstring()) :: session_type()

Parses a string into a session type data structure

Example

iex> s = "rec Y.(+{!Hello(number, [{boolean, atom}]).Y, !Ok()})"
...> session_type = ElixirST.Parser.parse(s)
...> ElixirST.ST.st_to_string(session_type)
"rec Y.(+{!Hello(number, [{boolean, atom}]).Y, !Ok()})"