Safe Haskell	None
Language	Haskell2010

Algebra.Matrix.HMatrix

Contents

Orphan instances

Description

Provides Matrix and MMatrix instances for Matrix type of hmatrix package.

Synopsis

data STMatrix s a

Documentation

data STMatrix s a Source #

Wrapper type for hmatrix's STMatrix.

Instances

Instances details

(Num a, Container Matrix a) => MMatrix STMatrix (WrapNum a) Source #
Instance details Defined in Algebra.Matrix.HMatrix Methods basicUnsafeNew :: PrimMonad m => Size -> Size -> m (STMatrix (PrimState m) (WrapNum a)) Source # basicInitialise :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> m () Source # basicRowCount :: STMatrix s (WrapNum a) -> Size Source # basicColumnCount :: STMatrix s (WrapNum a) -> Size Source # unsafeGetRow :: PrimMonad m => Index -> STMatrix (PrimState m) (WrapNum a) -> m (Row STMatrix (WrapNum a)) Source # unsafeGetColumn :: PrimMonad m => Index -> STMatrix (PrimState m) (WrapNum a) -> m (Column STMatrix (WrapNum a)) Source # unsafeFill :: PrimMonad m => Size -> Size -> WrapNum a -> m (STMatrix (PrimState m) (WrapNum a)) Source # unsafeFromRow :: PrimMonad m => Row STMatrix (WrapNum a) -> m (STMatrix (PrimState m) (WrapNum a)) Source # unsafeFromRows :: PrimMonad m => [Row STMatrix (WrapNum a)] -> m (STMatrix (PrimState m) (WrapNum a)) Source # unsafeFromColumn :: PrimMonad m => Column STMatrix (WrapNum a) -> m (STMatrix (PrimState m) (WrapNum a)) Source # unsafeFromColumns :: PrimMonad m => [Column STMatrix (WrapNum a)] -> m (STMatrix (PrimState m) (WrapNum a)) Source # unsafeCopy :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> STMatrix (PrimState m) (WrapNum a) -> m () Source # unsafeRead :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> Index -> Index -> m (WrapNum a) Source # unsafeWrite :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> Index -> Index -> WrapNum a -> m () Source # basicSet :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> WrapNum a -> m () Source # basicUnsafeIMapRowM :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> Index -> (Index -> WrapNum a -> m (WrapNum a)) -> m () Source # basicUnsafeIMapRow :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> Index -> (Index -> WrapNum a -> WrapNum a) -> m () Source # basicUnsafeSwapRows :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> Index -> Index -> m () Source # unsafeScaleRow :: (PrimMonad m, Commutative (WrapNum a)) => STMatrix (PrimState m) (WrapNum a) -> Index -> WrapNum a -> m () Source # unsafeGenerate :: PrimMonad m => Size -> Size -> (Index -> Index -> WrapNum a) -> m (STMatrix (PrimState m) (WrapNum a)) Source # unsafeGenerateM :: PrimMonad m => Size -> Size -> (Index -> Index -> m (WrapNum a)) -> m (STMatrix (PrimState m) (WrapNum a)) Source # toRows :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> m [Row STMatrix (WrapNum a)] Source # toColumns :: PrimMonad m => STMatrix (PrimState m) (WrapNum a) -> m [Column STMatrix (WrapNum a)] Source # combineRows :: (Semiring (WrapNum a), Commutative (WrapNum a), PrimMonad m) => Index -> WrapNum a -> Index -> STMatrix (PrimState m) (WrapNum a) -> m () Source #
(Fractional a, Container Matrix a) => MMatrix STMatrix (WrapFractional a) Source #
Instance details Defined in Algebra.Matrix.HMatrix Methods basicUnsafeNew :: PrimMonad m => Size -> Size -> m (STMatrix (PrimState m) (WrapFractional a)) Source # basicInitialise :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> m () Source # basicRowCount :: STMatrix s (WrapFractional a) -> Size Source # basicColumnCount :: STMatrix s (WrapFractional a) -> Size Source # unsafeGetRow :: PrimMonad m => Index -> STMatrix (PrimState m) (WrapFractional a) -> m (Row STMatrix (WrapFractional a)) Source # unsafeGetColumn :: PrimMonad m => Index -> STMatrix (PrimState m) (WrapFractional a) -> m (Column STMatrix (WrapFractional a)) Source # unsafeFill :: PrimMonad m => Size -> Size -> WrapFractional a -> m (STMatrix (PrimState m) (WrapFractional a)) Source # unsafeFromRow :: PrimMonad m => Row STMatrix (WrapFractional a) -> m (STMatrix (PrimState m) (WrapFractional a)) Source # unsafeFromRows :: PrimMonad m => [Row STMatrix (WrapFractional a)] -> m (STMatrix (PrimState m) (WrapFractional a)) Source # unsafeFromColumn :: PrimMonad m => Column STMatrix (WrapFractional a) -> m (STMatrix (PrimState m) (WrapFractional a)) Source # unsafeFromColumns :: PrimMonad m => [Column STMatrix (WrapFractional a)] -> m (STMatrix (PrimState m) (WrapFractional a)) Source # unsafeCopy :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> STMatrix (PrimState m) (WrapFractional a) -> m () Source # unsafeRead :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> Index -> Index -> m (WrapFractional a) Source # unsafeWrite :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> Index -> Index -> WrapFractional a -> m () Source # basicSet :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> WrapFractional a -> m () Source # basicUnsafeIMapRowM :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> Index -> (Index -> WrapFractional a -> m (WrapFractional a)) -> m () Source # basicUnsafeIMapRow :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> Index -> (Index -> WrapFractional a -> WrapFractional a) -> m () Source # basicUnsafeSwapRows :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> Index -> Index -> m () Source # unsafeScaleRow :: (PrimMonad m, Commutative (WrapFractional a)) => STMatrix (PrimState m) (WrapFractional a) -> Index -> WrapFractional a -> m () Source # unsafeGenerate :: PrimMonad m => Size -> Size -> (Index -> Index -> WrapFractional a) -> m (STMatrix (PrimState m) (WrapFractional a)) Source # unsafeGenerateM :: PrimMonad m => Size -> Size -> (Index -> Index -> m (WrapFractional a)) -> m (STMatrix (PrimState m) (WrapFractional a)) Source # toRows :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> m [Row STMatrix (WrapFractional a)] Source # toColumns :: PrimMonad m => STMatrix (PrimState m) (WrapFractional a) -> m [Column STMatrix (WrapFractional a)] Source # combineRows :: (Semiring (WrapFractional a), Commutative (WrapFractional a), PrimMonad m) => Index -> WrapFractional a -> Index -> STMatrix (PrimState m) (WrapFractional a) -> m () Source #
(Integral a, Container Matrix a) => MMatrix STMatrix (WrapIntegral a) Source #
Instance details Defined in Algebra.Matrix.HMatrix Methods basicUnsafeNew :: PrimMonad m => Size -> Size -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # basicInitialise :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> m () Source # basicRowCount :: STMatrix s (WrapIntegral a) -> Size Source # basicColumnCount :: STMatrix s (WrapIntegral a) -> Size Source # unsafeGetRow :: PrimMonad m => Index -> STMatrix (PrimState m) (WrapIntegral a) -> m (Row STMatrix (WrapIntegral a)) Source # unsafeGetColumn :: PrimMonad m => Index -> STMatrix (PrimState m) (WrapIntegral a) -> m (Column STMatrix (WrapIntegral a)) Source # unsafeFill :: PrimMonad m => Size -> Size -> WrapIntegral a -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # unsafeFromRow :: PrimMonad m => Row STMatrix (WrapIntegral a) -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # unsafeFromRows :: PrimMonad m => [Row STMatrix (WrapIntegral a)] -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # unsafeFromColumn :: PrimMonad m => Column STMatrix (WrapIntegral a) -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # unsafeFromColumns :: PrimMonad m => [Column STMatrix (WrapIntegral a)] -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # unsafeCopy :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> STMatrix (PrimState m) (WrapIntegral a) -> m () Source # unsafeRead :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> Index -> Index -> m (WrapIntegral a) Source # unsafeWrite :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> Index -> Index -> WrapIntegral a -> m () Source # basicSet :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> WrapIntegral a -> m () Source # basicUnsafeIMapRowM :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> Index -> (Index -> WrapIntegral a -> m (WrapIntegral a)) -> m () Source # basicUnsafeIMapRow :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> Index -> (Index -> WrapIntegral a -> WrapIntegral a) -> m () Source # basicUnsafeSwapRows :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> Index -> Index -> m () Source # unsafeScaleRow :: (PrimMonad m, Commutative (WrapIntegral a)) => STMatrix (PrimState m) (WrapIntegral a) -> Index -> WrapIntegral a -> m () Source # unsafeGenerate :: PrimMonad m => Size -> Size -> (Index -> Index -> WrapIntegral a) -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # unsafeGenerateM :: PrimMonad m => Size -> Size -> (Index -> Index -> m (WrapIntegral a)) -> m (STMatrix (PrimState m) (WrapIntegral a)) Source # toRows :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> m [Row STMatrix (WrapIntegral a)] Source # toColumns :: PrimMonad m => STMatrix (PrimState m) (WrapIntegral a) -> m [Column STMatrix (WrapIntegral a)] Source # combineRows :: (Semiring (WrapIntegral a), Commutative (WrapIntegral a), PrimMonad m) => Index -> WrapIntegral a -> Index -> STMatrix (PrimState m) (WrapIntegral a) -> m () Source #
type Row STMatrix Source #
Instance details Defined in Algebra.Matrix.HMatrix type Row STMatrix = Vector
type Column STMatrix Source #
Instance details Defined in Algebra.Matrix.HMatrix type Column STMatrix = Vector

Orphan instances

(Num a, Container Matrix a) => Matrix Matrix (WrapNum a) Source #
Instance details Methods basicRowCount :: Matrix (WrapNum a) -> Size Source # basicColumnCount :: Matrix (WrapNum a) -> Size Source # unsafeFreeze :: PrimMonad m => Mutable Matrix (PrimState m) (WrapNum a) -> m (Matrix (WrapNum a)) Source # unsafeThaw :: PrimMonad m => Matrix (WrapNum a) -> m (Mutable Matrix (PrimState m) (WrapNum a)) Source # basicUnsafeIndexM :: Monad m => Matrix (WrapNum a) -> Index -> Index -> m (WrapNum a) Source # basicUnsafeGetRowM :: Monad m => Matrix (WrapNum a) -> Index -> m (Row Matrix (WrapNum a)) Source # basicUnsafeGetColumnM :: Monad m => Matrix (WrapNum a) -> Index -> m (Column Matrix (WrapNum a)) Source # basicUnsafeCopy :: PrimMonad m => Mutable Matrix (PrimState m) (WrapNum a) -> Matrix (WrapNum a) -> m () Source # unsafeGenerate :: Size -> Size -> (Index -> Index -> WrapNum a) -> Matrix (WrapNum a) Source # unsafeWrite :: Matrix (WrapNum a) -> Index -> Index -> WrapNum a -> Matrix (WrapNum a) Source # unsafeFromRows :: [Row Matrix (WrapNum a)] -> Matrix (WrapNum a) Source # unsafeFromColumns :: [Column Matrix (WrapNum a)] -> Matrix (WrapNum a) Source # toRows :: Matrix (WrapNum a) -> [Row Matrix (WrapNum a)] Source # toColumns :: Matrix (WrapNum a) -> [Column Matrix (WrapNum a)] Source # swapRows :: Matrix (WrapNum a) -> Index -> Index -> Matrix (WrapNum a) Source # scaleRow :: Matrix (WrapNum a) -> Index -> WrapNum a -> Matrix (WrapNum a) Source # unsafeIMapRowM :: Monad m => Matrix (WrapNum a) -> Index -> (Index -> WrapNum a -> m (WrapNum a)) -> m (Matrix (WrapNum a)) Source # unsafeIMapRowM_ :: Monad m => Matrix (WrapNum a) -> Index -> (Index -> WrapNum a -> m b) -> m () Source # unsafeIMapRow :: Matrix (WrapNum a) -> Index -> (Index -> WrapNum a -> WrapNum a) -> Matrix (WrapNum a) Source # combineRows :: Index -> WrapNum a -> Index -> Matrix (WrapNum a) -> Matrix (WrapNum a) Source # gaussReduction :: Matrix (WrapNum a) -> (Matrix (WrapNum a), Matrix (WrapNum a), WrapNum a) Source #
(Fractional a, Container Matrix a) => Matrix Matrix (WrapFractional a) Source #
Instance details Methods basicRowCount :: Matrix (WrapFractional a) -> Size Source # basicColumnCount :: Matrix (WrapFractional a) -> Size Source # unsafeFreeze :: PrimMonad m => Mutable Matrix (PrimState m) (WrapFractional a) -> m (Matrix (WrapFractional a)) Source # unsafeThaw :: PrimMonad m => Matrix (WrapFractional a) -> m (Mutable Matrix (PrimState m) (WrapFractional a)) Source # basicUnsafeIndexM :: Monad m => Matrix (WrapFractional a) -> Index -> Index -> m (WrapFractional a) Source # basicUnsafeGetRowM :: Monad m => Matrix (WrapFractional a) -> Index -> m (Row Matrix (WrapFractional a)) Source # basicUnsafeGetColumnM :: Monad m => Matrix (WrapFractional a) -> Index -> m (Column Matrix (WrapFractional a)) Source # basicUnsafeCopy :: PrimMonad m => Mutable Matrix (PrimState m) (WrapFractional a) -> Matrix (WrapFractional a) -> m () Source # unsafeGenerate :: Size -> Size -> (Index -> Index -> WrapFractional a) -> Matrix (WrapFractional a) Source # unsafeWrite :: Matrix (WrapFractional a) -> Index -> Index -> WrapFractional a -> Matrix (WrapFractional a) Source # unsafeFromRows :: [Row Matrix (WrapFractional a)] -> Matrix (WrapFractional a) Source # unsafeFromColumns :: [Column Matrix (WrapFractional a)] -> Matrix (WrapFractional a) Source # toRows :: Matrix (WrapFractional a) -> [Row Matrix (WrapFractional a)] Source # toColumns :: Matrix (WrapFractional a) -> [Column Matrix (WrapFractional a)] Source # swapRows :: Matrix (WrapFractional a) -> Index -> Index -> Matrix (WrapFractional a) Source # scaleRow :: Matrix (WrapFractional a) -> Index -> WrapFractional a -> Matrix (WrapFractional a) Source # unsafeIMapRowM :: Monad m => Matrix (WrapFractional a) -> Index -> (Index -> WrapFractional a -> m (WrapFractional a)) -> m (Matrix (WrapFractional a)) Source # unsafeIMapRowM_ :: Monad m => Matrix (WrapFractional a) -> Index -> (Index -> WrapFractional a -> m b) -> m () Source # unsafeIMapRow :: Matrix (WrapFractional a) -> Index -> (Index -> WrapFractional a -> WrapFractional a) -> Matrix (WrapFractional a) Source # combineRows :: Index -> WrapFractional a -> Index -> Matrix (WrapFractional a) -> Matrix (WrapFractional a) Source # gaussReduction :: Matrix (WrapFractional a) -> (Matrix (WrapFractional a), Matrix (WrapFractional a), WrapFractional a) Source #
(Integral a, Container Matrix a) => Matrix Matrix (WrapIntegral a) Source #
Instance details Methods basicRowCount :: Matrix (WrapIntegral a) -> Size Source # basicColumnCount :: Matrix (WrapIntegral a) -> Size Source # unsafeFreeze :: PrimMonad m => Mutable Matrix (PrimState m) (WrapIntegral a) -> m (Matrix (WrapIntegral a)) Source # unsafeThaw :: PrimMonad m => Matrix (WrapIntegral a) -> m (Mutable Matrix (PrimState m) (WrapIntegral a)) Source # basicUnsafeIndexM :: Monad m => Matrix (WrapIntegral a) -> Index -> Index -> m (WrapIntegral a) Source # basicUnsafeGetRowM :: Monad m => Matrix (WrapIntegral a) -> Index -> m (Row Matrix (WrapIntegral a)) Source # basicUnsafeGetColumnM :: Monad m => Matrix (WrapIntegral a) -> Index -> m (Column Matrix (WrapIntegral a)) Source # basicUnsafeCopy :: PrimMonad m => Mutable Matrix (PrimState m) (WrapIntegral a) -> Matrix (WrapIntegral a) -> m () Source # unsafeGenerate :: Size -> Size -> (Index -> Index -> WrapIntegral a) -> Matrix (WrapIntegral a) Source # unsafeWrite :: Matrix (WrapIntegral a) -> Index -> Index -> WrapIntegral a -> Matrix (WrapIntegral a) Source # unsafeFromRows :: [Row Matrix (WrapIntegral a)] -> Matrix (WrapIntegral a) Source # unsafeFromColumns :: [Column Matrix (WrapIntegral a)] -> Matrix (WrapIntegral a) Source # toRows :: Matrix (WrapIntegral a) -> [Row Matrix (WrapIntegral a)] Source # toColumns :: Matrix (WrapIntegral a) -> [Column Matrix (WrapIntegral a)] Source # swapRows :: Matrix (WrapIntegral a) -> Index -> Index -> Matrix (WrapIntegral a) Source # scaleRow :: Matrix (WrapIntegral a) -> Index -> WrapIntegral a -> Matrix (WrapIntegral a) Source # unsafeIMapRowM :: Monad m => Matrix (WrapIntegral a) -> Index -> (Index -> WrapIntegral a -> m (WrapIntegral a)) -> m (Matrix (WrapIntegral a)) Source # unsafeIMapRowM_ :: Monad m => Matrix (WrapIntegral a) -> Index -> (Index -> WrapIntegral a -> m b) -> m () Source # unsafeIMapRow :: Matrix (WrapIntegral a) -> Index -> (Index -> WrapIntegral a -> WrapIntegral a) -> Matrix (WrapIntegral a) Source # combineRows :: Index -> WrapIntegral a -> Index -> Matrix (WrapIntegral a) -> Matrix (WrapIntegral a) Source # gaussReduction :: Matrix (WrapIntegral a) -> (Matrix (WrapIntegral a), Matrix (WrapIntegral a), WrapIntegral a) Source #
(Container Matrix a, Show a) => Show (Matrix (WrapNum a)) Source #
Instance details Methods showsPrec :: Int -> Matrix (WrapNum a) -> ShowS # show :: Matrix (WrapNum a) -> String # showList :: [Matrix (WrapNum a)] -> ShowS #
(Container Matrix a, Show a) => Show (Matrix (WrapFractional a)) Source #
Instance details Methods showsPrec :: Int -> Matrix (WrapFractional a) -> ShowS # show :: Matrix (WrapFractional a) -> String # showList :: [Matrix (WrapFractional a)] -> ShowS #
(Container Matrix a, Show a) => Show (Matrix (WrapIntegral a)) Source #
Instance details Methods showsPrec :: Int -> Matrix (WrapIntegral a) -> ShowS # show :: Matrix (WrapIntegral a) -> String # showList :: [Matrix (WrapIntegral a)] -> ShowS #