aion-server 0.10.0

Aion workflow server library: HTTP, gRPC, WebSocket, and worker endpoints. Run it with the `aion` binary from the aion-cli crate.
Documentation
pub mod documents;
pub mod edit;
mod edit_rename;
mod edit_studio;
#[cfg(test)]
mod edit_tests;
mod edit_types;
pub mod handlers;
pub mod layout;
mod projection;
pub mod revisions;
pub mod run_loop;
pub mod scaffold;
#[cfg(test)]
mod scaffold_tests;
mod studio_projection;

pub use documents::{
    CreateDocumentRequest, CreateDocumentResponse, DocumentEntry, DocumentResponse,
    PutDocumentRequest,
};
pub use edit::{EditRequest, EditResponse, edit_source};
pub use handlers::{
    CheckRequest, CheckResponse, Diagnostic, FormatRequest, FormatResponse,
    check_source_in_workspace, format_source,
};