Numeric.LAPACK.Matrix.Layout

Documentation

type General height width = Full Size Big Big height width

type Tall height width = Full Size Big Small height width

type Wide height width = Full Size Small Big height width

type Square size = SquareMeas Shape size size

data Full meas vert horiz height width

Constructors

Full

Fields

• fullOrder :: Order
• fullExtent :: Extent meas vert horiz height width

Instances

(Measure meas, C vert, C horiz, Eq height, Eq width) => Eq (Full meas vert horiz height width)

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)

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)

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)

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)

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)

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)

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

type Index (Full meas vert horiz height width)

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

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

data Order

Constructors

RowMajor

ColumnMajor

Instances

Eq Order

Defined in Numeric.BLAS.Matrix.Layout

Methods

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

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

Show Order

Defined in Numeric.BLAS.Matrix.Layout

Methods

showsPrec :: Int -> Order -> ShowS

show :: Order -> String

showList :: [Order] -> ShowS

NFData Order

Defined in Numeric.BLAS.Matrix.Layout

Methods

rnf :: Order -> ()

flipOrder :: Order -> Order

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

square :: Order -> sh -> Square sh

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

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

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

data Split lower meas vert horiz height width

Instances

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

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)

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)

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)

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)

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)

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)

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

type Index (Split lower meas vert horiz height width)

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

data Triangle

Constructors

Triangle

Instances

Eq Triangle

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: Triangle -> Triangle -> Bool

(/=) :: Triangle -> Triangle -> Bool

Show Triangle

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> Triangle -> ShowS

show :: Triangle -> String

showList :: [Triangle] -> ShowS

NFData Triangle

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Triangle -> ()

data Reflector

Constructors

Reflector

Instances

Eq Reflector

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: Reflector -> Reflector -> Bool

(/=) :: Reflector -> Reflector -> Bool

Show Reflector

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> Reflector -> ShowS

show :: Reflector -> String

showList :: [Reflector] -> ShowS

NFData Reflector

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: Reflector -> ()

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

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

data Mosaic pack mirror uplo size

Constructors

Mosaic

Fields

• mosaicPack :: PackingSingleton pack
• mosaicMirror :: MirrorSingleton mirror
• mosaicUplo :: UpLoSingleton uplo
• mosaicOrder :: Order
• mosaicSize :: size

Instances

C size => FormatArray (Hermitian size)

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

C size => FormatArray (Symmetric size)

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

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

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

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

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)

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)

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)

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)

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)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

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

type Index (Mosaic pack mirror uplo size)

Defined in Numeric.LAPACK.Matrix.Layout.Private

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

class Packing pack where

Methods

autoPacking :: PackingSingleton pack

Instances

Packing Unpacked

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

autoPacking :: PackingSingleton Unpacked

Packing Packed

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

autoPacking :: PackingSingleton Packed

data PackingSingleton pack where

Constructors

Packed :: PackingSingleton Packed

Unpacked :: PackingSingleton Unpacked

Instances

Eq (PackingSingleton pack)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

(==) :: PackingSingleton pack -> PackingSingleton pack -> Bool

(/=) :: PackingSingleton pack -> PackingSingleton pack -> Bool

Show (PackingSingleton pack)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> PackingSingleton pack -> ShowS

show :: PackingSingleton pack -> String

showList :: [PackingSingleton pack] -> ShowS

NFData (PackingSingleton pack)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: PackingSingleton pack -> ()

data Packed

Instances

Packing Packed

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

autoPacking :: PackingSingleton Packed

MapExtent Packed

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

TriDiag diag => Quadratic Packed diag Filled Empty

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

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

TriDiag diag => Quadratic Packed diag Empty Filled

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

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

Quadratic Packed Symmetric Filled Filled

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

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

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

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

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

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

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

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

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

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

(BandedTriangular sub super, BandedTriangular super sub) => Quadratic Packed Unit (Bands sub) (Bands super)

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

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

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

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

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

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

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

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

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

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

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

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

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

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

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

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

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

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

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

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

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

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

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

(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

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

(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

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

(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

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

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

C size => FormatArray (Hermitian size)

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

C size => FormatArray (Symmetric size)

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

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

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

type Plain Packed Arbitrary (Bands sub) (Bands super) meas vert horiz height width

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

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

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

Instances

Packing Unpacked

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

autoPacking :: PackingSingleton Unpacked

MapExtent Unpacked

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

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

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Methods

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

(Strip lower, Strip upper, Measured meas vert, Measured meas horiz) => Cons Unpacked Arbitrary lower upper meas vert horiz

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

ToPlain Unpacked Arbitrary Filled Filled meas vert horiz height width

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

FromPlain Unpacked Arbitrary Filled Filled meas vert horiz height width

Defined in Numeric.LAPACK.Matrix.Shape.Omni

Associated Types

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

Methods

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

type Plain Unpacked Arbitrary Filled Filled meas vert horiz height width

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

Methods

autoMirror :: MirrorSingleton mirror

data MirrorSingleton mirror where

Constructors

NoMirror :: MirrorSingleton NoMirror

SimpleMirror :: MirrorSingleton SimpleMirror

ConjugateMirror :: MirrorSingleton ConjugateMirror

Instances

Eq (MirrorSingleton mirror)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

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

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

Show (MirrorSingleton mirror)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

showsPrec :: Int -> MirrorSingleton mirror -> ShowS

show :: MirrorSingleton mirror -> String

showList :: [MirrorSingleton mirror] -> ShowS

NFData (MirrorSingleton mirror)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: MirrorSingleton mirror -> ()

autoUplo :: UpLo uplo => UpLoSingleton uplo

type Triangular = TriangularP Packed

type LowerTriangular = Triangular Lower

type LowerTriangularP pack = TriangularP pack Lower

lowerTriangular :: Order -> size -> LowerTriangular size

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

type UpperTriangular = Triangular Upper

type UpperTriangularP pack = TriangularP pack Upper

upperTriangular :: Order -> size -> UpperTriangular size

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

type Symmetric = SymmetricP Packed

type SymmetricP pack = Mosaic pack SimpleMirror Upper

symmetric :: Order -> size -> Symmetric size

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

type Hermitian = HermitianP Packed

type HermitianP pack = Mosaic pack ConjugateMirror Upper

hermitian :: Order -> size -> Hermitian size

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

type Diagonal size = BandedSquare U0 U0 size

diagonal :: Order -> size -> Diagonal size

data Banded sub super meas vert horiz height width

Constructors

Banded

Fields

• bandedOffDiagonals :: (UnaryProxy sub, UnaryProxy super)
• bandedOrder :: Order
• bandedExtent :: Extent meas vert horiz height width

Instances

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

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)

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)

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)

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)

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)

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)

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

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

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

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

type BandedLowerTriangular sub size = BandedSquare sub U0 size

type BandedUpperTriangular super size = BandedSquare U0 super size

data BandedIndex row column

Constructors

InsideBox row column

VertOutsideBox Int column

HorizOutsideBox row Int

Instances

(Eq row, Eq column) => Eq (BandedIndex row column)

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)

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

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

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

type UnaryProxy a = Proxy (Un a)

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))

data BandedHermitian off size

Constructors

BandedHermitian

Fields

• bandedHermitianOffDiagonals :: UnaryProxy off
• bandedHermitianOrder :: Order
• bandedHermitianSize :: size

Instances

Eq size => Eq (BandedHermitian off size)

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)

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)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

size :: BandedHermitian off size -> Int

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

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)

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)

Defined in Numeric.LAPACK.Matrix.Layout.Private

Methods

rnf :: BandedHermitian off size -> ()

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

Defined in Numeric.LAPACK.Matrix.Plain.Format

Methods

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

type Index (BandedHermitian off size)

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