Module mutable

Module for wrapping freezable data structures in managed boxes. Normally freezable data structures require an unaliased reference, such as T or ~T, so that the compiler can track when they are being mutated. The managed<T> type converts these static checks into dynamic checks: your program will fail if you attempt to perform mutation when the data structure should be immutable.

• Type Mut
• Enum Mode
• Struct Data
• Implementation for Data<T>
• Function Mut
• Function unwrap

type Mut<T> = Data<T>

struct Data <T>{
    priv mut value: T,
    priv mut mode: Mode,
}

fn borrow_mut<R>(op: &fn(t: &mut T) -> R) -> R

fn borrow_const<R>(op: &fn(t: &const T) -> R) -> R

fn borrow_imm<R>(op: &fn(t: &T) -> R) -> R

fn unwrap() -> T

fn Mut<T>(t: T) -> Mut<T>

fn unwrap<T>(m: Mut<T>) -> T