SAT.Mios.Data.VecDouble

Mutable Unboxed Double Vector

Documentation

type VecDouble = IOVector Double

Mutable unboxed Double Vector

newVecDouble :: Int -> Double -> IO VecDouble

returns a new VecDouble

getNthDouble :: Int -> VecDouble -> IO Double

returns the nth value in VecDouble

setNthDouble :: Int -> VecDouble -> Double -> IO ()

sets the nth value

modifyNthDouble :: Int -> VecDouble -> (Double -> Double) -> IO ()

updates the nth value

Orphan instances

VectorFamily VecDouble Double

Methods

clear :: VecDouble -> IO ()

dump :: String -> VecDouble -> IO String

asVec :: VecDouble -> IOVector Int

asList :: VecDouble -> IO [Double]