blas-0.6: Bindings to the BLAS library Source code Contents Index

Data.Matrix.Tri Stability experimental Maintainer Patrick Perry <patperry@stanford.edu>

Description

Synopsis

data Tri a mn e = Tri UpLo Diag (a mn e) data UpLo = Upper | Lower data Diag = Unit | NonUnit fromBase :: UpLo -> Diag -> a (m, n) e -> Tri a (m, n) e toBase :: Tri a (m, n) e -> (UpLo, Diag, a (m, n) e) mapTri :: (a (m, n) e -> b (m, n) e) -> Tri a (m, n) e -> Tri b (m, n) e lower :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e lowerFat :: BaseMatrix a => a (m, n) e -> Tri a (m, m) e lowerTall :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e lowerU :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e lowerUFat :: BaseMatrix a => a (m, n) e -> Tri a (m, m) e lowerUTall :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e upper :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e upperFat :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e upperTall :: BaseMatrix a => a (m, n) e -> Tri a (n, n) e upperU :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e upperUFat :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e upperUTall :: BaseMatrix a => a (m, n) e -> Tri a (n, n) e coerceTri :: Tri a mn e -> Tri a mn' e module BLAS.Matrix

Documentation

data Tri a mn e Source

Constructors Tri UpLo Diag (a mn e) Instances BaseMatrix a => BaseMatrix (Tri a) BLAS3 e => IMatrix (Tri Matrix) e BLAS2 e => IMatrix (Tri Banded) e BLAS3 e => ISolve (Tri Matrix) e BLAS2 e => ISolve (Tri Banded) e BLAS3 e => MMatrix (Tri IOMatrix) e IO (BLAS3 e, UnsafeIOToM m) => MMatrix (Tri Matrix) e m BLAS2 e => MMatrix (Tri IOBanded) e IO (BLAS2 e, UnsafeIOToM m) => MMatrix (Tri Banded) e m BLAS3 e => MSolve (Tri IOMatrix) e IO (BLAS3 e, UnsafeIOToM m) => MSolve (Tri Matrix) e m BLAS2 e => MSolve (Tri IOBanded) e IO (BLAS2 e, UnsafeIOToM m) => MSolve (Tri Banded) e m BLAS3 e => MMatrix (Tri (STMatrix s)) e (ST s) BLAS2 e => MMatrix (Tri (STBanded s)) e (ST s) BLAS3 e => MSolve (Tri (STMatrix s)) e (ST s) BLAS2 e => MSolve (Tri (STBanded s)) e (ST s) BaseMatrix a => BaseTensor (Tri a) ((,) Int Int) (Show (a ((,) m n) e), BaseMatrix a) => Show (Tri a ((,) m n) e)

data UpLo Source

Lower or upper triangular storage Constructors Upper Lower Instances Eq UpLo Show UpLo

data Diag Source

Diagonal storage Constructors Unit NonUnit Instances Eq Diag Show Diag

fromBase :: UpLo -> Diag -> a (m, n) e -> Tri a (m, n) e Source

toBase :: Tri a (m, n) e -> (UpLo, Diag, a (m, n) e) Source

mapTri :: (a (m, n) e -> b (m, n) e) -> Tri a (m, n) e -> Tri b (m, n) e Source

lower :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e Source

lowerFat :: BaseMatrix a => a (m, n) e -> Tri a (m, m) e Source

lowerTall :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e Source

lowerU :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e Source

lowerUFat :: BaseMatrix a => a (m, n) e -> Tri a (m, m) e Source

lowerUTall :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e Source

upper :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e Source

upperFat :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e Source

upperTall :: BaseMatrix a => a (m, n) e -> Tri a (n, n) e Source

upperU :: BaseMatrix a => a (n, n) e -> Tri a (n, n) e Source

upperUFat :: BaseMatrix a => a (m, n) e -> Tri a (m, n) e Source

upperUTall :: BaseMatrix a => a (m, n) e -> Tri a (n, n) e Source

coerceTri :: Tri a mn e -> Tri a mn' e Source

Coerce the shape type.

module BLAS.Matrix

Produced by Haddock version 2.3.0