Numeric.LAPACK.Matrix.Array

Documentation

data family Matrix typ extraLower extraUpper lower upper meas vert horiz height width a

Instances

(MultiplySame typ, StaticIdentity typ, MultiplySameExtra typ xl, MultiplySameExtra typ xu, StaticIdentityExtra typ xl, StaticIdentityStrip typ lower, StaticIdentityExtra typ xu, StaticIdentityStrip typ upper, PowerStrip lower, PowerStrip upper, meas ~ Shape, vert ~ Small, horiz ~ Small, Static height, Eq height, height ~ width, Floating a) => Monoid (Matrix typ xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

mempty :: Matrix typ xl xu lower upper meas vert horiz height width a

mappend :: Matrix typ xl xu lower upper meas vert horiz height width a -> Matrix typ xl xu lower upper meas vert horiz height width a -> Matrix typ xl xu lower upper meas vert horiz height width a

mconcat :: [Matrix typ xl xu lower upper meas vert horiz height width a] -> Matrix typ xl xu lower upper meas vert horiz height width a

(MultiplySame typ, MultiplySameExtra typ xl, MultiplySameExtra typ xu, PowerStrip lower, PowerStrip upper, Measure meas, C vert, C horiz, C height, Eq height, height ~ width, Floating a) => Semigroup (Matrix typ xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

(<>) :: Matrix typ xl xu lower upper meas vert horiz height width a -> Matrix typ xl xu lower upper meas vert horiz height width a -> Matrix typ xl xu lower upper meas vert horiz height width a

sconcat :: NonEmpty (Matrix typ xl xu lower upper meas vert horiz height width a) -> Matrix typ xl xu lower upper meas vert horiz height width a

stimes :: Integral b => b -> Matrix typ xl xu lower upper meas vert horiz height width a -> Matrix typ xl xu lower upper meas vert horiz height width a

(Measure meas, C vert, C horiz, C height, C width, Storable a, Show height, Show width, Show a) => Show (Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Array.Private

Methods

showsPrec :: Int -> Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a] -> ShowS

(Show (Matrix typ0 (Append0 xl) (Append0 xu) lower upper meas vert horiz (AppendSelectShape xl height sh0) (AppendSelectShape xu width sh0) a), Show (Matrix typ1 (Append1 xl) (Append1 xu) lower upper meas vert horiz (AppendSelectShape xl height sh1) (AppendSelectShape xu width sh1) a), C height, C width, Show height, Show width, Show a) => Show (Matrix (Append typ0 typ1 sh0 sh1) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Block.Private

Methods

showsPrec :: Int -> Matrix (Append typ0 typ1 sh0 sh1) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Append typ0 typ1 sh0 sh1) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Append typ0 typ1 sh0 sh1) xl xu lower upper meas vert horiz height width a] -> ShowS

(Show (Quadratic typ0 (Diagonal0 xl) (Diagonal0 xu) lower upper (ShapeHead height) a), Show (Quadratic typ1 (Diagonal1 xl) (Diagonal1 xu) lower upper (ShapeTail height) a), C height, C width, Show height, Show width, Show a) => Show (Matrix (Diagonal typ0 typ1) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Block.Private

Methods

showsPrec :: Int -> Matrix (Diagonal typ0 typ1) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Diagonal typ0 typ1) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Diagonal typ0 typ1) xl xu lower upper meas vert horiz height width a] -> ShowS

(Show (Quadratic typ00 (Square00 xl) (Square00 xu) Filled Filled (ShapeHead height) a), Show (Quadratic typ11 (Square11 xl) (Square11 xu) Filled Filled (ShapeTail height) a), Show (Matrix (SquareType xu) (Square01 xu) (Square10 xu) Filled Filled measOff vertOff horizOff (ShapeHead height) (ShapeTail width) a), Show (Matrix (SquareType xl) (Square10 xl) (Square01 xl) Filled Filled measOff horizOff vertOff (ShapeTail height) (ShapeHead width) a), C height, C width, Show height, Show width, Show a) => Show (Matrix (Square typ00 measOff vertOff horizOff typ11) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Block.Private

Methods

showsPrec :: Int -> Matrix (Square typ00 measOff vertOff horizOff typ11) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Square typ00 measOff vertOff horizOff typ11) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Square typ00 measOff vertOff horizOff typ11) xl xu lower upper meas vert horiz height width a] -> ShowS

(Show (Quadratic typ0 (Symmetric0 xl) (Symmetric0 xu) lower upper (ShapeHead height) a), Show (Quadratic typ1 (Symmetric1 xl) (Symmetric1 xu) lower upper (ShapeTail height) a), Show (Matrix typOff xlOff xuOff Filled Filled Size Big Big (ShapeHead height) (ShapeTail height) a), C height, C width, Show height, Show width, Show a) => Show (Matrix (Symmetric typ0 typOff xlOff xuOff typ1) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Block.Private

Methods

showsPrec :: Int -> Matrix (Symmetric typ0 typOff xlOff xuOff typ1) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Symmetric typ0 typOff xlOff xuOff typ1) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Symmetric typ0 typOff xlOff xuOff typ1) xl xu lower upper meas vert horiz height width a] -> ShowS

(Show (Quadratic typ0 (Triangular0 xl) (Triangular0 xu) lower upper (ShapeHead height) a), Show (Quadratic typ1 (Triangular1 xl) (Triangular1 xu) lower upper (ShapeTail height) a), Show (Matrix typOff (TriangularOff xl) (TriangularOff xu) Filled Filled Size Big Big (TriangularFstShape xl xu height) (TriangularSndShape xl xu height) a), C height, C width, Show height, Show width, Show a) => Show (Matrix (Triangular typ0 typOff typ1) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Block.Private

Methods

showsPrec :: Int -> Matrix (Triangular typ0 typOff typ1) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Triangular typ0 typOff typ1) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Triangular typ0 typOff typ1) xl xu lower upper meas vert horiz height width a] -> ShowS

(C height, Show height) => Show (Matrix Permutation xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

showsPrec :: Int -> Matrix Permutation xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix Permutation xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix Permutation xl xu lower upper meas vert horiz height width a] -> ShowS

(C height, Show height, Show a) => Show (Matrix Scale xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

showsPrec :: Int -> Matrix Scale xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix Scale xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix Scale xl xu lower upper meas vert horiz height width a] -> ShowS

(NFData typ, Measure meas, C vert, C horiz, NFData height, NFData width, NFData a) => NFData (Matrix typ xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

rnf :: Matrix typ xl xu lower upper meas vert horiz height width a -> ()

(C height, Eq height) => Eq (Matrix Permutation xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

(==) :: Matrix Permutation xl xu lower upper meas vert horiz height width a -> Matrix Permutation xl xu lower upper meas vert horiz height width a -> Bool

(/=) :: Matrix Permutation xl xu lower upper meas vert horiz height width a -> Matrix Permutation xl xu lower upper meas vert horiz height width a -> Bool

(Format typ, FormatExtra typ xl, FormatExtra typ xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Display (Matrix typ xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

display :: Matrix typ xl xu lower upper meas vert horiz height width a -> Graphic

displayIO :: Matrix typ xl xu lower upper meas vert horiz height width a -> IO Graphic

(Format typ, FormatExtra typ xl, FormatExtra typ xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Format (Matrix typ xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Format

Methods

format :: Output out => Config -> Matrix typ xl xu lower upper meas vert horiz height width a -> out

data Matrix Identity xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Type.Private

data Matrix Identity xl xu lower upper meas vert horiz height width a where

• Identity :: forall meas height width a. Measure meas => Extent meas Small Small height width -> Matrix Identity () () (Bands U0) (Bands U0) meas Small Small height width a

data Matrix Permutation xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Type.Private

data Matrix Permutation xl xu lower upper meas vert horiz height width a where

• Permutation :: forall height lower upper a. Permutation height -> Matrix Permutation () () lower upper Shape Small Small height height a

data Matrix Scale xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Type.Private

data Matrix Scale xl xu lower upper meas vert horiz height width a where

• Scale :: forall height a. height -> a -> Matrix Scale () () (Bands U0) (Bands U0) Shape Small Small height height a

data Matrix (Inverse typ) extraLower extraUpper lowerf upperf meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Inverse

data Matrix (Inverse typ) extraLower extraUpper lowerf upperf meas vert horiz height width a where

• Inverse :: forall typ xl xu upperf lowerf meas width height a. QuadraticMeas typ xl xu upperf lowerf meas width height a -> Matrix (Inverse typ) (xl, lowerf) (xu, upperf) lowerf upperf meas Small Small height width a

data Matrix (Product fuse) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Type.Private

data Matrix (Product fuse) xl xu lower upper meas vert horiz height width a where

• Product :: forall lowerA lowerB lower upperA upperB upper typA xlA xuA meas vert horiz height fuse a typB xlB xuB width. (MultipliedBands lowerA lowerB ~ lower, MultipliedBands lowerB lowerA ~ lower, MultipliedBands upperA upperB ~ upper, MultipliedBands upperB upperA ~ upper) => Matrix typA xlA xuA lowerA upperA meas vert horiz height fuse a -> Matrix typB xlB xuB lowerB upperB meas vert horiz fuse width a -> Matrix (Product fuse) (typA, xlA, xuA, lowerA, upperA) (typB, xuB, xlB, upperB, lowerB) lower upper meas vert horiz height width a

data Matrix (FillStrips typ) extraLower extraUpper lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Wrapper

data Matrix (FillStrips typ) extraLower extraUpper lower upper meas vert horiz height width a where

• FillStrips :: forall lower1 upper1 typ xl xu meas vert horiz height width a. (Strip lower1, Strip upper1) => Matrix typ xl xu lower1 upper1 meas vert horiz height width a -> Matrix (FillStrips typ) (xl, lower1) (xu, upper1) Filled Filled meas vert horiz height width a

data Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Array.Private

data Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a where

• Array :: forall pack prop lower upper meas vert horiz height width a. OmniArray pack prop lower upper meas vert horiz height width a -> Matrix (Array pack prop) () () lower upper meas vert horiz height width a

data Matrix (Diagonal typ0 typ1) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Block.Private

data Matrix (Diagonal typ0 typ1) xl xu lower upper meas vert horiz height width a where

• Diagonal :: forall sh0 sh1 typ0 xl0 xu0 lower upper a typ1 xl1 xu1. (C sh0, Eq sh0, C sh1, Eq sh1) => Quadratic typ0 xl0 xu0 lower upper sh0 a -> Quadratic typ1 xl1 xu1 lower upper sh1 a -> Matrix (Diagonal typ0 typ1) (xl0, xl1) (xu0, xu1) lower upper Shape Small Small (sh0 ::+ sh1) (sh0 ::+ sh1) a

data Matrix (MapExtent typ meas) extraLower extraUpper lower upper meas1 vert1 horiz1 height width a

Defined in Numeric.LAPACK.Matrix.Wrapper

data Matrix (MapExtent typ meas) extraLower extraUpper lower upper meas1 vert1 horiz1 height width a where

• MapExtent :: forall vert0 horiz0 meas meas1 vert1 horiz1 height width typ xl xu lower upper a. (C vert0, C horiz0) => Map meas vert0 horiz0 meas1 vert1 horiz1 height width -> Matrix typ xl xu lower upper meas vert0 horiz0 height width a -> Matrix (MapExtent typ meas) (xl, vert0) (xu, horiz0) lower upper meas1 vert1 horiz1 height width a

data Matrix (Triangular typ0 typOff typ1) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Block.Private

data Matrix (Triangular typ0 typOff typ1) xl xu lower upper meas vert horiz height width a where

• Upper :: forall sh0 sh1 typ0 xl0 xu0 lower a typOff xlOff xuOff typ1 xl1 xu1. (C sh0, Eq sh0, C sh1, Eq sh1) => Quadratic typ0 xl0 xu0 lower Filled sh0 a -> Matrix typOff xlOff xuOff Filled Filled Size Big Big sh0 sh1 a -> Quadratic typ1 xl1 xu1 lower Filled sh1 a -> Matrix (Triangular typ0 typOff typ1) (xl0, xlOff, xl1, False) (xu0, xuOff, xu1, True) lower Filled Shape Small Small (sh0 ::+ sh1) (sh0 ::+ sh1) a
• Lower :: forall sh0 sh1 typ0 xl0 xu0 upper a typOff xlOff xuOff typ1 xl1 xu1. (C sh0, Eq sh0, C sh1, Eq sh1) => Quadratic typ0 xl0 xu0 Filled upper sh0 a -> Matrix typOff xlOff xuOff Filled Filled Size Big Big sh1 sh0 a -> Quadratic typ1 xl1 xu1 Filled upper sh1 a -> Matrix (Triangular typ0 typOff typ1) (xl0, xlOff, xl1, True) (xu0, xuOff, xu1, False) Filled upper Shape Small Small (sh0 ::+ sh1) (sh0 ::+ sh1) a

data Matrix (Append typ0 typ1 sh0 sh1) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Block.Private

data Matrix (Append typ0 typ1 sh0 sh1) xl xu lower upper meas vert horiz height width a where

• Above :: forall sh0 sh1 width typ0 xl0 xu0 horiz a typ1 xl1 xu1. (C sh0, C sh1, Eq width) => Matrix typ0 xl0 xu0 Filled Filled Size Big horiz sh0 width a -> Matrix typ1 xl1 xu1 Filled Filled Size Big horiz sh1 width a -> Matrix (Append typ0 typ1 sh0 sh1) (xl0, xl1, False) (xu0, xu1, True) Filled Filled Size Big horiz (sh0 ::+ sh1) width a
• Beside :: forall sh0 sh1 height typ0 xl0 xu0 vert a typ1 xl1 xu1. (C sh0, C sh1, Eq height) => Matrix typ0 xl0 xu0 Filled Filled Size vert Big height sh0 a -> Matrix typ1 xl1 xu1 Filled Filled Size vert Big height sh1 a -> Matrix (Append typ0 typ1 sh0 sh1) (xl0, xl1, True) (xu0, xu1, False) Filled Filled Size vert Big height (sh0 ::+ sh1) a

data Matrix (Square typ00 measOff vertOff horizOff typ11) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Block.Private

data Matrix (Square typ00 measOff vertOff horizOff typ11) xl xu lower upper meas vert horiz height width a where

• Square :: forall measOff vertOff horizOff sh0 sh1 typ00 xl00 xu00 a typ01 xl01 xu01 typ10 xl10 xu10 typ11 xl11 xu11. (Measure measOff, C vertOff, C horizOff, C sh0, Eq sh0, C sh1, Eq sh1) => Quadratic typ00 xl00 xu00 Filled Filled sh0 a -> Matrix typ01 xl01 xu01 Filled Filled measOff vertOff horizOff sh0 sh1 a -> Matrix typ10 xl10 xu10 Filled Filled measOff horizOff vertOff sh1 sh0 a -> Quadratic typ11 xl11 xu11 Filled Filled sh1 a -> Matrix (Square typ00 measOff vertOff horizOff typ11) (xl00, xl11, (typ10, xl10, xu10)) (xu00, xu11, (typ01, xu01, xl01)) Filled Filled Shape Small Small (sh0 ::+ sh1) (sh0 ::+ sh1) a

data Matrix (Symmetric typ0 typOff xlOff xuOff typ1) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Block.Private

data Matrix (Symmetric typ0 typOff xlOff xuOff typ1) xl xu lower upper meas vert horiz height width a where

• Symmetric :: forall sh0 sh1 typ0 xl0 xu0 a typOff xlOff xuOff typ1 xl1 xu1. (C sh0, Eq sh0, C sh1, Eq sh1) => Quadratic typ0 xl0 xu0 Filled Filled sh0 a -> Matrix typOff xlOff xuOff Filled Filled Size Big Big sh0 sh1 a -> Quadratic typ1 xl1 xu1 Filled Filled sh1 a -> Matrix (Symmetric typ0 typOff xlOff xuOff typ1) (xl0, xl1) (xu0, xu1) Filled Filled Shape Small Small (sh0 ::+ sh1) (sh0 ::+ sh1) a

type ArrayMatrix pack property = Matrix (Array pack property) () ()

data Array pack property

Instances

(Scale property, xlA ~ (), xuA ~ (), xlB ~ (), xuB ~ ()) => Multiply Scale xlA xuA (Array pack property) xlB xuB lowerC upperC measC

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type Multiplied Scale xlA xuA (Array pack property) xlB xuB lowerC upperC measC

type MultipliedExtra Scale xlA xuA (Array pack property) xlB xuB

Methods

matrixMatrix :: (Box Scale, Strip lowerA, Strip upperA, Box (Array pack property), Strip lowerB, Strip upperB, Box typC, Strip lowerC, Strip upperC, Multiplied Scale xlA xuA (Array pack property) xlB xuB lowerC upperC measC ~ typC, MultipliedExtra Scale xlA xuA (Array pack property) xlB xuB ~ xlC, MultipliedExtra Scale xuA xlA (Array pack property) xuB xlB ~ xuC, MultipliedStrip lowerA lowerB ~ lowerC, MultipliedStrip lowerB lowerA ~ lowerC, MultipliedStrip upperA upperB ~ upperC, MultipliedStrip upperB upperA ~ upperC, MultipliedBands lowerA lowerB ~ lowerC, MultipliedBands lowerB lowerA ~ lowerC, MultipliedBands upperA upperB ~ upperC, MultipliedBands upperB upperA ~ upperC, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MultiplyMeasure measA measB ~ measC, MultiplyMeasure measB measA ~ measC, Multiply vertA vertB ~ vertC, Multiply vertB vertA ~ vertC, Multiply horizA horizB ~ horizC, Multiply horizB horizA ~ horizC, C height, C fuse, Eq fuse, C width, Floating a) => Matrix Scale xlA xuA lowerA upperA measA vertA horizA height fuse a -> Matrix (Array pack property) xlB xuB lowerB upperB measB vertB horizB fuse width a -> Matrix typC xlC xuC lowerC upperC measC vertC horizC height width a

Additive property => Additive (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type AdditiveExtra (Array pack property) extra

Methods

add :: (Measure meas, C vert, C horiz, AdditiveExtra (Array pack property) xl, AdditiveExtra (Array pack property) xu, C height, Eq height, C width, Eq width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a

Complex (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Methods

conjugate :: (Matrix (Array pack property) xl xu lower upper meas vert horiz height width ~ matrix, Measure meas, C vert, C horiz, C height, C width, Floating a) => matrix a -> matrix a

fromReal :: (Matrix (Array pack property) xl xu lower upper meas vert horiz height width ~ matrix, Measure meas, C vert, C horiz, C height, C width, Floating a) => matrix (RealOf a) -> matrix a

toComplex :: (Matrix (Array pack property) xl xu lower upper meas vert horiz height width ~ matrix, Measure meas, C vert, C horiz, C height, C width, Floating a) => matrix a -> matrix (ComplexOf a)

Homogeneous property => Homogeneous (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type HomogeneousExtra (Array pack property) extra

Methods

zeroFrom :: (HomogeneousExtra (Array pack property) xl, HomogeneousExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a

negate :: (HomogeneousExtra (Array pack property) xl, HomogeneousExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a

scaleReal :: (HomogeneousExtra (Array pack property) xl, HomogeneousExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => RealOf a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a

MapSize (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Methods

mapHeight :: (C vert, C horiz, C heightA, C heightB, C width) => (heightA -> heightB) -> Matrix (Array pack property) extraLower extraUpper lower upper Size vert horiz heightA width a -> Matrix (Array pack property) extraLower extraUpper lower upper Size vert horiz heightB width a

mapWidth :: (C vert, C horiz, C height, C widthA, C widthB) => (widthA -> widthB) -> Matrix (Array pack property) extraLower extraUpper lower upper Size vert horiz height widthA a -> Matrix (Array pack property) extraLower extraUpper lower upper Size vert horiz height widthB a

MapSquareSize (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Methods

mapSquareSize :: (C shA, C shB) => (shA -> shB) -> Quadratic (Array pack property) xl xu lower upper shA a -> Quadratic (Array pack property) xl xu lower upper shB a

Scale property => Scale (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type ScaleExtra (Array pack property) extra

Methods

scale :: (ScaleExtra (Array pack property) xl, ScaleExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a

SquareShape (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type SquareShapeExtra (Array pack property) extra

Methods

takeDiagonal :: (SquareShapeExtra (Array pack property) xl, SquareShapeExtra (Array pack property) xu, C sh, Floating a) => Quadratic (Array pack property) xl xu lower upper sh a -> Vector sh a

identityFrom :: (SquareShapeExtra (Array pack property) xl, SquareShapeExtra (Array pack property) xu, C sh, Floating a) => Quadratic (Array pack property) xl xu lower upper sh a -> Quadratic (Array pack property) xl xu lower upper sh a

Subtractive property => Subtractive (Array pack property)

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type SubtractiveExtra (Array pack property) extra

Methods

sub :: (Measure meas, C vert, C horiz, SubtractiveExtra (Array pack property) xl, SubtractiveExtra (Array pack property) xu, C height, Eq height, C width, Eq width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a

Property prop => Unpack (Array pack prop)

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type UnpackExtra (Array pack prop) extra

Methods

unpack :: (UnpackExtra (Array pack prop) xl, UnpackExtra (Array pack prop) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a -> ArrayMatrix Unpacked Arbitrary lower upper meas vert horiz height width a

(Packing pack, Property property) => Determinant (Array pack property)

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type DeterminantExtra (Array pack property) extra

Methods

determinant :: (DeterminantExtra (Array pack property) xl, DeterminantExtra (Array pack property) xu, Strip lower, Strip upper, C sh, Floating a) => Quadratic (Array pack property) xl xu lower upper sh a -> a

(Packing pack, Property property) => Inverse (Array pack property)

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type InverseExtra (Array pack property) extra

Methods

inverse :: (InverseExtra (Array pack property) xl, InverseExtra (Array pack property) xu, PowerStrip lower, PowerStrip upper, Measure meas, C height, C width, Floating a) => QuadraticMeas (Array pack property) xl xu lower upper meas height width a -> QuadraticMeas (Array pack property) xl xu lower upper meas width height a

(Packing pack, Property property) => Solve (Array pack property)

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type SolveExtra (Array pack property) extra

Methods

solve :: (SolveExtra (Array pack property) xl, SolveExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Eq height, Floating a) => Transposition -> Quadratic (Array pack property) xl xu lower upper height a -> Full meas vert horiz height width a -> Full meas vert horiz height width a

solveRight :: (SolveExtra (Array pack property) xl, SolveExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Eq height, Floating a) => Quadratic (Array pack property) xl xu lower upper height a -> Full meas vert horiz height width a -> Full meas vert horiz height width a

solveLeft :: (SolveExtra (Array pack property) xl, SolveExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Eq width, Floating a) => Full meas vert horiz height width a -> Quadratic (Array pack property) xl xu lower upper width a -> Full meas vert horiz height width a

Indexed (Array pack property)

Defined in Numeric.LAPACK.Matrix.Indexed

Methods

(#!) :: (Measure meas, C vert, C horiz, Indexed height, Indexed width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> (Index height, Index width) -> a

(Packing pack, Property property) => MultiplySquare (Array pack property)

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type MultiplySquareExtra (Array pack property) extra

Methods

transposableSquare :: (MultiplySquareExtra (Array pack property) xl, MultiplySquareExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, Eq height, C width, Floating a) => Transposition -> Quadratic (Array pack property) xl xu lower upper height a -> Full meas vert horiz height width a -> Full meas vert horiz height width a

squareFull :: (MultiplySquareExtra (Array pack property) xl, MultiplySquareExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, Eq height, C width, Floating a) => Quadratic (Array pack property) xl xu lower upper height a -> Full meas vert horiz height width a -> Full meas vert horiz height width a

fullSquare :: (MultiplySquareExtra (Array pack property) xl, MultiplySquareExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Eq width, Floating a) => Full meas vert horiz height width a -> Quadratic (Array pack property) xl xu lower upper width a -> Full meas vert horiz height width a

(Packing pack, Property property) => MultiplyVector (Array pack property)

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type MultiplyVectorExtra (Array pack property) extra

Methods

matrixVector :: (MultiplyVectorExtra (Array pack property) xl, MultiplyVectorExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Eq width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Vector width a -> Vector height a

vectorMatrix :: (MultiplyVectorExtra (Array pack property) xl, MultiplyVectorExtra (Array pack property) xu, Strip lower, Strip upper, Measure meas, C vert, C horiz, C height, C width, Eq height, Floating a) => Vector height a -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Vector width a

(Packing pack, Property property) => Power (Array pack property)

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type PowerExtra (Array pack property) extra

Methods

square :: (PowerExtra (Array pack property) xl, PowerExtra (Array pack property) xu, PowerStrip lower, PowerStrip upper, C sh, Floating a) => Quadratic (Array pack property) xl xu lower upper sh a -> Quadratic (Array pack property) xl xu lower upper sh a

power :: (PowerExtra (Array pack property) xl, PowerExtra (Array pack property) xu, PowerStrip lower, PowerStrip upper, C sh, Floating a) => Integer -> Quadratic (Array pack property) xl xu lower upper sh a -> Quadratic (Array pack property) xl xu lower upper sh a

powers1 :: (PowerExtra (Array pack property) xl, PowerExtra (Array pack property) xu, PowerStrip lower, PowerStrip upper, C sh, Floating a) => Quadratic (Array pack property) xl xu lower upper sh a -> Stream (Quadratic (Array pack property) xl xu lower upper sh a)

Box (Array pack property)

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type BoxExtra (Array pack property) extra

Methods

extent :: (BoxExtra (Array pack property) xl, BoxExtra (Array pack property) xu, Measure meas, C vert, C horiz) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Extent meas vert horiz height width

height :: (BoxExtra (Array pack property) xl, BoxExtra (Array pack property) xu, Measure meas, C vert, C horiz) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> height

width :: (BoxExtra (Array pack property) xl, BoxExtra (Array pack property) xu, Measure meas, C vert, C horiz) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> width

Format (Array pack property)

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type FormatExtra (Array pack property) extra

Methods

format :: (FormatExtra (Array pack property) xl, FormatExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a, Output out) => Config -> Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> out

Layout (Array pack property)

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type LayoutExtra (Array pack property) extra

Methods

layout :: (LayoutExtra (Array pack property) xl, LayoutExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Array0 (height, width) (Separator, Maybe (Style, a))

(Packing pack, TriDiag diag) => MultiplySame (Array pack diag)

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type MultiplySameExtra (Array pack diag) extra

Methods

multiplySame :: (matrix ~ Matrix (Array pack diag) xl xu lower upper meas vert horiz sh sh a, MultiplySameExtra (Array pack diag) xl, MultiplySameExtra (Array pack diag) xu, PowerStrip lower, PowerStrip upper, Measure meas, C vert, C horiz, C sh, Eq sh, Floating a) => matrix -> matrix -> matrix

ToQuadratic (Array pack property)

Defined in Numeric.LAPACK.Matrix.Array.Private

Methods

heightToQuadratic :: Measure meas => QuadraticMeas (Array pack property) xl xu lower upper meas height width a -> Quadratic (Array pack property) xl xu lower upper height a

widthToQuadratic :: Measure meas => QuadraticMeas (Array pack property) xl xu lower upper meas height width a -> Quadratic (Array pack property) xl xu lower upper width a

Transpose (Array pack property)

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type TransposeExtra (Array pack property) extra

Methods

transpose :: (TransposeExtra (Array pack property) xl, TransposeExtra (Array pack property) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Array pack property) xl xu lower upper meas vert horiz height width a -> Matrix (Array pack property) xu xl upper lower meas horiz vert width height a

(Scale property, xlA ~ (), xuA ~ (), xlB ~ (), xuB ~ ()) => Multiply (Array pack property) xlA xuA Scale xlB xuB lowerC upperC measC

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type Multiplied (Array pack property) xlA xuA Scale xlB xuB lowerC upperC measC

type MultipliedExtra (Array pack property) xlA xuA Scale xlB xuB

Methods

matrixMatrix :: (Box (Array pack property), Strip lowerA, Strip upperA, Box Scale, Strip lowerB, Strip upperB, Box typC, Strip lowerC, Strip upperC, Multiplied (Array pack property) xlA xuA Scale xlB xuB lowerC upperC measC ~ typC, MultipliedExtra (Array pack property) xlA xuA Scale xlB xuB ~ xlC, MultipliedExtra (Array pack property) xuA xlA Scale xuB xlB ~ xuC, MultipliedStrip lowerA lowerB ~ lowerC, MultipliedStrip lowerB lowerA ~ lowerC, MultipliedStrip upperA upperB ~ upperC, MultipliedStrip upperB upperA ~ upperC, MultipliedBands lowerA lowerB ~ lowerC, MultipliedBands lowerB lowerA ~ lowerC, MultipliedBands upperA upperB ~ upperC, MultipliedBands upperB upperA ~ upperC, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MultiplyMeasure measA measB ~ measC, MultiplyMeasure measB measA ~ measC, Multiply vertA vertB ~ vertC, Multiply vertB vertA ~ vertC, Multiply horizA horizB ~ horizC, Multiply horizB horizA ~ horizC, C height, C fuse, Eq fuse, C width, Floating a) => Matrix (Array pack property) xlA xuA lowerA upperA measA vertA horizA height fuse a -> Matrix Scale xlB xuB lowerB upperB measB vertB horizB fuse width a -> Matrix typC xlC xuC lowerC upperC measC vertC horizC height width a

(Packing packA, Property propertyA, xlA ~ (), xuA ~ (), Packing packB, Property propertyB, xlB ~ (), xuB ~ (), Packing packC, Property propertyC, MultipliedPacking packA packB ~ pack, MultipliedPacking packB packA ~ pack, MultipliedProperty propertyA propertyB ~ propertyAB, MultipliedProperty propertyB propertyA ~ propertyAB, UnitIfTriangular lowerC upperC ~ diag, UnitIfTriangular upperC lowerC ~ diag, PackingByStrip lowerC upperC measC pack ~ packC, PackingByStrip upperC lowerC measC pack ~ packC, MergeUnit propertyAB diag ~ propertyC, MergeUnit diag propertyAB ~ propertyC) => Multiply (Array packA propertyA) xlA xuA (Array packB propertyB) xlB xuB lowerC upperC measC

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type Multiplied (Array packA propertyA) xlA xuA (Array packB propertyB) xlB xuB lowerC upperC measC

type MultipliedExtra (Array packA propertyA) xlA xuA (Array packB propertyB) xlB xuB

Methods

matrixMatrix :: (Box (Array packA propertyA), Strip lowerA, Strip upperA, Box (Array packB propertyB), Strip lowerB, Strip upperB, Box typC, Strip lowerC, Strip upperC, Multiplied (Array packA propertyA) xlA xuA (Array packB propertyB) xlB xuB lowerC upperC measC ~ typC, MultipliedExtra (Array packA propertyA) xlA xuA (Array packB propertyB) xlB xuB ~ xlC, MultipliedExtra (Array packA propertyA) xuA xlA (Array packB propertyB) xuB xlB ~ xuC, MultipliedStrip lowerA lowerB ~ lowerC, MultipliedStrip lowerB lowerA ~ lowerC, MultipliedStrip upperA upperB ~ upperC, MultipliedStrip upperB upperA ~ upperC, MultipliedBands lowerA lowerB ~ lowerC, MultipliedBands lowerB lowerA ~ lowerC, MultipliedBands upperA upperB ~ upperC, MultipliedBands upperB upperA ~ upperC, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MultiplyMeasure measA measB ~ measC, MultiplyMeasure measB measA ~ measC, Multiply vertA vertB ~ vertC, Multiply vertB vertA ~ vertC, Multiply horizA horizB ~ horizC, Multiply horizB horizA ~ horizC, C height, C fuse, Eq fuse, C width, Floating a) => Matrix (Array packA propertyA) xlA xuA lowerA upperA measA vertA horizA height fuse a -> Matrix (Array packB propertyB) xlB xuB lowerB upperB measB vertB horizB fuse width a -> Matrix typC xlC xuC lowerC upperC measC vertC horizC height width a

(Measure meas, C vert, C horiz, C height, C width, Storable a, Show height, Show width, Show a) => Show (Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a)

Defined in Numeric.LAPACK.Matrix.Array.Private

Methods

showsPrec :: Int -> Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a -> ShowS

show :: Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a -> String

showList :: [Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a] -> ShowS

data Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a

Defined in Numeric.LAPACK.Matrix.Array.Private

data Matrix (Array pack prop) xl xu lower upper meas vert horiz height width a where

• Array :: forall pack prop lower upper meas vert horiz height width a. OmniArray pack prop lower upper meas vert horiz height width a -> Matrix (Array pack prop) () () lower upper meas vert horiz height width a

type AdditiveExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Class

type AdditiveExtra (Array pack property) extra = extra ~ ()

type HomogeneousExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Class

type HomogeneousExtra (Array pack property) extra = extra ~ ()

type ScaleExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Class

type ScaleExtra (Array pack property) extra = extra ~ ()

type SquareShapeExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Class

type SquareShapeExtra (Array pack property) extra = ()

type SubtractiveExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Class

type SubtractiveExtra (Array pack property) extra = extra ~ ()

type UnpackExtra (Array pack prop) extra

Defined in Numeric.LAPACK.Matrix.Class

type UnpackExtra (Array pack prop) extra = extra ~ ()

type DeterminantExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Divide

type DeterminantExtra (Array pack property) extra = extra ~ ()

type InverseExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Divide

type InverseExtra (Array pack property) extra = extra ~ ()

type SolveExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Divide

type SolveExtra (Array pack property) extra = extra ~ ()

type MultiplySquareExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Multiply

type MultiplySquareExtra (Array pack property) extra = extra ~ ()

type MultiplyVectorExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Multiply

type MultiplyVectorExtra (Array pack property) extra = extra ~ ()

type PowerExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Multiply

type PowerExtra (Array pack property) extra = extra ~ ()

type BoxExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Array.Private

type BoxExtra (Array pack property) extra = extra ~ ()

type FormatExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Array.Private

type FormatExtra (Array pack property) extra = ()

type LayoutExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Array.Private

type LayoutExtra (Array pack property) extra = ()

type MultiplySameExtra (Array pack diag) extra

Defined in Numeric.LAPACK.Matrix.Array.Private

type MultiplySameExtra (Array pack diag) extra = extra ~ ()

type TransposeExtra (Array pack property) extra

Defined in Numeric.LAPACK.Matrix.Array.Private

type TransposeExtra (Array pack property) extra = extra ~ ()

type OmniArray pack prop lower upper meas vert horiz height width a = Array (Omni pack prop lower upper meas vert horiz height width) a

type PlainArray pack prop lower upper meas vert horiz height width = Array (Plain pack prop lower upper meas vert horiz height width)

type Full meas vert horiz height width = UnpackedMatrix Arbitrary Filled Filled meas vert horiz height width

type General height width = Full Size Big Big height width

type Tall height width = Full Size Big Small height width

type Wide height width = Full Size Small Big height width

type LiberalSquare height width = SquareMeas Size height width

type Square sh = SquareMeas Shape sh sh

type SquareMeas meas height width = Full meas Small Small height width

type Quadratic pack property lower upper sh = QuadraticMeas pack property lower upper Shape sh sh

type FullQuadratic pack property sh = Quadratic pack property Filled Filled sh

type QuadraticMeas pack property lower upper meas height width = ArrayMatrix pack property lower upper meas Small Small height width

plainShape :: ToPlain pack property lower upper meas vert horiz height width => ArrayMatrix pack property lower upper meas vert horiz height width a -> Plain pack property lower upper meas vert horiz height width

shape :: ArrayMatrix pack property lower upper meas vert horiz height width a -> Omni pack property lower upper meas vert horiz height width

extent :: (Measure meas, C vert, C horiz) => ArrayMatrix pack property lower upper meas vert horiz height width a -> Extent meas vert horiz height width

subBandsSingleton :: Natural sub => ArrayMatrix pack property (Bands sub) upper meas vert horiz height width a -> HeadSingleton sub

superBandsSingleton :: Natural super => ArrayMatrix pack property lower (Bands super) meas vert horiz height width a -> HeadSingleton super

packTag :: Packing pack => ArrayMatrix pack diag lower upper meas vert horiz height width a -> PackingSingleton pack

diagTag :: TriDiag diag => ArrayMatrix pack diag lower upper meas vert horiz height width a -> DiagSingleton diag

asPacked :: Id (ArrayMatrix Packed property lower upper meas vert horiz height width a)

asUnpacked :: Id (ArrayMatrix Unpacked property lower upper meas vert horiz height width a)

requirePacking :: PackingSingleton pack -> Id (ArrayMatrix pack property lower upper meas vert horiz height width a)

reshape :: (Measure measA, C vertA, C horizA) => (Measure measB, C vertB, C horizB) => (C heightA, C widthA) => (C heightB, C widthB) => Omni packB propB lowerB upperB measB vertB horizB heightB widthB -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB a

mapShape :: (Measure measA, C vertA, C horizA) => (Measure measB, C vertB, C horizB) => (C heightA, C widthA) => (C heightB, C widthB) => (Omni packA propA lowerA upperA measA vertA horizA heightA widthA -> Omni packB propB lowerB upperB measB vertB horizB heightB widthB) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB a

unwrap :: ArrayMatrix pack property lower upper meas vert horiz height width a -> OmniArray pack property lower upper meas vert horiz height width a

toVector :: ToPlain pack property lower upper meas vert horiz height width => ArrayMatrix pack property lower upper meas vert horiz height width a -> PlainArray pack property lower upper meas vert horiz height width a

fromVector :: FromPlain pack prop lower upper meas vert horiz height width => Plain pack prop lower upper meas vert horiz height width ~ shape => (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => Array shape a -> ArrayMatrix pack prop lower upper meas vert horiz height width a

lift0 :: FromPlain pack prop lower upper meas vert horiz height width => PlainArray pack prop lower upper meas vert horiz height width a -> ArrayMatrix pack prop lower upper meas vert horiz height width a

lift0 is a synonym for fromVector but lacks the admissibility check. You may thus fool the type tags. This applies to the other lift functions, too.

lift1 :: ToPlain packA propA lowerA upperA measA vertA horizA heightA widthA => FromPlain packB propB lowerB upperB measB vertB horizB heightB widthB => (PlainArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> PlainArray packB propB lowerB upperB measB vertB horizB heightB widthB b) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b

lift2 :: ToPlain packA propA lowerA upperA measA vertA horizA heightA widthA => ToPlain packB propB lowerB upperB measB vertB horizB heightB widthB => FromPlain packC propC lowerC upperC measC vertC horizC heightC widthC => (PlainArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> PlainArray packB propB lowerB upperB measB vertB horizB heightB widthB b -> PlainArray packC propC lowerC upperC measC vertC horizC heightC widthC c) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b -> ArrayMatrix packC propC lowerC upperC measC vertC horizC heightC widthC c

lift3 :: ToPlain packA propA lowerA upperA measA vertA horizA heightA widthA => ToPlain packB propB lowerB upperB measB vertB horizB heightB widthB => ToPlain packC propC lowerC upperC measC vertC horizC heightC widthC => FromPlain packD propD lowerD upperD measD vertD horizD heightD widthD => (PlainArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> PlainArray packB propB lowerB upperB measB vertB horizB heightB widthB b -> PlainArray packC propC lowerC upperC measC vertC horizC heightC widthC c -> PlainArray packD propD lowerD upperD measD vertD horizD heightD widthD d) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b -> ArrayMatrix packC propC lowerC upperC measC vertC horizC heightC widthC c -> ArrayMatrix packD propD lowerD upperD measD vertD horizD heightD widthD d

lift4 :: ToPlain packA propA lowerA upperA measA vertA horizA heightA widthA => ToPlain packB propB lowerB upperB measB vertB horizB heightB widthB => ToPlain packC propC lowerC upperC measC vertC horizC heightC widthC => ToPlain packD propD lowerD upperD measD vertD horizD heightD widthD => FromPlain packE propE lowerE upperE measE vertE horizE heightE widthE => (PlainArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> PlainArray packB propB lowerB upperB measB vertB horizB heightB widthB b -> PlainArray packC propC lowerC upperC measC vertC horizC heightC widthC c -> PlainArray packD propD lowerD upperD measD vertD horizD heightD widthD d -> PlainArray packE propE lowerE upperE measE vertE horizE heightE widthE e) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b -> ArrayMatrix packC propC lowerC upperC measC vertC horizC heightC widthC c -> ArrayMatrix packD propD lowerD upperD measD vertD horizD heightD widthD d -> ArrayMatrix packE propE lowerE upperE measE vertE horizE heightE widthE e

unlift1 :: FromPlain packA propA lowerA upperA measA vertA horizA heightA widthA => ToPlain packB propB lowerB upperB measB vertB horizB heightB widthB => (ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b) -> PlainArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> PlainArray packB propB lowerB upperB measB vertB horizB heightB widthB b

unlift2 :: (FromPlain packA propA lowerA upperA measA vertA horizA heightA widthA, FromPlain packB propB lowerB upperB measB vertB horizB heightB widthB) => ToPlain packC propC lowerC upperC measC vertC horizC heightC widthC => (ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b -> ArrayMatrix packC propC lowerC upperC measC vertC horizC heightC widthC c) -> PlainArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> PlainArray packB propB lowerB upperB measB vertB horizB heightB widthB b -> PlainArray packC propC lowerC upperC measC vertC horizC heightC widthC c

unliftRow :: Order -> (General () height0 a -> General () height1 b) -> Vector height0 a -> Vector height1 b

unliftColumn :: Order -> (General height0 () a -> General height1 () b) -> Vector height0 a -> Vector height1 b

unpackedToVector :: (Property property, Strip lower, Strip upper) => UnpackedMatrix property lower upper meas vert horiz height width a -> FullArray meas vert horiz height width a

liftUnpacked0 :: (Property propertyA, Strip lowerA, Strip upperA) => FullArray measA vertA horizA heightA widthA a -> UnpackedMatrix propertyA lowerA upperA measA vertA horizA heightA widthA a

liftUnpacked1 :: (Property propertyA, Strip lowerA, Strip upperA) => (Property propertyB, Strip lowerB, Strip upperB) => (FullArray measA vertA horizA heightA widthA a -> FullArray measB vertB horizB heightB widthB b) -> UnpackedMatrix propertyA lowerA upperA measA vertA horizA heightA widthA a -> UnpackedMatrix propertyB lowerB upperB measB vertB horizB heightB widthB b

liftUnpacked2 :: (Property propertyA, Strip lowerA, Strip upperA) => (Property propertyB, Strip lowerB, Strip upperB) => (Property propertyC, Strip lowerC, Strip upperC) => (FullArray measA vertA horizA heightA widthA a -> FullArray measB vertB horizB heightB widthB b -> FullArray measC vertC horizC heightC widthC c) -> UnpackedMatrix propertyA lowerA upperA measA vertA horizA heightA widthA a -> UnpackedMatrix propertyB lowerB upperB measB vertB horizB heightB widthB b -> UnpackedMatrix propertyC lowerC upperC measC vertC horizC heightC widthC c

liftUnpacked3 :: (Property propertyA, Strip lowerA, Strip upperA) => (Property propertyB, Strip lowerB, Strip upperB) => (Property propertyC, Strip lowerC, Strip upperC) => (Property propertyD, Strip lowerD, Strip upperD) => (FullArray measA vertA horizA heightA widthA a -> FullArray measB vertB horizB heightB widthB b -> FullArray measC vertC horizC heightC widthC c -> FullArray measD vertD horizD heightD widthD d) -> UnpackedMatrix propertyA lowerA upperA measA vertA horizA heightA widthA a -> UnpackedMatrix propertyB lowerB upperB measB vertB horizB heightB widthB b -> UnpackedMatrix propertyC lowerC upperC measC vertC horizC heightC widthC c -> UnpackedMatrix propertyD lowerD upperD measD vertD horizD heightD widthD d

liftOmni1 :: (OmniArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> OmniArray packB propB lowerB upperB measB vertB horizB heightB widthB b) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b

liftOmni2 :: (OmniArray packA propA lowerA upperA measA vertA horizA heightA widthA a -> OmniArray packB propB lowerB upperB measB vertB horizB heightB widthB b -> OmniArray packC propC lowerC upperC measC vertC horizC heightC widthC c) -> ArrayMatrix packA propA lowerA upperA measA vertA horizA heightA widthA a -> ArrayMatrix packB propB lowerB upperB measB vertB horizB heightB widthB b -> ArrayMatrix packC propC lowerC upperC measC vertC horizC heightC widthC c

class Property property => Homogeneous property

Instances

Homogeneous Arbitrary

Defined in Numeric.LAPACK.Matrix.Array.Private

Homogeneous Symmetric

Defined in Numeric.LAPACK.Matrix.Array.Private

(zero ~ True, neg ~ pos, C pos) => Homogeneous (Hermitian neg zero pos)

Defined in Numeric.LAPACK.Matrix.Array.Private

class Homogeneous property => Scale property

Instances

Scale Arbitrary

Defined in Numeric.LAPACK.Matrix.Array.Private

Scale Symmetric

Defined in Numeric.LAPACK.Matrix.Array.Private

zero :: Homogeneous property => (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => Omni pack property lower upper meas vert horiz height width -> ArrayMatrix pack property lower upper meas vert horiz height width a

negate :: Homogeneous property => (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a

scaleReal :: Homogeneous property => (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => RealOf a -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a

scale :: (Measure meas, C vert, C horiz) => (Scale property, C height, C width, Floating a) => a -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a

scaleRealReal :: Homogeneous property => (Measure meas, C vert, C horiz) => (C height, C width, Real a) => a -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a

order :: ArrayMatrix pack property lower upper meas vert horiz height width a -> Order

forceOrder :: (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => Order -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a

adaptOrder :: (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a

adaptOrder x y contains the data of y with the layout of x.

class Property property => Additive property

Instances

Additive Arbitrary

Defined in Numeric.LAPACK.Matrix.Array.Private

Additive Symmetric

Defined in Numeric.LAPACK.Matrix.Array.Private

(C neg, C zero, C pos) => Additive (Hermitian neg zero pos)

Defined in Numeric.LAPACK.Matrix.Array.Private

add :: (Measure meas, C vert, C horiz) => (Additive property, C height, Eq height, C width, Eq width, Floating a) => ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a infixl 6

class Additive property => Subtractive property

Instances

Subtractive Arbitrary

Defined in Numeric.LAPACK.Matrix.Array.Private

Subtractive Symmetric

Defined in Numeric.LAPACK.Matrix.Array.Private

(C neg, C zero, neg ~ pos) => Subtractive (Hermitian neg zero pos)

Defined in Numeric.LAPACK.Matrix.Array.Private

sub :: (Measure meas, C vert, C horiz) => (Subtractive property, C height, Eq height, C width, Eq width, Floating a) => ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a infixl 6

class MapExtent pack

Minimal complete definition

mapExtent

Instances

MapExtent Packed

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type MapExtentStrip Packed strip

Methods

mapExtent :: (property ~ Arbitrary, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MapExtentStrip Packed lower, MapExtentStrip Packed upper) => Map measA vertA horizA measB vertB horizB height width -> ArrayMatrix Packed property lower upper measA vertA horizA height width a -> ArrayMatrix Packed property lower upper measB vertB horizB height width a

MapExtent Unpacked

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type MapExtentStrip Unpacked strip

Methods

mapExtent :: (property ~ Arbitrary, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MapExtentStrip Unpacked lower, MapExtentStrip Unpacked upper) => Map measA vertA horizA measB vertB horizB height width -> ArrayMatrix Unpacked property lower upper measA vertA horizA height width a -> ArrayMatrix Unpacked property lower upper measB vertB horizB height width a

mapExtent :: (MapExtent pack, property ~ Arbitrary) => (Measure measA, C vertA, C horizA) => (Measure measB, C vertB, C horizB) => (MapExtentStrip pack lower, MapExtentStrip pack upper) => Map measA vertA horizA measB vertB horizB height width -> ArrayMatrix pack property lower upper measA vertA horizA height width a -> ArrayMatrix pack property lower upper measB vertB horizB height width a

identityFromShape :: (C sh, Floating a) => Quadratic pack property lower upper sh -> Quadratic pack property lower upper sh a

unpack :: (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix Unpacked property lower upper meas vert horiz height width a