SAT.Solver.Mios.Data.Singleton

Contents

• Bool
• Int
• Double

Description

Synopsis

• type BoolSingleton = IOVector Bool
• newBool :: Bool -> IO BoolSingleton
• getBool :: BoolSingleton -> IO Bool
• setBool :: BoolSingleton -> Bool -> IO ()
• modifyBool :: BoolSingleton -> (Bool -> Bool) -> IO ()
• type IntSingleton = IOVector Int
• newInt :: Int -> IO IntSingleton
• getInt :: IntSingleton -> IO Int
• setInt :: IntSingleton -> Int -> IO ()
• modifyInt :: IntSingleton -> (Int -> Int) -> IO ()
• type DoubleSingleton = IOVector Double
• newDouble :: Double -> IO DoubleSingleton
• getDouble :: DoubleSingleton -> IO Double
• setDouble :: DoubleSingleton -> Double -> IO ()
• modifyDouble :: DoubleSingleton -> (Double -> Double) -> IO ()

Bool

Int

Double