Documentation

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

Associated Types

type Index (Full meas vert horiz height width)
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private type Index (Full meas vert horiz height width) = (Index height, Index width)

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

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

Methods

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

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

Instance details

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, Eq height, Eq width) => Eq (Full meas vert horiz height width) Source #

Instance details

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, C height, C width) => FormatArray (Full meas vert horiz height width) Source #

Instance details

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

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

Instances details

NFData Order #
Instance details Defined in Numeric.Netlib.Layout Methods rnf :: Order -> () #
Bounded Order #
Instance details Defined in Numeric.Netlib.Layout Methods minBound :: Order # maxBound :: Order #
Enum Order #
Instance details Defined in Numeric.Netlib.Layout Methods succ :: Order -> Order # pred :: Order -> Order # toEnum :: Int -> Order # fromEnum :: Order -> Int # enumFrom :: Order -> [Order] # enumFromThen :: Order -> Order -> [Order] # enumFromTo :: Order -> Order -> [Order] # enumFromThenTo :: Order -> Order -> Order -> [Order] #
Show Order #
Instance details Defined in Numeric.Netlib.Layout Methods showsPrec :: Int -> Order -> ShowS # show :: Order -> String # showList :: [Order] -> ShowS #
Eq Order #
Instance details Defined in Numeric.Netlib.Layout Methods (==) :: Order -> Order -> Bool # (/=) :: Order -> Order -> Bool #

flipOrder :: Order -> 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

Instances details

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

Instance details

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

Associated Types

type Index (Split lower meas vert horiz height width)
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))

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

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

Methods

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

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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

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

Instances details

NFData Triangle Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods rnf :: Triangle -> () #
Show Triangle Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods showsPrec :: Int -> Triangle -> ShowS # show :: Triangle -> String # showList :: [Triangle] -> ShowS #
Eq Triangle Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods (==) :: Triangle -> Triangle -> Bool # (/=) :: Triangle -> Triangle -> Bool #

data Reflector Source #

Constructors

Reflector

Instances

Instances details

NFData Reflector Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods rnf :: Reflector -> () #
Show Reflector Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods showsPrec :: Int -> Reflector -> ShowS # show :: Reflector -> String # showList :: [Reflector] -> ShowS #
Eq Reflector Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods (==) :: Reflector -> Reflector -> Bool # (/=) :: Reflector -> Reflector -> Bool #

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 mosaicPack :: PackingSingleton pack mosaicMirror :: MirrorSingleton mirror mosaicUplo :: UpLoSingleton uplo mosaicOrder :: Order mosaicSize :: size

Instances

Instances details

C size => FormatArray (Hermitian size) Source #

Instance details

Methods

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

C size => FormatArray (Symmetric size) Source #

Instance details

Methods

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

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

Instance details

Methods

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

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

Instance details

Methods

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

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

Instance details

Associated Types

type Index (Mosaic pack mirror uplo size)
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private type Index (Mosaic pack mirror uplo size) = (Index size, Index size)

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

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

Methods

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

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

Instance details

Methods

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

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

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

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

Instance details

Methods

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

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

type Index (Mosaic pack mirror uplo size) Source #

Instance details

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

class Packing pack where Source #

Methods

autoPacking :: PackingSingleton pack Source #

Instances

Instances details

Packing Packed Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods autoPacking :: PackingSingleton Packed Source #
Packing Unpacked Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods autoPacking :: PackingSingleton Unpacked Source #

data PackingSingleton pack where Source #

Constructors

Packed :: PackingSingleton Packed
Unpacked :: PackingSingleton Unpacked

Instances

Instances details

NFData (PackingSingleton pack) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods rnf :: PackingSingleton pack -> () #
Show (PackingSingleton pack) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods showsPrec :: Int -> PackingSingleton pack -> ShowS # show :: PackingSingleton pack -> String # showList :: [PackingSingleton pack] -> ShowS #
Eq (PackingSingleton pack) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods (==) :: PackingSingleton pack -> PackingSingleton pack -> Bool # (/=) :: PackingSingleton pack -> PackingSingleton pack -> Bool #

data Packed Source #

Instances

Instances details

MapExtent Packed Source #

Instance details

Defined in Numeric.LAPACK.Matrix.Array.Private

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 #

Packing Packed Source #

Instance details

Methods

autoPacking :: PackingSingleton Packed Source #

Quadratic Packed Symmetric Filled Filled Source #

Instance details

Methods

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

TriDiag diag => Quadratic Packed diag Empty Filled Source #

Instance details

Methods

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

TriDiag diag => Quadratic Packed diag Filled Empty Source #

Instance details

Methods

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

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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 #

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

Instance details

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

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

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

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) => FromPlain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width Source #

Instance details

Associated Types

type Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width
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

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

Associated Types

type Plain Packed Unit (Bands sub) (Bands super) Shape Small Small height width
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

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 #

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

Instance details

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

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 #

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

Instance details

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

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

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

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) => FromPlain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width Source #

Instance details

Associated Types

type Plain Packed (Hermitian neg zero pos) (Bands sub) (Bands super) Shape Small Small height width
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

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 #

(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

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 #

C size => FormatArray (Hermitian size) Source #

Instance details

Methods

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

C size => FormatArray (Symmetric size) Source #

Instance details

Methods

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

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

Instance details

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

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

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

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

data Unpacked Source #

Instances

Instances details

MapExtent Unpacked Source #

Instance details

Defined in Numeric.LAPACK.Matrix.Array.Private

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 #

Packing Unpacked Source #

Instance details

Methods

autoPacking :: PackingSingleton Unpacked Source #

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

Instance details

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

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 #

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

Instance details

Associated Types

type Plain Unpacked Arbitrary Filled Filled meas vert horiz height width
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

Methods

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

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

Instance details

Methods

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

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

Instance details

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

class Mirror mirror where Source #

Methods

autoMirror :: MirrorSingleton mirror Source #

data MirrorSingleton mirror where Source #

Constructors

NoMirror :: MirrorSingleton NoMirror
SimpleMirror :: MirrorSingleton SimpleMirror
ConjugateMirror :: MirrorSingleton ConjugateMirror

Instances

Instances details

NFData (MirrorSingleton mirror) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods rnf :: MirrorSingleton mirror -> () #
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 #
Eq (MirrorSingleton mirror) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods (==) :: MirrorSingleton mirror -> MirrorSingleton mirror -> Bool # (/=) :: MirrorSingleton mirror -> MirrorSingleton mirror -> Bool #

autoUplo :: UpLo uplo => UpLoSingleton uplo Source #

type Triangular = TriangularP Packed Source #

type LowerTriangular = Triangular Lower Source #

type LowerTriangularP pack = TriangularP pack Lower Source #

lowerTriangular :: Order -> size -> LowerTriangular size Source #

lowerTriangularP :: PackingSingleton pack -> Order -> size -> LowerTriangularP pack size Source #

type UpperTriangular = Triangular Upper Source #

type UpperTriangularP pack = TriangularP pack Upper Source #

upperTriangular :: Order -> size -> UpperTriangular size Source #

upperTriangularP :: PackingSingleton pack -> Order -> size -> UpperTriangularP pack size Source #

type Symmetric = SymmetricP Packed 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 Hermitian = HermitianP Packed 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 bandedOffDiagonals :: (UnaryProxy sub, UnaryProxy super) bandedOrder :: Order bandedExtent :: Extent meas vert horiz height width

Instances

Instances details

(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

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

Associated Types

type Index (Banded sub super meas vert horiz height width)
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private type Index (Banded sub super meas vert horiz height width) = BandedIndex (Index height) (Index width)

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

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

Methods

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

(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

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 #

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

Instance details

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, C height, C width) => FormatArray (Banded sub super meas vert horiz height width) Source #

Instance details

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

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

Instances details

(Show column, Show row) => 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 #
(Eq column, Eq row) => 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 #

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 #

Constructors

BandedHermitian
Fields bandedHermitianOffDiagonals :: UnaryProxy off bandedHermitianOrder :: Order bandedHermitianSize :: size

Instances

Instances details

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

Instance details

Methods

size :: BandedHermitian off size -> Int #

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

Instance details

Associated Types

type Index (BandedHermitian off size)
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private type Index (BandedHermitian off size) = BandedIndex (Index size) (Index size)

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

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

Methods

rnf :: BandedHermitian off size -> () #

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

Instance details

Methods

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

show :: BandedHermitian off size -> String #

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

Eq size => Eq (BandedHermitian off size) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

type Index (BandedHermitian off size) Source #

Instance details