lapack-0.5.1: Numerical Linear Algebra using LAPACK

Safe HaskellNone
LanguageHaskell98

Numeric.LAPACK.Matrix.Layout

Documentation

type General height width = Full Size Big Big height width Source #

type Tall height width = Full Size Big Small height width Source #

type Wide height width = Full Size Small Big height width Source #

type Square size = SquareMeas Shape size size Source #

data Full meas vert horiz height width Source #

Constructors

Full 

Fields

Instances
(Measure meas, C vert, C horiz, Eq height, Eq width) => Eq (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: Full meas vert horiz height width -> Full meas vert horiz height width -> Bool #

(/=) :: Full meas vert horiz height width -> Full meas vert horiz height width -> Bool #

(Measure meas, C vert, C horiz, Show height, Show width) => Show (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> Full meas vert horiz height width -> ShowS #

show :: Full meas vert horiz height width -> String #

showList :: [Full meas vert horiz height width] -> ShowS #

(Measure meas, C vert, C horiz, C height, C width) => C (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

size :: Full meas vert horiz height width -> Int #

(Measure meas, C vert, C horiz, Indexed height, Indexed width) => Indexed (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Associated Types

type Index (Full meas vert horiz height width) :: Type #

Methods

indices :: Full meas vert horiz height width -> [Index (Full meas vert horiz height width)] #

offset :: Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Int #

uncheckedOffset :: Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Int #

unifiedOffset :: Checking check => Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Result check Int #

inBounds :: Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Bool #

sizeOffset :: Full meas vert horiz height width -> (Int, Index (Full meas vert horiz height width) -> Int) #

uncheckedSizeOffset :: Full meas vert horiz height width -> (Int, Index (Full meas vert horiz height width) -> Int) #

unifiedSizeOffset :: Checking check => Full meas vert horiz height width -> (Int, Index (Full meas vert horiz height width) -> Result check Int) #

(Measure meas, C vert, C horiz, InvIndexed height, InvIndexed width) => InvIndexed (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

indexFromOffset :: Full meas vert horiz height width -> Int -> Index (Full meas vert horiz height width) #

uncheckedIndexFromOffset :: Full meas vert horiz height width -> Int -> Index (Full meas vert horiz height width) #

unifiedIndexFromOffset :: Checking check => Full meas vert horiz height width -> Int -> Result check (Index (Full meas vert horiz height width)) #

(Measure meas, C vert, C horiz, NFData height, NFData width) => NFData (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Full meas vert horiz height width -> () #

(Measure meas, C vert, C horiz, C height, C width) => FormatArray (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Full meas vert horiz height width) a -> out Source #

type Index (Full meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

type Index (Full meas vert horiz height width) = (Index height, Index width)

fullHeight :: (Measure meas, C vert, C horiz) => Full meas vert horiz height width -> height Source #

fullWidth :: (Measure meas, C vert, C horiz) => Full meas vert horiz height width -> width Source #

data Order #

Constructors

RowMajor 
ColumnMajor 
Instances
Eq Order 
Instance details

Defined in Numeric.BLAS.Matrix.Layout

Methods

(==) :: Order -> Order -> Bool #

(/=) :: Order -> Order -> Bool #

Show Order 
Instance details

Defined in Numeric.BLAS.Matrix.Layout

Methods

showsPrec :: Int -> Order -> ShowS #

show :: Order -> String #

showList :: [Order] -> ShowS #

NFData Order 
Instance details

Defined in Numeric.BLAS.Matrix.Layout

Methods

rnf :: Order -> () #

general :: Order -> height -> width -> General height width Source #

square :: Order -> sh -> Square sh Source #

liberalSquare :: (C height, C width) => Order -> height -> width -> LiberalSquare height width Source #

wide :: (C height, C width) => Order -> height -> width -> Wide height width Source #

tall :: (C height, C width) => Order -> height -> width -> Tall height width Source #

data Split lower meas vert horiz height width Source #

Instances
(Measure meas, C vert, C horiz, Eq lower, Eq height, Eq width) => Eq (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: Split lower meas vert horiz height width -> Split lower meas vert horiz height width -> Bool #

(/=) :: Split lower meas vert horiz height width -> Split lower meas vert horiz height width -> Bool #

(Measure meas, C vert, C horiz, Show lower, Show height, Show width) => Show (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> Split lower meas vert horiz height width -> ShowS #

show :: Split lower meas vert horiz height width -> String #

showList :: [Split lower meas vert horiz height width] -> ShowS #

(Eq lower, Measure meas, C vert, C horiz, C height, C width) => C (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

size :: Split lower meas vert horiz height width -> Int #

(Eq lower, Measure meas, C vert, C horiz, Indexed height, Indexed width) => Indexed (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Associated Types

type Index (Split lower meas vert horiz height width) :: Type #

Methods

indices :: Split lower meas vert horiz height width -> [Index (Split lower meas vert horiz height width)] #

offset :: Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Int #

uncheckedOffset :: Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Int #

unifiedOffset :: Checking check => Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Result check Int #

inBounds :: Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Bool #

sizeOffset :: Split lower meas vert horiz height width -> (Int, Index (Split lower meas vert horiz height width) -> Int) #

uncheckedSizeOffset :: Split lower meas vert horiz height width -> (Int, Index (Split lower meas vert horiz height width) -> Int) #

unifiedSizeOffset :: Checking check => Split lower meas vert horiz height width -> (Int, Index (Split lower meas vert horiz height width) -> Result check Int) #

(Eq lower, Measure meas, C vert, C horiz, InvIndexed height, InvIndexed width) => InvIndexed (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

indexFromOffset :: Split lower meas vert horiz height width -> Int -> Index (Split lower meas vert horiz height width) #

uncheckedIndexFromOffset :: Split lower meas vert horiz height width -> Int -> Index (Split lower meas vert horiz height width) #

unifiedIndexFromOffset :: Checking check => Split lower meas vert horiz height width -> Int -> Result check (Index (Split lower meas vert horiz height width)) #

(NFData lower, Measure meas, C vert, C horiz, NFData height, NFData width) => NFData (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Split lower meas vert horiz height width -> () #

(Eq lower, Measure meas, C vert, C horiz, C height, C width) => FormatArray (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Split lower meas vert horiz height width) a -> out Source #

type Index (Split lower meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

type Index (Split lower meas vert horiz height width) = (Either lower Triangle, (Index height, Index width))

type SplitGeneral lower height width = Split lower Size Big Big height width Source #

data Triangle Source #

Constructors

Triangle 
Instances
Eq Triangle Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Show Triangle Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

NFData Triangle Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Triangle -> () #

data Reflector Source #

Constructors

Reflector 

splitGeneral :: lower -> Order -> height -> width -> SplitGeneral lower height width Source #

splitFromFull :: lower -> Full meas vert horiz height width -> Split lower meas vert horiz height width Source #

data Mosaic pack mirror uplo size Source #

Constructors

Mosaic 

Fields

Instances
C size => FormatArray (Hermitian size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Hermitian size) a -> out Source #

C size => FormatArray (Symmetric size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Symmetric size) a -> out Source #

(UpLo uplo, C size) => FormatArray (Triangular uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Triangular uplo size) a -> out Source #

Eq size => Eq (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: Mosaic pack mirror uplo size -> Mosaic pack mirror uplo size -> Bool #

(/=) :: Mosaic pack mirror uplo size -> Mosaic pack mirror uplo size -> Bool #

Show size => Show (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> Mosaic pack mirror uplo size -> ShowS #

show :: Mosaic pack mirror uplo size -> String #

showList :: [Mosaic pack mirror uplo size] -> ShowS #

(UpLo uplo, C size) => C (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

size :: Mosaic pack mirror uplo size -> Int #

(UpLo uplo, Indexed size) => Indexed (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Associated Types

type Index (Mosaic pack mirror uplo size) :: Type #

Methods

indices :: Mosaic pack mirror uplo size -> [Index (Mosaic pack mirror uplo size)] #

offset :: Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Int #

uncheckedOffset :: Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Int #

unifiedOffset :: Checking check => Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Result check Int #

inBounds :: Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Bool #

sizeOffset :: Mosaic pack mirror uplo size -> (Int, Index (Mosaic pack mirror uplo size) -> Int) #

uncheckedSizeOffset :: Mosaic pack mirror uplo size -> (Int, Index (Mosaic pack mirror uplo size) -> Int) #

unifiedSizeOffset :: Checking check => Mosaic pack mirror uplo size -> (Int, Index (Mosaic pack mirror uplo size) -> Result check Int) #

(UpLo uplo, InvIndexed size) => InvIndexed (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

indexFromOffset :: Mosaic pack mirror uplo size -> Int -> Index (Mosaic pack mirror uplo size) #

uncheckedIndexFromOffset :: Mosaic pack mirror uplo size -> Int -> Index (Mosaic pack mirror uplo size) #

unifiedIndexFromOffset :: Checking check => Mosaic pack mirror uplo size -> Int -> Result check (Index (Mosaic pack mirror uplo size)) #

(UpLo uplo, NFData size) => NFData (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Mosaic pack mirror uplo size -> () #

type Index (Mosaic pack mirror uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

type Index (Mosaic pack mirror uplo size) = (Index size, Index size)

data Packed Source #

Instances
Packing Packed Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

MapExtent Packed Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type MapExtentStrip Packed strip :: Constraint

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 Source #

TriDiag diag => Quadratic Packed diag Filled Empty Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Packed diag Filled Empty Shape Small Small sh sh Source #

TriDiag diag => Quadratic Packed diag Empty Filled Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Packed diag Empty Filled Shape Small Small sh sh Source #

Quadratic Packed Symmetric Filled Filled Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

(TriDiag diag, Shape ~ meas, Small ~ vert, Small ~ horiz) => Cons Packed diag Filled Empty meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed diag Filled Empty meas vert horiz height width Source #

(TriDiag diag, Shape ~ meas, Small ~ vert, Small ~ horiz) => Cons Packed diag Empty Filled meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed diag Empty Filled meas vert horiz height width Source #

(Shape ~ meas, Small ~ vert, Small ~ horiz) => Cons Packed Symmetric Filled Filled meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed Symmetric Filled Filled meas vert horiz height width Source #

(Natural sub, Natural super) => Quadratic Packed Arbitrary (Bands sub) (Bands super) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Packed Arbitrary (Bands sub) (Bands super) Shape Small Small sh sh Source #

(BandedTriangular sub super, BandedTriangular super sub) => Quadratic Packed Unit (Bands sub) (Bands super) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Packed Unit (Bands sub) (Bands super) Shape Small Small sh sh Source #

(Measured meas vert, Measured meas horiz, Natural sub, Natural super) => Cons Packed Arbitrary (Bands sub) (Bands super) meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source #

(BandedTriangular sub super, BandedTriangular super sub, Shape ~ meas, Small ~ vert, Small ~ horiz) => Cons Packed Unit (Bands sub) (Bands super) meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed Unit (Bands sub) (Bands super) meas vert horiz height width Source #

(Natural sub, Natural super) => ToPlain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

toPlain :: Omni Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width -> Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source #

(BandedTriangular sub super, BandedTriangular super sub, height ~ width) => ToPlain Packed Unit (Bands sub) (Bands super) Shape Small Small height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

toPlain :: Omni Packed Unit (Bands sub) (Bands super) Shape Small Small height width -> Plain Packed Unit (Bands sub) (Bands super) Shape Small Small height width Source #

(Natural sub, Natural super) => FromPlain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

type Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width :: Type Source #

Methods

fromPlain :: Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width -> Omni Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source #

(BandedTriangular sub super, BandedTriangular super sub, height ~ width) => FromPlain Packed Unit (Bands sub) (Bands super) Shape Small Small height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

type Plain Packed Unit (Bands sub) (Bands super) Shape Small Small height width :: Type Source #

Methods

fromPlain :: Plain Packed Unit (Bands sub) (Bands super) Shape Small Small height width -> Omni Packed Unit (Bands sub) (Bands super) Shape Small Small height width Source #

(C neg, C zero, C pos) => Quadratic Packed (Hermitian neg zero pos) Filled Filled Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Packed (Hermitian neg zero pos) Filled Filled Shape Small Small sh sh Source #

(C neg, C zero, C pos, Shape ~ meas, Small ~ vert, Small ~ horiz) => Cons Packed (Hermitian neg zero pos) Filled Filled meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed (Hermitian neg zero pos) Filled Filled meas vert horiz height width Source #

(C neg, C zero, C pos, sub ~ super, Natural super) => Quadratic Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small sh sh Source #

(C neg, C zero, C pos, Natural sub, sub ~ super, Shape ~ meas, Small ~ vert, Small ~ horiz) => Cons Packed (Hermitian neg zero pos) (Bands sub) (Bands super) meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Packed (Hermitian neg zero pos) (Bands sub) (Bands super) meas vert horiz height width Source #

(Natural sub, sub ~ super, height ~ width, C neg, C zero, C pos) => ToPlain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

toPlain :: Omni Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width -> Plain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width Source #

(Natural sub, sub ~ super, height ~ width, C neg, C zero, C pos) => FromPlain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

type Plain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width :: Type Source #

Methods

fromPlain :: Plain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width -> Omni Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width Source #

C size => FormatArray (Hermitian size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Hermitian size) a -> out Source #

C size => FormatArray (Symmetric size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Symmetric size) a -> out Source #

(UpLo uplo, C size) => FormatArray (Triangular uplo size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Triangular uplo size) a -> out Source #

type Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

type Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width = Banded sub super meas vert horiz height width
type Plain Packed Unit (Bands sub) (Bands super) Shape Small Small height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

type Plain Packed Unit (Bands sub) (Bands super) Shape Small Small height width = BandedSquare sub super height
type Plain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

type Plain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width = BandedHermitian sub height

data Unpacked Source #

Instances
Packing Unpacked Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

MapExtent Unpacked Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Array.Private

Associated Types

type MapExtentStrip Unpacked strip :: Constraint

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 Source #

(Strip lower, Strip upper) => Quadratic Unpacked Arbitrary lower upper Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

quadratic :: C sh => Order -> sh -> Omni Unpacked Arbitrary lower upper Shape Small Small sh sh Source #

(Strip lower, Strip upper, Measured meas vert, Measured meas horiz) => Cons Unpacked Arbitrary lower upper meas vert horiz Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

cons :: (C height, C width, MeasureTarget meas height ~ MeasureTarget meas width) => Order -> Dimension meas height width -> Omni Unpacked Arbitrary lower upper meas vert horiz height width Source #

ToPlain Unpacked Arbitrary Filled Filled meas vert horiz height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

toPlain :: Omni Unpacked Arbitrary Filled Filled meas vert horiz height width -> Plain Unpacked Arbitrary Filled Filled meas vert horiz height width Source #

FromPlain Unpacked Arbitrary Filled Filled meas vert horiz height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

type Plain Unpacked Arbitrary Filled Filled meas vert horiz height width :: Type Source #

Methods

fromPlain :: Plain Unpacked Arbitrary Filled Filled meas vert horiz height width -> Omni Unpacked Arbitrary Filled Filled meas vert horiz height width Source #

type Plain Unpacked Arbitrary Filled Filled meas vert horiz height width Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Shape.Omni

type Plain Unpacked Arbitrary Filled Filled meas vert horiz height width = Full meas vert horiz height width

class Mirror mirror where Source #

data MirrorSingleton mirror where Source #

Constructors

NoMirror :: MirrorSingleton NoMirror 
SimpleMirror :: MirrorSingleton SimpleMirror 
ConjugateMirror :: MirrorSingleton ConjugateMirror 
Instances
Eq (MirrorSingleton mirror) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: MirrorSingleton mirror -> MirrorSingleton mirror -> Bool #

(/=) :: MirrorSingleton mirror -> MirrorSingleton mirror -> Bool #

Show (MirrorSingleton mirror) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> MirrorSingleton mirror -> ShowS #

show :: MirrorSingleton mirror -> String #

showList :: [MirrorSingleton mirror] -> ShowS #

NFData (MirrorSingleton mirror) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: MirrorSingleton mirror -> () #

autoUplo :: UpLo uplo => UpLoSingleton uplo Source #

type Triangular = TriangularP Packed Source #

type LowerTriangularP pack = TriangularP pack Lower Source #

type UpperTriangularP pack = TriangularP pack Upper Source #

type SymmetricP pack = Mosaic pack SimpleMirror Upper Source #

symmetric :: Order -> size -> Symmetric size Source #

symmetricP :: PackingSingleton pack -> Order -> size -> SymmetricP pack size Source #

type HermitianP pack = Mosaic pack ConjugateMirror Upper Source #

hermitian :: Order -> size -> Hermitian size Source #

hermitianP :: PackingSingleton pack -> Order -> size -> HermitianP pack size Source #

type Diagonal size = BandedSquare U0 U0 size Source #

diagonal :: Order -> size -> Diagonal size Source #

data Banded sub super meas vert horiz height width Source #

Constructors

Banded 

Fields

Instances
(Measure meas, C vert, C horiz, Eq height, Eq width) => Eq (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: Banded sub super meas vert horiz height width -> Banded sub super meas vert horiz height width -> Bool #

(/=) :: Banded sub super meas vert horiz height width -> Banded sub super meas vert horiz height width -> Bool #

(Natural sub, Natural super, Measure meas, C vert, C horiz, Show height, Show width) => Show (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> Banded sub super meas vert horiz height width -> ShowS #

show :: Banded sub super meas vert horiz height width -> String #

showList :: [Banded sub super meas vert horiz height width] -> ShowS #

(Natural sub, Natural super, Measure meas, C vert, C horiz, C height, C width) => C (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

size :: Banded sub super meas vert horiz height width -> Int #

(Natural sub, Natural super, Measure meas, C vert, C horiz, Indexed height, Indexed width) => Indexed (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Associated Types

type Index (Banded sub super meas vert horiz height width) :: Type #

Methods

indices :: Banded sub super meas vert horiz height width -> [Index (Banded sub super meas vert horiz height width)] #

offset :: Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Int #

uncheckedOffset :: Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Int #

unifiedOffset :: Checking check => Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Result check Int #

inBounds :: Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Bool #

sizeOffset :: Banded sub super meas vert horiz height width -> (Int, Index (Banded sub super meas vert horiz height width) -> Int) #

uncheckedSizeOffset :: Banded sub super meas vert horiz height width -> (Int, Index (Banded sub super meas vert horiz height width) -> Int) #

unifiedSizeOffset :: Checking check => Banded sub super meas vert horiz height width -> (Int, Index (Banded sub super meas vert horiz height width) -> Result check Int) #

(Natural sub, Natural super, Measure meas, C vert, C horiz, InvIndexed height, InvIndexed width) => InvIndexed (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

indexFromOffset :: Banded sub super meas vert horiz height width -> Int -> Index (Banded sub super meas vert horiz height width) #

uncheckedIndexFromOffset :: Banded sub super meas vert horiz height width -> Int -> Index (Banded sub super meas vert horiz height width) #

unifiedIndexFromOffset :: Checking check => Banded sub super meas vert horiz height width -> Int -> Result check (Index (Banded sub super meas vert horiz height width)) #

(Natural sub, Natural super, Measure meas, C vert, C horiz, NFData height, NFData width) => NFData (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Banded sub super meas vert horiz height width -> () #

(Natural sub, Natural super, Measure meas, C vert, C horiz, C height, C width) => FormatArray (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (Banded sub super meas vert horiz height width) a -> out Source #

type Index (Banded sub super meas vert horiz height width) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

type Index (Banded sub super meas vert horiz height width) = BandedIndex (Index height) (Index width)

type BandedGeneral sub super = Banded sub super Size Big Big Source #

type BandedSquare sub super size = BandedSquareMeas sub super Shape size size Source #

type BandedLowerTriangular sub size = BandedSquare sub U0 size Source #

type BandedUpperTriangular super size = BandedSquare U0 super size Source #

data BandedIndex row column Source #

Constructors

InsideBox row column 
VertOutsideBox Int column 
HorizOutsideBox row Int 
Instances
(Eq row, Eq column) => Eq (BandedIndex row column) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: BandedIndex row column -> BandedIndex row column -> Bool #

(/=) :: BandedIndex row column -> BandedIndex row column -> Bool #

(Show row, Show column) => Show (BandedIndex row column) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> BandedIndex row column -> ShowS #

show :: BandedIndex row column -> String #

showList :: [BandedIndex row column] -> ShowS #

bandedGeneral :: (UnaryProxy sub, UnaryProxy super) -> Order -> height -> width -> BandedGeneral sub super height width Source #

bandedSquare :: (UnaryProxy sub, UnaryProxy super) -> Order -> size -> BandedSquare sub super size Source #

bandedFromFull :: (UnaryProxy sub, UnaryProxy super) -> Full meas vert horiz height width -> Banded sub super meas vert horiz height width Source #

type UnaryProxy a = Proxy (Un a) Source #

addOffDiagonals :: (Natural subA, Natural superA, Natural subB, Natural superB, (subA :+: subB) ~ subC, (superA :+: superB) ~ superC) => (UnaryProxy subA, UnaryProxy superA) -> (UnaryProxy subB, UnaryProxy superB) -> ((Nat subC, Nat superC), (UnaryProxy subC, UnaryProxy superC)) Source #

data BandedHermitian off size Source #

Instances
Eq size => Eq (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: BandedHermitian off size -> BandedHermitian off size -> Bool #

(/=) :: BandedHermitian off size -> BandedHermitian off size -> Bool #

(Natural off, Show size) => Show (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> BandedHermitian off size -> ShowS #

show :: BandedHermitian off size -> String #

showList :: [BandedHermitian off size] -> ShowS #

(Natural off, C size) => C (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

size :: BandedHermitian off size -> Int #

(Natural off, Indexed size) => Indexed (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Associated Types

type Index (BandedHermitian off size) :: Type #

Methods

indices :: BandedHermitian off size -> [Index (BandedHermitian off size)] #

offset :: BandedHermitian off size -> Index (BandedHermitian off size) -> Int #

uncheckedOffset :: BandedHermitian off size -> Index (BandedHermitian off size) -> Int #

unifiedOffset :: Checking check => BandedHermitian off size -> Index (BandedHermitian off size) -> Result check Int #

inBounds :: BandedHermitian off size -> Index (BandedHermitian off size) -> Bool #

sizeOffset :: BandedHermitian off size -> (Int, Index (BandedHermitian off size) -> Int) #

uncheckedSizeOffset :: BandedHermitian off size -> (Int, Index (BandedHermitian off size) -> Int) #

unifiedSizeOffset :: Checking check => BandedHermitian off size -> (Int, Index (BandedHermitian off size) -> Result check Int) #

(Natural off, InvIndexed size) => InvIndexed (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

indexFromOffset :: BandedHermitian off size -> Int -> Index (BandedHermitian off size) #

uncheckedIndexFromOffset :: BandedHermitian off size -> Int -> Index (BandedHermitian off size) #

unifiedIndexFromOffset :: Checking check => BandedHermitian off size -> Int -> Result check (Index (BandedHermitian off size)) #

(Natural off, NFData size) => NFData (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: BandedHermitian off size -> () #

(Natural offDiag, C size) => FormatArray (BandedHermitian offDiag size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

formatArray :: (Floating a, Output out) => Config -> Array (BandedHermitian offDiag size) a -> out Source #

type Index (BandedHermitian off size) Source # 
Instance details

Defined in Numeric.LAPACK.Matrix.Layout.Private

type Index (BandedHermitian off size) = BandedIndex (Index size) (Index size)

bandedHermitian :: UnaryProxy off -> Order -> size -> BandedHermitian off size Source #