[][src]Module cerk::runtime::channel

Wrappers for platform-specific channel implementation used in CERK.

Traits

Receiver

Wrapper for a platform-specific channel receiver.

Sender

Wrapper for a platform-specific channel sender.

Type Definitions

BoxedReceiver

Boxed wrapper for a platform-specific channel receiver.

BoxedSender

Boxed wrapper for a platform-specific channel sender.