2024-09-04 21:37:35 +02:00
|
|
|
//! ### Buffer
|
|
|
|
//! A buffer is a container of text, modifiable in sync by users.
|
|
|
|
//! It is built on top of [diamond_types] CRDT, guaranteeing that all peers which have received the
|
|
|
|
//! same set of operations will converge to the same content.
|
2023-08-20 00:46:55 +02:00
|
|
|
|
|
|
|
/// buffer controller implementation
|
2023-07-30 17:48:55 +02:00
|
|
|
pub mod controller;
|
2023-08-20 00:46:55 +02:00
|
|
|
|
2023-09-10 03:01:37 +02:00
|
|
|
pub(crate) mod worker;
|
2023-08-16 23:09:47 +02:00
|
|
|
|
2024-02-01 17:54:56 +01:00
|
|
|
pub use controller::BufferController as Controller;
|