Crate zenoh_ext

Modules

• group
  To manage groups and group memeberships

Structs

• FetchingSubscriber
  A Subscriber that will run the given user defined fetch funtion at startup.
• FetchingSubscriberBuilder
  The builder of FetchingSubscriber, allowing to configure it.
• LivelinessSpace
  The key space for liveliness tokens.
• PublicationCache
• PublicationCacheBuilder
  The builder of PublicationCache, allowing to configure it.
• QueryingSubscriberBuilder
  The builder of FetchingSubscriber, allowing to configure it.
• UserSpace
  The key space for user data.

Enums

• KeySpace
  The space of keys to use in a FetchingSubscriber.

Traits

• SessionExt
  Some extensions to the zenoh::Session
• SubscriberBuilderExt
  Some extensions to the zenoh::subscriber::SubscriberBuilder
• SubscriberForward
  Allows writing subscriber.forward(receiver) instead of subscriber.stream().map(Ok).forward(publisher)