Docs.rs
ferrite-session-0.2.0
ferrite-session 0.2.0
Docs.rs crate page
MIT OR Apache-2.0
Links
Homepage
Repository
crates.io
Source
Owners
soareschen
Dependencies
ipc-channel ^0.15.0
normal
log ^0.4.14
normal
paste ^1.0.5
normal
serde ^1.0.126
normal
tokio ^1.7.0
normal
Versions
Go to latest version
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
Module prelude
Macros
Structs
Enums
Traits
Functions
Type Definitions
?
Module
ferrite_session
::
prelude
[
−
]
[src]
Macros
HList
Sum
acquire_shared_session
case
choose
cut
define_choice
include_session
offer_case
offer_choice
receive_channel
receive_channel_from
receive_channels
receive_value
receive_value_from
send_value
send_value_to
terminate
wait
wait_all
Structs
App
AppSum
ChoiceSelector
Const
ElimConst
Empty
End
ExternalChoice
Identity
IdentityF
InternalChoice
LinearToShared
Merge
PartialSession
RecX
ReceiveChannel
ReceiveValue
S
SendChannel
SendValue
SharedChannel
SharedSession
SharedToLinear
Wrap
Z
Enums
AllLeft
AllRight
Bottom
L
R
Release
Sum
Traits
AppendContext
Applicative
Context
ContextLens
Cut
ElimField
ElimSum
EmptyContext
FlattenSumApp
ForwardChannel
Functor
HasRecApp
HasSumApp
HasTypeApp
InjectLift
IntersectSum
Monad
Nat
NaturalTransformation
Prism
Protocol
RecApp
RowCon
SharedProtocol
SharedRecApp
Slot
SplitRow
SumApp
SumFunctor
SumFunctorInject
ToRow
TyCon
TypeApp
Wrapper
Functions
absurd
accept_shared_session
acquire_shared_session
append_emtpy_slot
apply_channel
async_acquire_shared_session
async_acquire_shared_session_with_result
case
choose
cut
cut_append
detach_shared_session
extract
fix_session
fork
forward
get_applied
get_sum
get_sum_borrow
include_session
join_sessions
lift_sum
lift_sum_inject
new_session
offer_case
offer_choice
partial_session
partial_session_1
partial_session_2
receive_channel
receive_channel_from
receive_channel_from_slot
receive_channel_slot
receive_value
receive_value_from
release_shared_session
run_cont
run_session
run_session_with_result
run_shared_session
run_shared_session_with_join_handle
send_channel_from
send_channel_to
send_channel_to_session
send_value
send_value_to
session
session_1
session_2
shared_forward
step
succ
terminate
terminate_async
terminate_nil
unfix_session
unwrap_session
wait
wait_session
wait_sessions
wrap_session
wrap_sum_app
wrap_type_app
Type Definitions
Rec
Session