CV.Matrix

This module provides wrappers for CvMat type. This is still preliminary as the type of the matrix isn't coded in the haskell type.

Documentation

class Exists a where

Associated Types

type Args a :: *

Methods

create :: Args a -> IO a

Instances

Exists (Matrix Double)

Exists (Matrix Float)

Exists (Matrix Int)

Exists (Matrix (Double, Double))

Exists (Matrix (Float, Float))

Exists (Matrix (Int, Int))

Exists (Matrix (CFloat, CFloat))

Exists (Matrix (Float, Float, Float))

Exists (Matrix (CFloat, CFloat, CFloat))

Exists (Matrix (Int, Int, Int, Int))

Exists (Matrix (CInt, CInt, CInt, CInt))

data Matrix a

Instances

(Show t, Storable t, ~ * (Size (Matrix t)) (Int, Int)) => Show (Matrix t)

Sized (Matrix a)

Exists (Matrix Double)

Exists (Matrix Float)

Exists (Matrix Int)

Exists (Matrix (Double, Double))

Exists (Matrix (Float, Float))

Exists (Matrix (Int, Int))

Exists (Matrix (CFloat, CFloat))

Exists (Matrix (Float, Float, Float))

Exists (Matrix (CFloat, CFloat, CFloat))

Exists (Matrix (Int, Int, Int, Int))

Exists (Matrix (CInt, CInt, CInt, CInt))

emptyMatrix :: Exists (Matrix a) => Args (Matrix a) -> Matrix a

Create an empty matrix of given dimensions

fromFunction :: (Storable t, Exists (Matrix t), Args (Matrix t) ~ (Int, Int)) => (Int, Int) -> ((Int, Int) -> t) -> Matrix t

Generate a matrix from a index function

fromList :: forall t. (Storable t, Exists (Matrix t), Args (Matrix t) ~ (Int, Int)) => (Int, Int) -> [t] -> Matrix t

toList :: Storable a => Matrix a -> [a]

 Convert a matrix to flat list (row major order)

toRows :: forall t. Storable t => Matrix t -> [[t]]

Convert matrix to rows represented as nested lists

toCols :: forall t. Storable t => Matrix t -> [[t]]

Convert matrix to cols represented as nested lists

get :: forall t. Storable t => Matrix t -> Int -> Int -> IO t

 Get an element of the matrix

put :: forall t. Storable t => Matrix t -> Int -> Int -> t -> IO ()

 Write an element to a matrix

withMatPtr :: Matrix x -> (Ptr C'CvMat -> IO a) -> IO a

transpose :: (Exists (Matrix a), Args (Matrix a) ~ Size (Matrix a)) => Matrix a -> Matrix a

Transpose a matrix. Does not do complex conjugation for complex matrices

mxm :: (Exists (Matrix a), Args (Matrix a) ~ Size (Matrix a)) => Matrix a -> Matrix a -> Matrix a

 Ordinary matrix multiplication

invert :: (Exists (Matrix a), Args (Matrix a) ~ Size (Matrix a)) => Matrix a -> Matrix a

Matrix inversion

rodrigues2 :: (Exists (Matrix a), Args (Matrix a) ~ Size (Matrix a)) => Matrix a -> Matrix a

Convert a rotation vector to a rotation matrix (1x3 -> 3x3)

identity :: (Num a, Sized (Matrix a), Args (Matrix a) ~ (Int, Int), Size (Matrix a) ~ (Int, Int), Storable a, Exists (Matrix a)) => Matrix a -> Matrix a

 Create an identity matrix