Typestate with Rust

README.md

Typestate with Rust

main.rs

// States

trait ResourceState {}

#[derive(Debug)]
struct PendingState;

#[derive(Debug)]
struct CreatingState;

#[derive(Debug)]
struct CreationErrorState {
    code: u32,
    message: String,
};

#[derive(Debug)]
struct AvailableState;

#[derive(Debug)]
struct DeletingState;

#[derive(Debug)]
struct DeletionErrorState {
    code: u32,
    message: String,
};

#[derive(Debug)]
struct DeletedState;

// Resource

#[derive(Debug)]
struct Resource<S: ResourceState> {
    id: u64,
    name: String,
    state: S,
}

impl Resource<>

fn main() {}