toysolver-0.5.0: Assorted decision procedures for SAT, SMT, 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) Source # 

Methods

(==) :: IOURef a -> IOURef a -> Bool #

(/=) :: IOURef a -> IOURef a -> Bool #

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

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