2023-08-20 00:46:55 +02:00
|
|
|
//! ### Prelude
|
|
|
|
//!
|
|
|
|
//! all-in-one renamed imports with `use codemp::prelude::*`
|
|
|
|
|
2023-08-19 21:44:27 +02:00
|
|
|
pub use crate::{
|
|
|
|
Error as CodempError,
|
|
|
|
Result as CodempResult,
|
2023-09-10 03:40:31 +02:00
|
|
|
};
|
|
|
|
|
2023-11-17 05:46:13 +01:00
|
|
|
pub use crate::woot::crdt::Op as CodempOp;
|
2023-09-10 03:40:31 +02:00
|
|
|
|
2023-11-17 05:45:31 +01:00
|
|
|
pub use crate::api::{
|
|
|
|
Controller as CodempController,
|
|
|
|
TextChange as CodempTextChange,
|
|
|
|
};
|
2023-09-10 03:40:31 +02:00
|
|
|
|
|
|
|
pub use crate::{
|
2024-01-25 02:13:45 +01:00
|
|
|
// Instance as CodempInstance,
|
2023-09-10 03:40:31 +02:00
|
|
|
client::Client as CodempClient,
|
2024-01-25 03:25:45 +01:00
|
|
|
workspace::Workspace as CodempWorkspace,
|
|
|
|
workspace::UserInfo as CodempUserInfo,
|
2023-08-19 21:44:27 +02:00
|
|
|
cursor::Controller as CodempCursorController,
|
2024-01-25 03:25:45 +01:00
|
|
|
buffer::Controller as CodempBufferController,
|
2023-09-10 03:40:31 +02:00
|
|
|
};
|