Safe Haskell	None
Language	Haskell2010

Data.Matrix.Dynamic

Synopsis

data Dynamic (m :: MatrixKind) (v :: Type -> Type) a where
- Dynamic :: m r c v a -> Dynamic m v a
withDyn :: Dynamic m v a -> (forall r c. m r c v a -> b) -> b
matrix :: forall m v a. Matrix m v a => [[a]] -> Dynamic m v a
fromList :: forall v a m. Matrix m v a => (Int, Int) -> [a] -> Dynamic m v a
fromVector :: forall v a m. Matrix m v a => (Int, Int) -> v a -> Dynamic m v a
fromColumns :: forall m v a. Matrix m v a => [v a] -> Dynamic m v a
fromRows :: forall m v a. Matrix m v a => [v a] -> Dynamic m v a
fromTriplet :: forall u v a. (Vector u (Int, Int, a), Vector v a) => (Int, Int) -> u (Int, Int, a) -> Dynamic SparseMatrix v a
decodeSparse :: forall v a. (Store (v a), Vector v a) => ByteString -> Dynamic SparseMatrix v a

Documentation

data Dynamic (m :: MatrixKind) (v :: Type -> Type) a where Source #

Constructors

Dynamic :: m r c v a -> Dynamic m v a

withDyn :: Dynamic m v a -> (forall r c. m r c v a -> b) -> b Source #

matrix :: forall m v a. Matrix m v a => [[a]] -> Dynamic m v a Source #

fromList :: forall v a m. Matrix m v a => (Int, Int) -> [a] -> Dynamic m v a Source #

Construct matrix from a list containg columns.

fromVector :: forall v a m. Matrix m v a => (Int, Int) -> v a -> Dynamic m v a Source #

Construct matrix from a vector containg columns.

fromColumns :: forall m v a. Matrix m v a => [v a] -> Dynamic m v a Source #

fromRows :: forall m v a. Matrix m v a => [v a] -> Dynamic m v a Source #

O(m*n) Create matrix from rows

fromTriplet :: forall u v a. (Vector u (Int, Int, a), Vector v a) => (Int, Int) -> u (Int, Int, a) -> Dynamic SparseMatrix v a Source #

decodeSparse :: forall v a. (Store (v a), Vector v a) => ByteString -> Dynamic SparseMatrix v a Source #