2024-09-04 21:37:35 +02:00
|
|
|
//! # API
|
|
|
|
//! These traits and structs represent the main `codemp` library API.
|
2023-09-10 03:03:49 +02:00
|
|
|
|
|
|
|
/// a generic async provider for bidirectional communication
|
|
|
|
pub mod controller;
|
|
|
|
|
2023-11-17 05:45:31 +01:00
|
|
|
/// a generic representation of a text change
|
|
|
|
pub mod change;
|
|
|
|
|
2024-09-11 15:12:31 +02:00
|
|
|
/// client configuration
|
|
|
|
pub mod config;
|
|
|
|
|
2024-08-05 19:15:30 +02:00
|
|
|
/// representation for an user's cursor
|
|
|
|
pub mod cursor;
|
|
|
|
|
2024-09-04 21:37:35 +02:00
|
|
|
/// live events in workspaces
|
2024-08-09 00:40:33 +02:00
|
|
|
pub mod event;
|
|
|
|
|
2024-09-04 21:37:35 +02:00
|
|
|
/// data structure for remote users
|
2024-08-08 21:55:21 +02:00
|
|
|
pub mod user;
|
|
|
|
|
2024-10-16 00:42:55 +02:00
|
|
|
pub use change::{BufferUpdate, TextChange};
|
2024-09-11 15:12:31 +02:00
|
|
|
pub use config::Config;
|
2024-10-16 00:42:55 +02:00
|
|
|
pub use controller::{AsyncReceiver, AsyncSender, Controller};
|
|
|
|
pub use cursor::{Cursor, Selection};
|
2024-08-09 00:40:33 +02:00
|
|
|
pub use event::Event;
|
2024-08-08 21:55:21 +02:00
|
|
|
pub use user::User;
|