MCPcopy Create free account

hub / github.com/Munksgaard/session-types / functions

Functions102 in github.com/Munksgaard/session-types

⨍ Functions 102◇ Types & classes 17
↓ 53 callersMethodclose
Close a channel. Should always be used at the end of your program.
src/lib.rs:184
↓ 43 callersMethodsel2
(self)
src/lib.rs:257
↓ 43 callersMethodsend
(self, v: A)
src/lib.rs:213
↓ 27 callersMethodrecv
(self)
src/lib.rs:225
↓ 26 callersMethodsel1
(self)
src/lib.rs:248
↓ 26 callersMethodzero
(self)
src/lib.rs:369
↓ 24 callersFunctionsession_channel
()
src/lib.rs:481
↓ 20 callersMethodenter
(self)
src/lib.rs:361
↓ 12 callersMethodcast
(self)
src/lib.rs:199
↓ 9 callersFunctionconnect
Connect two functions using a session typed channel.
src/lib.rs:492
↓ 9 callersMethodoffer
(self)
src/lib.rs:329
↓ 4 callersMethodadd_recv
Add a channel whose next step is `Recv` Once a channel has been added it cannot be interacted with as long as it is borrowed here (by virtue of borro
src/lib.rs:440
↓ 4 callersMethodskip3
(self)
src/lib.rs:284
↓ 3 callersFunctionabove
(Point(x, y, z): Point, Plane(a, b, c, d): Plane)
examples/planeclip.rs:37
↓ 3 callersMethodtry_recv
(self)
src/lib.rs:234
↓ 3 callersFunctionwrite_chan
(Chan(tx, _, _): &Chan<E, P>, x: A)
src/lib.rs:85
↓ 2 callersFunctionatm
(c: Chan<(), Atm>)
examples/atm.rs:21
↓ 2 callersFunctioncli
(c: Chan<(), Recv<A, Eps>>)
examples/generic.rs:14
↓ 2 callersFunctionhselect
( mut chans: Vec<Chan<E, Recv<A, P>>>, )
src/lib.rs:387
↓ 2 callersFunctionintersect
(p1: Point, p2: Point, plane: Plane)
examples/planeclip.rs:41
↓ 2 callersMethodis_empty
(&self)
src/lib.rs:468
↓ 2 callersFunctionread_chan
(Chan(_, rx, _): &Chan<E, P>)
src/lib.rs:89
↓ 2 callersFunctionsend_str
(c: Chan<(), Send<String, Eps>>)
tests/chan_select.rs:84
↓ 2 callersFunctionsrv
(c: Chan<(), Recv<u8, Eps>>)
tests/compile-fail/incompatible-sessions.rs:7
↓ 2 callersFunctionsrv
(x: A, c: Chan<(), Send<A, Eps>>)
examples/generic.rs:10
↓ 2 callersFunctiontry_read_chan
(Chan(_, rx, _): &Chan<E, P>)
src/lib.rs:93
↓ 2 callersMethodwait
Find a Receiver (and hence a Chan) that is ready to receive. This method consumes the ChanSelect, freeing up the borrowed Receivers to be consumed.
src/lib.rs:454
↓ 1 callersFunctionapproved
(id: &Id)
examples/atm.rs:17
↓ 1 callersFunctionask_neg
( c1: Chan<(), Rec<AskNeg<R, S>>>, c2: Chan<(), Send<Chan<(AskNeg<R, S>, ()), Recv<i64, Var<Z>>>, Eps>
examples/arithmetic.rs:122
↓ 1 callersFunctionbench
(n: usize, m: usize)
examples/planeclip.rs:159
↓ 1 callersFunctionchargen
(chan: Chan<(), Rec<Chargen>>)
examples/try-offer.rs:44
↓ 1 callersFunctioncli
(c: Chan<(), <Proto as HasDual>::Dual>)
tests/compile-fail/send-on-recv.rs:13
↓ 1 callersFunctioncli
(c: Chan<(), Rec<Cli>>)
examples/echo-server.rs:30
↓ 1 callersFunctionclient
(n: u64, c: Chan<(), Send<u64, Eps>>)
tests/send_recv.rs:6
↓ 1 callersFunctionclient
(n: u64, c: Chan<(), Send<u64, Eps>>)
tests/try_recv.rs:6
↓ 1 callersFunctionclient_handler
(c: Chan<(), Client>)
examples/many-clients.rs:48
↓ 1 callersFunctionclipmany
(planes: Vec<Plane>, points: Vec<Point>)
examples/planeclip.rs:133
↓ 1 callersFunctionclipper
(plane: Plane, ic: Chan<(), RecvList<Point>>, oc: Chan<(), SendList<Point>>)
examples/planeclip.rs:89
↓ 1 callersFunctiondeposit_client
(c: Chan<(), Client>)
examples/atm.rs:59
↓ 1 callersFunctionget_neg
( c1: Chan<(), Recv<Chan<(AskNeg<R, S>, ()), Recv<i64, Var<Z>>>, Eps>>, )
examples/arithmetic.rs:130
↓ 1 callersFunctioniselect
An alternative version of homogeneous select, returning the index of the Chan that is ready to receive.
src/lib.rs:397
↓ 1 callersMethodlen
How many channels are there in the structure?
src/lib.rs:464
↓ 1 callersFunctionrecvlist
(c: Chan<(), RecvList<A>>)
examples/planeclip.rs:69
↓ 1 callersFunctionrun_mode
(mode: &'static str)
tests/tests.rs:5
↓ 1 callersFunctionsend_usize
(c: Chan<(), Send<usize, Eps>>)
tests/chan_select.rs:88
↓ 1 callersFunctionsendlist
(c: Chan<(), SendList<A>>, xs: &Vec<A>)
examples/planeclip.rs:60
↓ 1 callersFunctionserver
(c: Chan<(), Rec<Srv>>)
examples/arithmetic.rs:25
↓ 1 callersFunctionserver
server sits in a loop accepting session-typed channels. For each received channel, a new thread is spawned to handle it. When the server is asked to
examples/many-clients.rs:28
↓ 1 callersMethodskip2
(self)
src/lib.rs:276
↓ 1 callersMethodskip4
(self)
src/lib.rs:292
↓ 1 callersFunctionsrv
(c: Chan<(), Proto>)
tests/compile-fail/send-on-recv.rs:9
↓ 1 callersFunctionsrv
(c: Chan<(), Recv<u8, Eps>>)
tests/compile-fail/no-aliasing.rs:7
↓ 1 callersFunctionsrv
(c: Chan<(), Rec<Srv>>)
examples/echo-server.rs:10
↓ 1 callersMethodsucc
(self)
src/lib.rs:377
↓ 1 callersFunctionupcase
(chan: Chan<(), Rec<Upcase>>)
examples/try-offer.rs:15
↓ 1 callersFunctionwithdraw_client
(c: Chan<(), Client>)
examples/atm.rs:70
Functionadd_client
(c: Chan<(), Rec<AddCli<R>>>)
examples/arithmetic.rs:65
Methodadd_offer
(&mut self, chan: &'c Chan<E, Offer<P, Q>>)
src/lib.rs:445
Functionchan_select_hselect
()
tests/chan_select.rs:17
Functionchan_select_simple
()
tests/chan_select.rs:41
Functionclient
(c: Chan<(), Send<(), Eps>>)
tests/drop_server.rs:5
Functionclient
(c: Chan<(), Eps>)
examples/connect.rs:8
Functionclient_incomplete_panics
()
tests/drop_server.rs:25
Functioncompile_test
()
tests/tests.rs:16
Methoddefault
()
src/lib.rs:474
Methoddrop
(&mut self)
src/lib.rs:177
Functiondrop_client
(_c: Chan<(), Send<(), Eps>>)
tests/drop_server.rs:14
Functiondrop_server
(_c: Chan<(), Recv<(), Eps>>)
tests/drop_server.rs:16
Functioneven
(n: i64)
examples/arithmetic.rs:104
Functionfn_client
(c: Chan<(), Rec<PrimeCli<R, S, T>>>)
examples/arithmetic.rs:103
Functionmain
()
tests/send_recv.rs:11
Functionmain
()
tests/try_recv.rs:11
Functionmain
()
tests/compile-fail/send-on-recv.rs:17
Functionmain
()
tests/compile-fail/cannot-impl-hasdual.rs:11
Functionmain
()
tests/compile-fail/no-aliasing.rs:12
Functionmain
()
tests/compile-fail/incompatible-sessions.rs:12
Functionmain
()
examples/hselect.rs:5
Functionmain
()
examples/arithmetic.rs:140
Functionmain
()
examples/many-clients.rs:63
Functionmain
()
examples/try-offer.rs:56
Functionmain
()
examples/planeclip.rs:167
Functionmain
()
examples/connect.rs:12
Functionmain
()
examples/echo-server.rs:57
Functionmain
()
examples/atm.rs:88
Functionmain
()
examples/generic.rs:20
Functionneg_client
(c: Chan<(), Rec<NegCli<R, S>>>)
examples/arithmetic.rs:73
Methodnew
()
src/lib.rs:430
Functionnormalize_plane
(Plane(a, b, c, d): Plane)
examples/planeclip.rs:150
Functionnormalize_point
(Point(a, b, c): Point)
examples/planeclip.rs:146
Methodsample
(&self, rng: &mut R)
examples/planeclip.rs:23
Functionserver
(c: Chan<(), Recv<(), Eps>>)
tests/drop_server.rs:9
Functionserver
(c: Chan<(), Eps>)
examples/connect.rs:4
Functionserver_client_incomplete_panics
()
tests/drop_server.rs:37
Functionserver_client_works
()
tests/drop_server.rs:19
Functionserver_handler
(c: Chan<(), Server>)
examples/many-clients.rs:12
Functionserver_incomplete_panics
()
tests/drop_server.rs:31
Methodskip
(self)
src/lib.rs:268
Methodskip5
(self)
src/lib.rs:300
Methodskip6
(self)
src/lib.rs:310
Methodskip7
(self)
src/lib.rs:320
next →1–100 of 102, ranked by callers