Packages

elixirst

0.6.0
0.8.3 0.8.2 0.8.1 0.8.0 0.7.5 0.7.4 0.7.3 0.7.2 0.7.1 0.7.0 0.6.5 0.6.4 0.6.3 0.6.2 0.6.1 0.6.0

ElixirST: Session Types in Elixir

HexDocs

Current section

Files

Jump to
Readme
16 Versions
2 Dependencies
Dependants
Files
Activity
elixirst lib stex examples small_example.ex
Raw

lib/stex/examples/small_example.ex 

defmodule Examples.SmallExample do

  use STEx

  @moduledoc false



  @session "server = ?Hello()"

  @spec server(pid) :: atom

  def server(_pid) do

    receive do

      {:Hello} -> :ok

    end

  end



  @dual "server"

  @spec client(pid) :: {atom}

  def client(pid) do

    send(pid, {:Hello})

  end

end



# explicitly: `mix sessions Examples.SmallExample`