Crate owner_monad 

Rust implementation of a monad which provides ownership of an object.

Structs

BindOwner

An implementation of the OwnerOnce, Owner and OwnerMut traits which contains a mapping from one owner to another; see bind().

PureOwner

An implementation of the OwnerOnce, Owner and OwnerMut traits which simply contains a single (pure) value; see pure().

Traits

Owner

A monad which conditionally provides immutable access to a T value.

OwnerMut

A monad which conditionally provides mutable access to a T value.

OwnerOnce

A monad which conditionally provides access to a T value.

Functions

bind

Creates an instance of ownership monads which maps from the given owner to another using the given function.

pure

Creates an instance of ownership monads which provides access to the given value.