toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2014
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable (FlexibleContexts)
Safe HaskellNone
LanguageHaskell2010

ToySolver.Internal.Data.IOURef

Description

Simple unboxed IORef-like type based on IOUArray

Documentation

data IOURef a Source

Instances

Eq (IOURef a) 

newIOURef :: MArray IOUArray a IO => a -> IO (IOURef a) Source

readIOURef :: MArray IOUArray a IO => IOURef a -> IO a Source

writeIOURef :: MArray IOUArray a IO => IOURef a -> a -> IO () Source

modifyIOURef :: MArray IOUArray a IO => IOURef a -> (a -> a) -> IO () Source