oref

A monad which implements aspects of the Rust langauge's ownership system as a library in Haskell.


Keywords
data, library, Propose Tags
License
BSD-3-Clause
Install
cabal install oref

Documentation

OwnershipMonad

Can we realize Rust's ownership model as a monad in Haskell?