Numeric.LAPACK.Matrix.Type

Documentation

data Scale

Instances

Additive Scale

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type AdditiveExtra Scale extra

Methods

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

Complex Scale

Defined in Numeric.LAPACK.Matrix.Class

Methods

conjugate :: (Matrix Scale 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 Scale 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 Scale 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 Scale

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type HomogeneousExtra Scale extra

Methods

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

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

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

MapSquareSize Scale

Defined in Numeric.LAPACK.Matrix.Class

Methods

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

Scale Scale

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type ScaleExtra Scale extra

Methods

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

SquareShape Scale

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type SquareShapeExtra Scale extra

Methods

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

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

Subtractive Scale

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type SubtractiveExtra Scale extra

Methods

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

Unpack Scale

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type UnpackExtra Scale extra

Methods

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

Determinant Scale

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type DeterminantExtra Scale extra

Methods

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

Inverse Scale

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type InverseExtra Scale extra

Methods

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

Solve Scale

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type SolveExtra Scale extra

Methods

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

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

solveLeft :: (SolveExtra Scale xl, SolveExtra Scale 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 Scale xl xu lower upper width a -> Full meas vert horiz height width a

Indexed Scale

Defined in Numeric.LAPACK.Matrix.Indexed

Methods

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

MultiplySquare Scale

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type MultiplySquareExtra Scale extra

Methods

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

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

fullSquare :: (MultiplySquareExtra Scale xl, MultiplySquareExtra Scale 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 Scale xl xu lower upper width a -> Full meas vert horiz height width a

MultiplyVector Scale

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type MultiplyVectorExtra Scale extra

Methods

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

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

Power Scale

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type PowerExtra Scale extra

Methods

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

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

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

Box Scale

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type BoxExtra Scale extra

Methods

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

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

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

Format Scale

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type FormatExtra Scale extra

Methods

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

Layout Scale

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type LayoutExtra Scale extra

Methods

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

MultiplySame Scale

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type MultiplySameExtra Scale extra

Methods

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

ToQuadratic Scale

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

heightToQuadratic :: Measure meas => QuadraticMeas Scale xl xu lower upper meas height width a -> Quadratic Scale xl xu lower upper height a

widthToQuadratic :: Measure meas => QuadraticMeas Scale xl xu lower upper meas height width a -> Quadratic Scale xl xu lower upper width a

Transpose Scale

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type TransposeExtra Scale extra

Methods

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

(xlA ~ (), xuA ~ (), xlB ~ (), xuB ~ (), lowerC ~ Empty, upperC ~ Empty) => Multiply Scale xlA xuA Scale xlB xuB lowerC upperC measC

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type Multiplied Scale xlA xuA Scale xlB xuB lowerC upperC measC

type MultipliedExtra Scale xlA xuA Scale xlB xuB

Methods

matrixMatrix :: (Box Scale, Strip lowerA, Strip upperA, Box Scale, Strip lowerB, Strip upperB, Box typC, Strip lowerC, Strip upperC, Multiplied Scale xlA xuA Scale xlB xuB lowerC upperC measC ~ typC, MultipliedExtra Scale xlA xuA Scale xlB xuB ~ xlC, MultipliedExtra Scale 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 Scale 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

(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

(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

(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

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

type AdditiveExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Class

type AdditiveExtra Scale extra = extra ~ ()

type HomogeneousExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Class

type HomogeneousExtra Scale extra = extra ~ ()

type ScaleExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Class

type ScaleExtra Scale extra = extra ~ ()

type SquareShapeExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Class

type SquareShapeExtra Scale extra = ()

type SubtractiveExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Class

type SubtractiveExtra Scale extra = extra ~ ()

type UnpackExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Class

type UnpackExtra Scale extra = extra ~ ()

type DeterminantExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Divide

type DeterminantExtra Scale extra = extra ~ ()

type InverseExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Divide

type InverseExtra Scale extra = extra ~ ()

type SolveExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Divide

type SolveExtra Scale extra = extra ~ ()

type MultiplySquareExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Multiply

type MultiplySquareExtra Scale extra = extra ~ ()

type MultiplyVectorExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Multiply

type MultiplyVectorExtra Scale extra = extra ~ ()

type PowerExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Multiply

type PowerExtra Scale extra = extra ~ ()

type BoxExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type BoxExtra Scale extra = ()

type FormatExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type FormatExtra Scale extra = ()

type LayoutExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type LayoutExtra Scale extra = ()

type MultiplySameExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type MultiplySameExtra Scale extra = extra ~ ()

type TransposeExtra Scale extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type TransposeExtra Scale extra = ()

data Identity

Instances

Box Identity

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type BoxExtra Identity extra

Methods

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

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

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

ToQuadratic Identity

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

heightToQuadratic :: Measure meas => QuadraticMeas Identity xl xu lower upper meas height width a -> Quadratic Identity xl xu lower upper height a

widthToQuadratic :: Measure meas => QuadraticMeas Identity xl xu lower upper meas height width a -> Quadratic Identity xl xu lower upper width a

Transpose Identity

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type TransposeExtra Identity extra

Methods

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

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

type BoxExtra Identity extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type BoxExtra Identity extra = ()

type TransposeExtra Identity extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type TransposeExtra Identity extra = ()

data Permutation

Instances

Complex Permutation

Defined in Numeric.LAPACK.Matrix.Class

Methods

conjugate :: (Matrix Permutation 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 Permutation 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 Permutation 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)

MapSquareSize Permutation

Defined in Numeric.LAPACK.Matrix.Class

Methods

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

SquareShape Permutation

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type SquareShapeExtra Permutation extra

Methods

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

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

Unpack Permutation

Defined in Numeric.LAPACK.Matrix.Class

Associated Types

type UnpackExtra Permutation extra

Methods

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

Determinant Permutation

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type DeterminantExtra Permutation extra

Methods

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

Inverse Permutation

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type InverseExtra Permutation extra

Methods

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

Solve Permutation

Defined in Numeric.LAPACK.Matrix.Divide

Associated Types

type SolveExtra Permutation extra

Methods

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

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

solveLeft :: (SolveExtra Permutation xl, SolveExtra Permutation 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 Permutation xl xu lower upper width a -> Full meas vert horiz height width a

Indexed Permutation

Defined in Numeric.LAPACK.Matrix.Indexed

Methods

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

MultiplySquare Permutation

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type MultiplySquareExtra Permutation extra

Methods

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

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

fullSquare :: (MultiplySquareExtra Permutation xl, MultiplySquareExtra Permutation 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 Permutation xl xu lower upper width a -> Full meas vert horiz height width a

MultiplyVector Permutation

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type MultiplyVectorExtra Permutation extra

Methods

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

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

Power Permutation

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type PowerExtra Permutation extra

Methods

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

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

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

Box Permutation

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type BoxExtra Permutation extra

Methods

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

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

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

Format Permutation

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type FormatExtra Permutation extra

Methods

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

Layout Permutation

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type LayoutExtra Permutation extra

Methods

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

MultiplySame Permutation

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type MultiplySameExtra Permutation extra

Methods

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

ToQuadratic Permutation

Defined in Numeric.LAPACK.Matrix.Type.Private

Methods

heightToQuadratic :: Measure meas => QuadraticMeas Permutation xl xu lower upper meas height width a -> Quadratic Permutation xl xu lower upper height a

widthToQuadratic :: Measure meas => QuadraticMeas Permutation xl xu lower upper meas height width a -> Quadratic Permutation xl xu lower upper width a

Transpose Permutation

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type TransposeExtra Permutation extra

Methods

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

(xlA ~ (), xuA ~ (), xlB ~ (), xuB ~ ()) => Multiply Permutation xlA xuA Permutation xlB xuB lowerC upperC measC

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type Multiplied Permutation xlA xuA Permutation xlB xuB lowerC upperC measC

type MultipliedExtra Permutation xlA xuA Permutation xlB xuB

Methods

matrixMatrix :: (Box Permutation, Strip lowerA, Strip upperA, Box Permutation, Strip lowerB, Strip upperB, Box typC, Strip lowerC, Strip upperC, Multiplied Permutation xlA xuA Permutation xlB xuB lowerC upperC measC ~ typC, MultipliedExtra Permutation xlA xuA Permutation xlB xuB ~ xlC, MultipliedExtra Permutation xuA xlA Permutation 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 Permutation xlA xuA lowerA upperA measA vertA horizA height fuse a -> Matrix Permutation xlB xuB lowerB upperB measB vertB horizB fuse width a -> Matrix typC xlC xuC lowerC upperC measC vertC horizC height width a

(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, 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

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

type SquareShapeExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Class

type SquareShapeExtra Permutation extra = ()

type UnpackExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Class

type UnpackExtra Permutation extra = extra ~ ()

type DeterminantExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Divide

type DeterminantExtra Permutation extra = extra ~ ()

type InverseExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Divide

type InverseExtra Permutation extra = extra ~ ()

type SolveExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Divide

type SolveExtra Permutation extra = extra ~ ()

type MultiplySquareExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Multiply

type MultiplySquareExtra Permutation extra = extra ~ ()

type MultiplyVectorExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Multiply

type MultiplyVectorExtra Permutation extra = extra ~ ()

type PowerExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Multiply

type PowerExtra Permutation extra = extra ~ ()

type BoxExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type BoxExtra Permutation extra = ()

type FormatExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type FormatExtra Permutation extra = ()

type LayoutExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type LayoutExtra Permutation extra = ()

type MultiplySameExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type MultiplySameExtra Permutation extra = extra ~ ()

type TransposeExtra Permutation extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type TransposeExtra Permutation extra = ()

data Product fuse

Instances

Eq fuse => Box (Product fuse)

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type BoxExtra (Product fuse) extra

Methods

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

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

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

(C fuse, Eq fuse) => Transpose (Product fuse)

Defined in Numeric.LAPACK.Matrix.Type.Private

Associated Types

type TransposeExtra (Product fuse) extra

Methods

transpose :: (TransposeExtra (Product fuse) xl, TransposeExtra (Product fuse) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Product fuse) xl xu lower upper meas vert horiz height width a -> Matrix (Product fuse) xu xl upper lower meas horiz vert width height 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

type BoxExtra (Product fuse) extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type BoxExtra (Product fuse) extra

type TransposeExtra (Product fuse) extra

Defined in Numeric.LAPACK.Matrix.Type.Private

type TransposeExtra (Product fuse) extra

data Inverse typ

You may wrap non-diagonal band matrices in FillStrips first in order to meet the PowerStrip constraint.

Instances

Complex typ => Complex (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Methods

conjugate :: (Matrix (Inverse typ) 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 (Inverse typ) 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 (Inverse typ) 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)

Determinant typ => Determinant (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type DeterminantExtra (Inverse typ) extra

Methods

determinant :: (DeterminantExtra (Inverse typ) xl, DeterminantExtra (Inverse typ) xu, Strip lower, Strip upper, C sh, Floating a) => Quadratic (Inverse typ) xl xu lower upper sh a -> a

(Inverse typ, MultiplySquare typ, ToQuadratic typ) => Inverse (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type InverseExtra (Inverse typ) extra

Methods

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

(MultiplySquare typ, ToQuadratic typ) => Solve (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type SolveExtra (Inverse typ) extra

Methods

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

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

solveLeft :: (SolveExtra (Inverse typ) xl, SolveExtra (Inverse typ) 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 (Inverse typ) xl xu lower upper width a -> Full meas vert horiz height width a

(Solve typ, ToQuadratic typ) => MultiplySquare (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type MultiplySquareExtra (Inverse typ) extra

Methods

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

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

fullSquare :: (MultiplySquareExtra (Inverse typ) xl, MultiplySquareExtra (Inverse typ) 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 (Inverse typ) xl xu lower upper width a -> Full meas vert horiz height width a

(Solve typ, ToQuadratic typ) => MultiplyVector (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type MultiplyVectorExtra (Inverse typ) extra

Methods

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

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

Power typ => Power (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type PowerExtra (Inverse typ) extra

Methods

square :: (PowerExtra (Inverse typ) xl, PowerExtra (Inverse typ) xu, PowerStrip lower, PowerStrip upper, C sh, Floating a) => Quadratic (Inverse typ) xl xu lower upper sh a -> Quadratic (Inverse typ) xl xu lower upper sh a

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

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

Box typ => Box (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type BoxExtra (Inverse typ) extra

Methods

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

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

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

MultiplySame typ => MultiplySame (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type MultiplySameExtra (Inverse typ) extra

Methods

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

ToQuadratic typ => ToQuadratic (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Methods

heightToQuadratic :: Measure meas => QuadraticMeas (Inverse typ) xl xu lower upper meas height width a -> Quadratic (Inverse typ) xl xu lower upper height a

widthToQuadratic :: Measure meas => QuadraticMeas (Inverse typ) xl xu lower upper meas height width a -> Quadratic (Inverse typ) xl xu lower upper width a

Transpose typ => Transpose (Inverse typ)

Defined in Numeric.LAPACK.Matrix.Inverse

Associated Types

type TransposeExtra (Inverse typ) extra

Methods

transpose :: (TransposeExtra (Inverse typ) xl, TransposeExtra (Inverse typ) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (Inverse typ) xl xu lower upper meas vert horiz height width a -> Matrix (Inverse typ) xu xl upper lower meas horiz vert width 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

type DeterminantExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type DeterminantExtra (Inverse typ) extra

type InverseExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type InverseExtra (Inverse typ) extra

type SolveExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type SolveExtra (Inverse typ) extra

type MultiplySquareExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type MultiplySquareExtra (Inverse typ) extra

type MultiplyVectorExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type MultiplyVectorExtra (Inverse typ) extra

type PowerExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type PowerExtra (Inverse typ) extra

type BoxExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type BoxExtra (Inverse typ) extra

type MultiplySameExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type MultiplySameExtra (Inverse typ) extra

type TransposeExtra (Inverse typ) extra

Defined in Numeric.LAPACK.Matrix.Inverse

type TransposeExtra (Inverse typ) extra

data FillStrips typ

Instances

Complex typ => Complex (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Methods

conjugate :: (Matrix (FillStrips typ) 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 (FillStrips typ) 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 (FillStrips typ) 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)

Unpack typ => Unpack (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type UnpackExtra (FillStrips typ) extra

Methods

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

Determinant typ => Determinant (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type DeterminantExtra (FillStrips typ) extra

Methods

determinant :: (DeterminantExtra (FillStrips typ) xl, DeterminantExtra (FillStrips typ) xu, Strip lower, Strip upper, C sh, Floating a) => Quadratic (FillStrips typ) xl xu lower upper sh a -> a

(Inverse typ, ToQuadratic typ) => Inverse (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type InverseExtra (FillStrips typ) extra

Methods

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

(Solve typ, ToQuadratic typ) => Solve (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type SolveExtra (FillStrips typ) extra

Methods

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

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

solveLeft :: (SolveExtra (FillStrips typ) xl, SolveExtra (FillStrips typ) 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 (FillStrips typ) xl xu lower upper width a -> Full meas vert horiz height width a

(MultiplySquare typ, ToQuadratic typ) => MultiplySquare (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type MultiplySquareExtra (FillStrips typ) extra

Methods

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

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

fullSquare :: (MultiplySquareExtra (FillStrips typ) xl, MultiplySquareExtra (FillStrips typ) 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 (FillStrips typ) xl xu lower upper width a -> Full meas vert horiz height width a

(MultiplyVector typ, ToQuadratic typ) => MultiplyVector (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type MultiplyVectorExtra (FillStrips typ) extra

Methods

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

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

Power typ => Power (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type PowerExtra (FillStrips typ) extra

Methods

square :: (PowerExtra (FillStrips typ) xl, PowerExtra (FillStrips typ) xu, PowerStrip lower, PowerStrip upper, C sh, Floating a) => Quadratic (FillStrips typ) xl xu lower upper sh a -> Quadratic (FillStrips typ) xl xu lower upper sh a

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

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

Box typ => Box (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type BoxExtra (FillStrips typ) extra

Methods

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

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

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

Format typ => Format (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type FormatExtra (FillStrips typ) extra

Methods

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

Layout typ => Layout (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type LayoutExtra (FillStrips typ) extra

Methods

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

MultiplySame typ => MultiplySame (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type MultiplySameExtra (FillStrips typ) extra

Methods

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

ToQuadratic typ => ToQuadratic (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Methods

heightToQuadratic :: Measure meas => QuadraticMeas (FillStrips typ) xl xu lower upper meas height width a -> Quadratic (FillStrips typ) xl xu lower upper height a

widthToQuadratic :: Measure meas => QuadraticMeas (FillStrips typ) xl xu lower upper meas height width a -> Quadratic (FillStrips typ) xl xu lower upper width a

Transpose typ => Transpose (FillStrips typ)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type TransposeExtra (FillStrips typ) extra

Methods

transpose :: (TransposeExtra (FillStrips typ) xl, TransposeExtra (FillStrips typ) xu, Measure meas, C vert, C horiz, C height, C width, Floating a) => Matrix (FillStrips typ) xl xu lower upper meas vert horiz height width a -> Matrix (FillStrips typ) xu xl upper lower meas horiz vert width height 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

type UnpackExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type UnpackExtra (FillStrips typ) extra

type DeterminantExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type DeterminantExtra (FillStrips typ) extra

type InverseExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type InverseExtra (FillStrips typ) extra

type SolveExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type SolveExtra (FillStrips typ) extra

type MultiplySquareExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type MultiplySquareExtra (FillStrips typ) extra

type MultiplyVectorExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type MultiplyVectorExtra (FillStrips typ) extra

type PowerExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type PowerExtra (FillStrips typ) extra

type BoxExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type BoxExtra (FillStrips typ) extra

type FormatExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type FormatExtra (FillStrips typ) extra

type LayoutExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type LayoutExtra (FillStrips typ) extra

type MultiplySameExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type MultiplySameExtra (FillStrips typ) extra

type TransposeExtra (FillStrips typ) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type TransposeExtra (FillStrips typ) extra

data MapExtent typ meas

Instances

(Complex typ, Measure meas) => Complex (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Methods

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

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

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

(Unpack typ, Measure meas) => Unpack (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type UnpackExtra (MapExtent typ meas) extra

Methods

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

(MultiplyVector typ, ToQuadratic typ, Measure meas) => MultiplyVector (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type MultiplyVectorExtra (MapExtent typ meas) extra

Methods

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

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

(Box typ, Measure meas) => Box (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type BoxExtra (MapExtent typ meas) extra

Methods

extent :: (BoxExtra (MapExtent typ meas) xl, BoxExtra (MapExtent typ meas) xu, Measure meas0, C vert, C horiz) => Matrix (MapExtent typ meas) xl xu lower upper meas0 vert horiz height width a -> Extent meas0 vert horiz height width

height :: (BoxExtra (MapExtent typ meas) xl, BoxExtra (MapExtent typ meas) xu, Measure meas0, C vert, C horiz) => Matrix (MapExtent typ meas) xl xu lower upper meas0 vert horiz height width a -> height

width :: (BoxExtra (MapExtent typ meas) xl, BoxExtra (MapExtent typ meas) xu, Measure meas0, C vert, C horiz) => Matrix (MapExtent typ meas) xl xu lower upper meas0 vert horiz height width a -> width

(Format typ, Measure meas) => Format (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type FormatExtra (MapExtent typ meas) extra

Methods

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

(Layout typ, Measure meas) => Layout (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type LayoutExtra (MapExtent typ meas) extra

Methods

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

(MultiplySame typ, Measure meas) => MultiplySame (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type MultiplySameExtra (MapExtent typ meas) extra

Methods

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

(Transpose typ, Measure meas) => Transpose (MapExtent typ meas)

Defined in Numeric.LAPACK.Matrix.Wrapper

Associated Types

type TransposeExtra (MapExtent typ meas) extra

Methods

transpose :: (TransposeExtra (MapExtent typ meas) xl, TransposeExtra (MapExtent typ meas) xu, Measure meas0, C vert, C horiz, C height, C width, Floating a) => Matrix (MapExtent typ meas) xl xu lower upper meas0 vert horiz height width a -> Matrix (MapExtent typ meas) xu xl upper lower meas0 horiz vert width height 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

type UnpackExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type UnpackExtra (MapExtent typ meas) extra

type MultiplyVectorExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type MultiplyVectorExtra (MapExtent typ meas) extra

type BoxExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type BoxExtra (MapExtent typ meas) extra

type FormatExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type FormatExtra (MapExtent typ meas) extra

type LayoutExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type LayoutExtra (MapExtent typ meas) extra

type MultiplySameExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type MultiplySameExtra (MapExtent typ meas) extra

type TransposeExtra (MapExtent typ meas) extra

Defined in Numeric.LAPACK.Matrix.Wrapper

type TransposeExtra (MapExtent typ meas) extra