hub / github.com/Munksgaard/session-types

github.com/Munksgaard/session-types @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

119 symbols 399 edges 19 files 16 documented · 13% ● updated 3y ago★ 58011 open issues

Browse by type

⨍ Functions 102◇ Types & classes 17

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

HasDual (Interface)

The HasDual trait defines the dual relationship between protocols. Any valid protocol has a corresponding dual. This t [9 …

src/lib.rs

Sealed (Interface)

(no doc) [7 implementers]

src/lib.rs

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 14 filessession_channel

src/lib.rs

↓ 3 filesconnect

Connect two functions using a session typed channel.

src/lib.rs

↓ 2 fileshselect

src/lib.rs

browse all functions →

Shape

Function 74

Method 28

Class 14

Interface 2

Enum 1

Languages

Rust100%

Modules by API surface

src/lib.rs48 symbols

examples/planeclip.rs13 symbols

examples/arithmetic.rs9 symbols

tests/drop_server.rs8 symbols

examples/atm.rs5 symbols

tests/chan_select.rs4 symbols

examples/many-clients.rs4 symbols

tests/compile-fail/send-on-recv.rs3 symbols

examples/try-offer.rs3 symbols

examples/generic.rs3 symbols

examples/echo-server.rs3 symbols

examples/connect.rs3 symbols

For agents

$ claude mcp add session-types \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/Munksgaard/session-types @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page