Data.Matrix.Static.Generic.Mutable

Documentation

class MVector v a => MMatrix (mat :: MMatrixKind) v a where

Methods

dim :: mat r c v s a -> (Int, Int)

unsafeRead :: PrimMonad s => mat r c v (PrimState s) a -> (Int, Int) -> s a

unsafeWrite :: PrimMonad s => mat r c v (PrimState s) a -> (Int, Int) -> a -> s ()

unsafeModify :: PrimMonad s => mat r c v (PrimState s) a -> (a -> a) -> (Int, Int) -> s ()

fill :: PrimMonad s => mat r c v (PrimState s) a -> a -> s ()

new :: (SingI r, SingI c, PrimMonad s) => s (mat r c v (PrimState s) a)

Create a mutable matrix without initialization

replicate :: (SingI r, SingI c, PrimMonad s) => a -> s (mat r c v (PrimState s) a)

Instances

MVector v a => MMatrix MMatrix v a

Defined in Data.Matrix.Static.Dense.Mutable

Methods

dim :: MMatrix r c v s a -> (Int, Int)

unsafeRead :: PrimMonad s => MMatrix r c v (PrimState s) a -> (Int, Int) -> s a

unsafeWrite :: PrimMonad s => MMatrix r c v (PrimState s) a -> (Int, Int) -> a -> s ()

unsafeModify :: PrimMonad s => MMatrix r c v (PrimState s) a -> (a -> a) -> (Int, Int) -> s ()

fill :: PrimMonad s => MMatrix r c v (PrimState s) a -> a -> s ()

new :: (SingI r, SingI c, PrimMonad s) => s (MMatrix r c v (PrimState s) a)

replicate :: (SingI r, SingI c, PrimMonad s) => a -> s (MMatrix r c v (PrimState s) a)

MVector v a => MMatrix MSparseMatrix v a

Defined in Data.Matrix.Static.Sparse.Mutable

Methods

dim :: MSparseMatrix r c v s a -> (Int, Int)

unsafeRead :: PrimMonad s => MSparseMatrix r c v (PrimState s) a -> (Int, Int) -> s a

unsafeWrite :: PrimMonad s => MSparseMatrix r c v (PrimState s) a -> (Int, Int) -> a -> s ()

unsafeModify :: PrimMonad s => MSparseMatrix r c v (PrimState s) a -> (a -> a) -> (Int, Int) -> s ()

fill :: PrimMonad s => MSparseMatrix r c v (PrimState s) a -> a -> s ()

new :: (SingI r, SingI c, PrimMonad s) => s (MSparseMatrix r c v (PrimState s) a)

replicate :: (SingI r, SingI c, PrimMonad s) => a -> s (MSparseMatrix r c v (PrimState s) a)

type MMatrixKind = Nat -> Nat -> (Type -> Type -> Type) -> Type -> Type -> Type

fillDiagonal :: (PrimMonad s, MMatrix mat v a) => mat r c v (PrimState s) a -> a -> s ()