Safe Haskell	Safe-Inferred
Language	Haskell98

Numeric.LAPACK.Matrix.Shape

Synopsis

type Identity size = Quadratic Packed Unit Empty Empty size
type UpperTriangular size = Quadratic Packed Arbitrary Empty Filled size
type LowerTriangular size = Quadratic Packed Arbitrary Filled Empty size
type Triangular lo diag up size = Quadratic Packed diag lo up size
type Square sh = Full Shape Small Small sh sh
type Full = Omni Unpacked Arbitrary Filled Filled
type General = Full Size Big Big
type Tall = Full Size Big Small
type Wide = Full Size Small Big
type LiberalSquare = Full Size Small Small
type Quadratic pack property lower upper size = QuadraticMeas pack property lower upper Shape size size
type Symmetric size = Quadratic Packed Symmetric Filled Filled size
type Hermitian size = Quadratic Packed HermitianUnknownDefiniteness Filled Filled size
type Diagonal size = Quadratic Packed Arbitrary Empty Empty size
type Banded sub super meas vert horiz = Omni Packed Arbitrary (Bands sub) (Bands super) meas vert horiz
type BandedHermitian offDiag size = Quadratic Packed HermitianUnknownDefiniteness (Bands offDiag) (Bands offDiag) size
type BandedTriangular sub super size = Quadratic Packed Arbitrary (Bands sub) (Bands super) size
type BandedLower sub size = BandedTriangular sub U0 size
type BandedUpper super size = BandedTriangular U0 super size
type BandedGeneral sub super = Omni Packed Arbitrary (Bands sub) (Bands super) Size Big Big
type UpLo lo up = (UpLoC lo up, UpLoC up lo)
type QuadraticMeas pack property lower upper meas height width = Omni pack property lower upper meas Small Small height width
data UpLoSingleton lo up where
- Lower :: UpLoSingleton Filled Empty
- Upper :: UpLoSingleton Empty Filled
class DiagUpLoC lo up => UpLoC lo up where
- switchUpLo :: f Empty Filled -> f Filled Empty -> f lo up
class (PowerStrip lo, PowerStrip up) => DiagUpLoC lo up where
- switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f lo up
type DiagUpLo lo up = (DiagUpLoC lo up, DiagUpLoC up lo)
newtype GenTriangularDiag lo up size a diag = GenTriangularDiag {
- runGenTriangularDiag :: Triangular lo diag up size
}
newtype GenTriangularLoUp diag size a lo up = GenTriangularLoUp {
- runGenTriangularLoUp :: Triangular lo diag up size
}
type BandedUnitTriangular sub super size = Quadratic Packed Unit (Bands sub) (Bands super) size
type BandedUnitLower sub size = BandedUnitTriangular sub U0 size
type BandedUnitUpper super size = BandedUnitTriangular U0 super size
type RealDiagonal size = BandedHermitian U0 size
type PositiveDiagonal size = Quadratic Packed HermitianPositiveDefinite Empty Empty size
type UpperQuasitriangular size = Quadratic Unpacked Arbitrary (Bands U1) Filled size
lowerTriangular :: Order -> size -> LowerTriangular size
upperTriangular :: Order -> size -> UpperTriangular size
identity :: Order -> size -> Identity size
diagonal :: Order -> size -> Diagonal size
square :: C sh => Order -> sh -> Square sh
general :: Order -> height -> width -> General height width
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
autoUplo :: UpLo lo up => UpLoSingleton lo up
symmetric :: Order -> size -> Symmetric size
hermitian :: Order -> sh -> Hermitian sh
bandedGeneral :: (Natural sub, Natural super, C height, C width) => (UnaryProxy sub, UnaryProxy super) -> Order -> height -> width -> BandedGeneral sub super height width
bandedHermitian :: Natural offDiag => UnaryProxy offDiag -> Order -> size -> BandedHermitian offDiag size
triangular :: (DiagUpLo lo up, TriDiag diag) => Order -> size -> Triangular lo diag up size
bandedOffDiagonals :: Omni Packed property (Bands sub) (Bands super) meas vert horiz height width -> (UnaryProxy sub, UnaryProxy super)
unitTriangular :: DiagUpLo lo up => Order -> size -> Triangular lo Unit up size
arbitraryTriangular :: DiagUpLo lo up => Order -> size -> Triangular lo Arbitrary up size
data Order
- = RowMajor
- | ColumnMajor
flipOrder :: Order -> Order
height :: (Measure meas, C vert, C horiz) => Omni pack property lower upper meas vert horiz height width -> height
width :: (Measure meas, C vert, C horiz) => Omni pack property lower upper meas vert horiz height width -> width
extent :: (Measure meas, C vert, C horiz) => Omni pack property lower upper meas vert horiz height width -> Extent meas vert horiz height width
squareSize :: Omni pack property lower upper Shape Small Small sh sh -> sh
order :: Omni pack property lower upper meas vert horiz height width -> Order
class Property diag => TriDiag diag
data DiagSingleton diag where
- Unit :: DiagSingleton Unit
- Arbitrary :: DiagSingleton Arbitrary
class Property property
class Strip c => PowerStrip c
data PowerStripSingleton c where
- Empty :: PowerStripSingleton Empty
- Filled :: PowerStripSingleton Filled
powerStripSingleton :: PowerStrip c => PowerStripSingleton c
class (MultipliedBands c Filled ~ Filled, MultipliedBands c Empty ~ c) => Strip c
data StripSingleton c where
- StripBands :: Natural offDiag => HeadSingleton offDiag -> StripSingleton (Bands offDiag)
- StripFilled :: StripSingleton Filled
stripSingleton :: Strip c => StripSingleton c
data Arbitrary
data Unit
data Filled
type Empty = Bands U0
data Bands offDiag
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))
class Packing pack
data Packed
data Unpacked

Documentation

type Identity size = Quadratic Packed Unit Empty Empty size Source #

type UpperTriangular size = Quadratic Packed Arbitrary Empty Filled size Source #

type LowerTriangular size = Quadratic Packed Arbitrary Filled Empty size Source #

type Triangular lo diag up size = Quadratic Packed diag lo up size Source #

type Square sh = Full Shape Small Small sh sh Source #

type Full = Omni Unpacked Arbitrary Filled Filled Source #

type General = Full Size Big Big Source #

type Tall = Full Size Big Small Source #

type Wide = Full Size Small Big Source #

type LiberalSquare = Full Size Small Small Source #

type Quadratic pack property lower upper size = QuadraticMeas pack property lower upper Shape size size Source #

type Symmetric size = Quadratic Packed Symmetric Filled Filled size Source #

type Hermitian size = Quadratic Packed HermitianUnknownDefiniteness Filled Filled size Source #

type Diagonal size = Quadratic Packed Arbitrary Empty Empty size Source #

type Banded sub super meas vert horiz = Omni Packed Arbitrary (Bands sub) (Bands super) meas vert horiz Source #

type BandedHermitian offDiag size = Quadratic Packed HermitianUnknownDefiniteness (Bands offDiag) (Bands offDiag) size Source #

type BandedTriangular sub super size = Quadratic Packed Arbitrary (Bands sub) (Bands super) size Source #

type BandedLower sub size = BandedTriangular sub U0 size Source #

type BandedUpper super size = BandedTriangular U0 super size Source #

type BandedGeneral sub super = Omni Packed Arbitrary (Bands sub) (Bands super) Size Big Big Source #

type UpLo lo up = (UpLoC lo up, UpLoC up lo) Source #

type QuadraticMeas pack property lower upper meas height width = Omni pack property lower upper meas Small Small height width Source #

data UpLoSingleton lo up where Source #

Constructors

Lower :: UpLoSingleton Filled Empty
Upper :: UpLoSingleton Empty Filled

class DiagUpLoC lo up => UpLoC lo up where Source #

Methods

switchUpLo :: f Empty Filled -> f Filled Empty -> f lo up Source #

Instances

Instances details

UpLoC Empty Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchUpLo :: f Empty Filled -> f Filled Empty -> f Empty Filled Source #
UpLoC Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchUpLo :: f Empty Filled -> f Filled Empty -> f Filled Empty Source #

class (PowerStrip lo, PowerStrip up) => DiagUpLoC lo up where Source #

Methods

switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f lo up Source #

Instances

Instances details

DiagUpLoC Empty Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Empty Empty Source #
DiagUpLoC Empty Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Empty Filled Source #
DiagUpLoC Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Filled Empty Source #

type DiagUpLo lo up = (DiagUpLoC lo up, DiagUpLoC up lo) Source #

newtype GenTriangularDiag lo up size a diag Source #

Constructors

GenTriangularDiag
Fields runGenTriangularDiag :: Triangular lo diag up size

newtype GenTriangularLoUp diag size a lo up Source #

Constructors

GenTriangularLoUp
Fields runGenTriangularLoUp :: Triangular lo diag up size

type BandedUnitTriangular sub super size = Quadratic Packed Unit (Bands sub) (Bands super) size Source #

type BandedUnitLower sub size = BandedUnitTriangular sub U0 size Source #

type BandedUnitUpper super size = BandedUnitTriangular U0 super size Source #

type RealDiagonal size = BandedHermitian U0 size Source #

For Hermitian eigenvalues

type PositiveDiagonal size = Quadratic Packed HermitianPositiveDefinite Empty Empty size Source #

For singular values

However, diagonal matrices produced by singular value decomposition may be non-square and Hermitian must be square.

type UpperQuasitriangular size = Quadratic Unpacked Arbitrary (Bands U1) Filled size Source #

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

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

identity :: Order -> size -> Identity size Source #

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

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

general :: Order -> height -> width -> General height width 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 #

autoUplo :: UpLo lo up => UpLoSingleton lo up Source #

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

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

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

bandedHermitian :: Natural offDiag => UnaryProxy offDiag -> Order -> size -> BandedHermitian offDiag size Source #

triangular :: (DiagUpLo lo up, TriDiag diag) => Order -> size -> Triangular lo diag up size Source #

bandedOffDiagonals :: Omni Packed property (Bands sub) (Bands super) meas vert horiz height width -> (UnaryProxy sub, UnaryProxy super) Source #

unitTriangular :: DiagUpLo lo up => Order -> size -> Triangular lo Unit up size Source #

arbitraryTriangular :: DiagUpLo lo up => Order -> size -> Triangular lo Arbitrary up size Source #

data Order #

Constructors

RowMajor
ColumnMajor

Instances

Instances details

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 -> () #
Eq Order
Instance details Defined in Numeric.BLAS.Matrix.Layout Methods (==) :: Order -> Order -> Bool # (/=) :: Order -> Order -> Bool #

flipOrder :: Order -> Order #

height :: (Measure meas, C vert, C horiz) => Omni pack property lower upper meas vert horiz height width -> height Source #

width :: (Measure meas, C vert, C horiz) => Omni pack property lower upper meas vert horiz height width -> width Source #

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

squareSize :: Omni pack property lower upper Shape Small Small sh sh -> sh Source #

order :: Omni pack property lower upper meas vert horiz height width -> Order Source #

class Property diag => TriDiag diag Source #

Minimal complete definition

switchTriDiag

Instances

Instances details

TriDiag Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchTriDiag :: f Unit -> f Arbitrary -> f Arbitrary Source #
TriDiag Unit Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchTriDiag :: f Unit -> f Arbitrary -> f Unit Source #

data DiagSingleton diag where Source #

Constructors

Unit :: DiagSingleton Unit
Arbitrary :: DiagSingleton Arbitrary

Instances

Instances details

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

class Property property Source #

Minimal complete definition

switchProperty

Instances

Instances details

Property Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchProperty :: f Arbitrary -> f Unit -> f Symmetric -> (forall neg zero pos. (C neg, C zero, C pos) => f (Hermitian neg zero pos)) -> f Arbitrary
Property Symmetric Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchProperty :: f Arbitrary -> f Unit -> f Symmetric -> (forall neg zero pos. (C neg, C zero, C pos) => f (Hermitian neg zero pos)) -> f Symmetric
Property Unit Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchProperty :: f Arbitrary -> f Unit -> f Symmetric -> (forall neg zero pos. (C neg, C zero, C pos) => f (Hermitian neg zero pos)) -> f Unit
(C neg, C zero, C pos) => Property (Hermitian neg zero pos) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchProperty :: f Arbitrary -> f Unit -> f Symmetric -> (forall neg0 zero0 pos0. (C neg0, C zero0, C pos0) => f (Hermitian neg0 zero0 pos0)) -> f (Hermitian neg zero pos)

class Strip c => PowerStrip c Source #

PowerStrip is either PowerStripSingleton or PowerStripSingleton. These are the Strips that are preserved in matrix powers.

Pun intended.

Minimal complete definition

switchPowerStrip

Instances

Instances details

PowerStrip Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchPowerStrip :: f Empty -> f Filled -> f Filled Source #
offDiag ~ U0 => PowerStrip (Bands offDiag) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchPowerStrip :: f Empty -> f Filled -> f (Bands offDiag) Source #

data PowerStripSingleton c where Source #

Constructors

Empty :: PowerStripSingleton Empty
Filled :: PowerStripSingleton Filled

powerStripSingleton :: PowerStrip c => PowerStripSingleton c Source #

class (MultipliedBands c Filled ~ Filled, MultipliedBands c Empty ~ c) => Strip c Source #

Minimal complete definition

switchStrip

Instances

Instances details

Strip Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchStrip :: (forall offDiag. Natural offDiag => f (Bands offDiag)) -> f Filled -> f Filled Source #
Natural offDiag => Strip (Bands offDiag) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchStrip :: (forall offDiag0. Natural offDiag0 => f (Bands offDiag0)) -> f Filled -> f (Bands offDiag) Source #

data StripSingleton c where Source #

Constructors

StripBands :: Natural offDiag => HeadSingleton offDiag -> StripSingleton (Bands offDiag)
StripFilled :: StripSingleton Filled

stripSingleton :: Strip c => StripSingleton c Source #

data Arbitrary Source #

Instances

Instances details

Additive Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Array.Private
Homogeneous Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Array.Private
Scale Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Array.Private
Subtractive Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Array.Private
Exp Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Function Methods exp :: (Packing pack, PowerStrip lower, PowerStrip upper, C sh, Floating a) => Quadratic pack Arbitrary lower upper sh a -> Quadratic pack Arbitrary lower upper sh a Source #
LiftReal Arbitrary Source #	Generic algorithm that applies a scalar function to the elements of the diagonal factor of a full, triangular or diagonal matrix with distinct eigenvalues. It is not checked whether the matrix has distinct eigenvalues.
Instance details Defined in Numeric.LAPACK.Matrix.Function Methods liftReal :: (Packing pack, PowerStrip lower, PowerStrip upper, C sh, Real a) => (a -> a) -> Quadratic pack Arbitrary lower upper sh a -> Quadratic pack Arbitrary lower upper sh a Source #
Log Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Function Methods log :: (Packing pack, PowerStrip lower, PowerStrip upper, C sh, Real a) => Quadratic pack Arbitrary lower upper sh a -> Quadratic pack Arbitrary lower upper sh a Source #
SqRt Arbitrary Source #	For Full matrices: Explicit solution for matrices up to size 2. Solution via `sqrtDenmanBeavers` for larger sizes.
Instance details Defined in Numeric.LAPACK.Matrix.Function Methods sqrt :: (Packing pack, PowerStrip lower, PowerStrip upper, C sh, Real a) => Quadratic pack Arbitrary lower upper sh a -> Quadratic pack Arbitrary lower upper sh a Source #
Diagonal Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Quadratic Methods diagonalAux :: (Quadratic pack Arbitrary lower upper, C sh, Floating a) => Quadratic pack Arbitrary lower upper sh -> Vector sh a -> Quadratic pack Arbitrary lower upper sh a
Property Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchProperty :: f Arbitrary -> f Unit -> f Symmetric -> (forall neg zero pos. (C neg, C zero, C pos) => f (Hermitian neg zero pos)) -> f Arbitrary
TriDiag Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchTriDiag :: f Unit -> f Arbitrary -> f Arbitrary 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 #
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 Source # 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 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 #
(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 #
(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 #
(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 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 #
(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 #
type MergeUnit Arbitrary unit1 Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MergeUnit Arbitrary unit1 = Arbitrary
type MultipliedProperty Arbitrary propB Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedProperty Arbitrary propB = Arbitrary
type MultipliedProperty Unit Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedProperty Unit Arbitrary = Arbitrary
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
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

data Unit Source #

Instances

Instances details

SqRt Unit Source #
Instance details Defined in Numeric.LAPACK.Matrix.Function Methods sqrt :: (Packing pack, PowerStrip lower, PowerStrip upper, C sh, Real a) => Quadratic pack Unit lower upper sh a -> Quadratic pack Unit lower upper sh a Source #
Property Unit Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchProperty :: f Arbitrary -> f Unit -> f Symmetric -> (forall neg zero pos. (C neg, C zero, C pos) => f (Hermitian neg zero pos)) -> f Unit
TriDiag Unit Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchTriDiag :: f Unit -> f Arbitrary -> f Unit 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 #
(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 #
(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 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 #
(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 #
type MergeUnit Unit unit1 Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MergeUnit Unit unit1 = unit1
type MultipliedProperty Unit Arbitrary Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedProperty Unit Arbitrary = Arbitrary
type MultipliedProperty Unit Symmetric Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedProperty Unit Symmetric = Arbitrary
type MultipliedProperty Unit Unit Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedProperty Unit Unit = Unit
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 MultipliedProperty Unit (Hermitian neg zero pos) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedProperty Unit (Hermitian neg zero pos) = Arbitrary

data Filled Source #

Instances

Instances details

Show Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods showsPrec :: Int -> Filled -> ShowS # show :: Filled -> String # showList :: [Filled] -> ShowS #
Eq Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods (==) :: Filled -> Filled -> Bool # (/=) :: Filled -> Filled -> Bool #
PowerStrip Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchPowerStrip :: f Empty -> f Filled -> f Filled Source #
Strip Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchStrip :: (forall offDiag. Natural offDiag => f (Bands offDiag)) -> f Filled -> f Filled Source #
DiagUpLoC Empty Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Empty Filled Source #
DiagUpLoC Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Filled Empty Source #
UpLoC Empty Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchUpLo :: f Empty Filled -> f Filled Empty -> f Empty Filled Source #
UpLoC Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchUpLo :: f Empty Filled -> f Filled Empty -> f Filled Empty Source #
Quadratic Packed Symmetric Filled Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni 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 Defined in Numeric.LAPACK.Matrix.Shape.Omni 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 Defined in Numeric.LAPACK.Matrix.Shape.Omni 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 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 #
(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 #
(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 #
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 Source # Methods fromPlain :: Plain Unpacked Arbitrary Filled Filled meas vert horiz height width -> Omni Unpacked Arbitrary Filled Filled meas vert horiz height width Source #
(Packing pack, height ~ width) => FromPlain pack Symmetric Filled Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Associated Types type Plain pack Symmetric Filled Filled Shape Small Small height width Source # Methods fromPlain :: Plain pack Symmetric Filled Filled Shape Small Small height width -> Omni pack Symmetric Filled Filled Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => FromPlain pack diag Empty Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Associated Types type Plain pack diag Empty Filled Shape Small Small height width Source # Methods fromPlain :: Plain pack diag Empty Filled Shape Small Small height width -> Omni pack diag Empty Filled Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => FromPlain pack diag Filled Empty Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Associated Types type Plain pack diag Filled Empty Shape Small Small height width Source # Methods fromPlain :: Plain pack diag Filled Empty Shape Small Small height width -> Omni pack diag Filled Empty Shape Small Small 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 #
(Packing pack, height ~ width) => ToPlain pack Symmetric Filled Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods toPlain :: Omni pack Symmetric Filled Filled Shape Small Small height width -> Plain pack Symmetric Filled Filled Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => ToPlain pack diag Empty Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods toPlain :: Omni pack diag Empty Filled Shape Small Small height width -> Plain pack diag Empty Filled Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => ToPlain pack diag Filled Empty Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods toPlain :: Omni pack diag Filled Empty Shape Small Small height width -> Plain pack diag Filled Empty 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 #
(Packing pack, C neg, C zero, C pos, height ~ width) => FromPlain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Associated Types type Plain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width Source # Methods fromPlain :: Plain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width -> Omni pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width Source #
(Packing pack, C neg, C zero, C pos, height ~ width) => ToPlain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods toPlain :: Omni pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width -> Plain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width Source #
type MultipliedBands Filled bandsB Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedBands Filled bandsB = Filled
type MultipliedStrip Filled contB Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedStrip Filled contB = Filled
type UnitIfTriangular Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular Filled Empty = Unit
type UnitIfTriangular Filled Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular Filled Filled = Arbitrary
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
type Plain pack Symmetric Filled Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type Plain pack Symmetric Filled Filled Shape Small Small height width = SymmetricP pack height
type Plain pack diag Empty Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type Plain pack diag Empty Filled Shape Small Small height width = UpperTriangularP pack height
type Plain pack diag Filled Empty Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type Plain pack diag Filled Empty Shape Small Small height width = LowerTriangularP pack height
type UnitIfTriangular Filled (Bands (Succ k)) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular Filled (Bands (Succ k)) = Arbitrary
type Plain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type Plain pack (Hermitian neg zero pos) Filled Filled Shape Small Small height width = HermitianP pack height
type MultipliedBands (Bands k) Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedBands (Bands k) Filled = Filled
type UnitIfTriangular (Bands (Succ k)) Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular (Bands (Succ k)) Filled = Arbitrary

type Empty = Bands U0 Source #

data Bands offDiag Source #

Instances

Instances details

DiagUpLoC Empty Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Empty Empty Source #
DiagUpLoC Empty Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Empty Filled Source #
DiagUpLoC Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchDiagUpLo :: f Empty Empty -> f Empty Filled -> f Filled Empty -> f Filled Empty Source #
UpLoC Empty Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchUpLo :: f Empty Filled -> f Filled Empty -> f Empty Filled Source #
UpLoC Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape Methods switchUpLo :: f Empty Filled -> f Filled Empty -> f Filled Empty 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 #
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, 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 #
(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 #
(Packing pack, TriDiag diag, height ~ width) => FromPlain pack diag Empty Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Associated Types type Plain pack diag Empty Filled Shape Small Small height width Source # Methods fromPlain :: Plain pack diag Empty Filled Shape Small Small height width -> Omni pack diag Empty Filled Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => FromPlain pack diag Filled Empty Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Associated Types type Plain pack diag Filled Empty Shape Small Small height width Source # Methods fromPlain :: Plain pack diag Filled Empty Shape Small Small height width -> Omni pack diag Filled Empty Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => ToPlain pack diag Empty Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods toPlain :: Omni pack diag Empty Filled Shape Small Small height width -> Plain pack diag Empty Filled Shape Small Small height width Source #
(Packing pack, TriDiag diag, height ~ width) => ToPlain pack diag Filled Empty Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods toPlain :: Omni pack diag Filled Empty Shape Small Small height width -> Plain pack diag Filled Empty Shape Small Small 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) => 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 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 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 #
(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 #
(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) => 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 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 #
(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 offDiag => Show (Bands offDiag) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods showsPrec :: Int -> Bands offDiag -> ShowS # show :: Bands offDiag -> String # showList :: [Bands offDiag] -> ShowS #
Eq (Bands offDiag) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods (==) :: Bands offDiag -> Bands offDiag -> Bool # (/=) :: Bands offDiag -> Bands offDiag -> Bool #
offDiag ~ U0 => PowerStrip (Bands offDiag) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchPowerStrip :: f Empty -> f Filled -> f (Bands offDiag) Source #
Natural offDiag => Strip (Bands offDiag) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni Methods switchStrip :: (forall offDiag0. Natural offDiag0 => f (Bands offDiag0)) -> f Filled -> f (Bands offDiag) Source #
type MultipliedStrip Empty contB Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedStrip Empty contB = contB
type UnitIfTriangular Empty upper Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular Empty upper = Unit
type UnitIfTriangular Filled Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular Filled Empty = Unit
type Plain pack diag Empty Filled Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type Plain pack diag Empty Filled Shape Small Small height width = UpperTriangularP pack height
type Plain pack diag Filled Empty Shape Small Small height width Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type Plain pack diag Filled Empty Shape Small Small height width = LowerTriangularP pack height
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 UnitIfTriangular Filled (Bands (Succ k)) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular Filled (Bands (Succ k)) = Arbitrary
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
type MultipliedBands (Bands k) Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedBands (Bands k) Filled = Filled
type UnitIfTriangular (Bands (Succ k)) Empty Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular (Bands (Succ k)) Empty = Unit
type UnitIfTriangular (Bands (Succ k)) Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular (Bands (Succ k)) Filled = Arbitrary
type MultipliedBands (Bands k) (Bands l) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type MultipliedBands (Bands k) (Bands l) = Bands (k :+: l)
type UnitIfTriangular (Bands (Succ k)) (Bands (Succ l)) Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni type UnitIfTriangular (Bands (Succ k)) (Bands (Succ l)) = Arbitrary

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 #

class Packing pack Source #

Minimal complete definition

autoPacking

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

Instances

Instances details

MapExtent Packed Source #
Instance details Defined in Numeric.LAPACK.Matrix.Array.Private Associated Types type MapExtentStrip Packed strip Methods mapExtent :: (property ~ Arbitrary, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MapExtentStrip Packed lower, MapExtentStrip Packed upper) => Map measA vertA horizA measB vertB horizB height width -> ArrayMatrix Packed property lower upper measA vertA horizA height width a -> ArrayMatrix Packed property lower upper measB vertB horizB height width a Source #
Packing Packed Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods autoPacking :: PackingSingleton Packed Source #
Quadratic Packed Symmetric Filled Filled Source #
Instance details Defined in Numeric.LAPACK.Matrix.Shape.Omni 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 Defined in Numeric.LAPACK.Matrix.Shape.Omni 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 Defined in Numeric.LAPACK.Matrix.Shape.Omni 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 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 #
(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 #
(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 #
(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) => 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 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 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 #
(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 #
(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) => 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 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 #
(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 #
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

Instances details

MapExtent Unpacked Source #
Instance details Defined in Numeric.LAPACK.Matrix.Array.Private Associated Types type MapExtentStrip Unpacked strip Methods mapExtent :: (property ~ Arbitrary, Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB, MapExtentStrip Unpacked lower, MapExtentStrip Unpacked upper) => Map measA vertA horizA measB vertB horizB height width -> ArrayMatrix Unpacked property lower upper measA vertA horizA height width a -> ArrayMatrix Unpacked property lower upper measB vertB horizB height width a Source #
Packing Unpacked Source #
Instance details Defined in Numeric.LAPACK.Matrix.Layout.Private Methods autoPacking :: PackingSingleton Unpacked 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 #
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 Source # 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 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 #
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