toysolver-0.7.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
Safe HaskellNone
LanguageHaskell2010
ExtensionsFlexibleContexts

ToySolver.Internal.Data.IOURef

Description

Simple unboxed IORef-like type based on IOUArray

Documentation

data IOURef a Source #

Instances

Instances details
Eq (IOURef a) Source # 
Instance details

Defined in ToySolver.Internal.Data.IOURef

Methods

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

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

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 #