Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data Full meas vert horiz height width Source #
Full | |
|
Instances
(Measure meas, C vert, C horiz, Eq height, Eq width) => Eq (Full meas vert horiz height width) Source # | |
(Measure meas, C vert, C horiz, Show height, Show width) => Show (Full meas vert horiz height width) Source # | |
(Measure meas, C vert, C horiz, C height, C width) => C (Full meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(Measure meas, C vert, C horiz, Indexed height, Indexed width) => Indexed (Full meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indices :: Full meas vert horiz height width -> [Index (Full meas vert horiz height width)] # offset :: Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Int # uncheckedOffset :: Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Int # unifiedOffset :: Checking check => Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Result check Int # inBounds :: Full meas vert horiz height width -> Index (Full meas vert horiz height width) -> Bool # sizeOffset :: Full meas vert horiz height width -> (Int, Index (Full meas vert horiz height width) -> Int) # uncheckedSizeOffset :: Full meas vert horiz height width -> (Int, Index (Full meas vert horiz height width) -> Int) # unifiedSizeOffset :: Checking check => Full meas vert horiz height width -> (Int, Index (Full meas vert horiz height width) -> Result check Int) # | |
(Measure meas, C vert, C horiz, InvIndexed height, InvIndexed width) => InvIndexed (Full meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indexFromOffset :: Full meas vert horiz height width -> Int -> Index (Full meas vert horiz height width) # uncheckedIndexFromOffset :: Full meas vert horiz height width -> Int -> Index (Full meas vert horiz height width) # unifiedIndexFromOffset :: Checking check => Full meas vert horiz height width -> Int -> Result check (Index (Full meas vert horiz height width)) # | |
(Measure meas, C vert, C horiz, NFData height, NFData width) => NFData (Full meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(Measure meas, C vert, C horiz, C height, C width) => FormatArray (Full meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Plain.Format | |
type Index (Full meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private |
fullHeight :: (Measure meas, C vert, C horiz) => Full meas vert horiz height width -> height Source #
liberalSquare :: (C height, C width) => Order -> height -> width -> LiberalSquare height width Source #
data Split lower meas vert horiz height width Source #
Instances
(Measure meas, C vert, C horiz, Eq lower, Eq height, Eq width) => Eq (Split lower meas vert horiz height width) Source # | |
(Measure meas, C vert, C horiz, Show lower, Show height, Show width) => Show (Split lower meas vert horiz height width) Source # | |
(Eq lower, Measure meas, C vert, C horiz, C height, C width) => C (Split lower meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(Eq lower, Measure meas, C vert, C horiz, Indexed height, Indexed width) => Indexed (Split lower meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indices :: Split lower meas vert horiz height width -> [Index (Split lower meas vert horiz height width)] # offset :: Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Int # uncheckedOffset :: Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Int # unifiedOffset :: Checking check => Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Result check Int # inBounds :: Split lower meas vert horiz height width -> Index (Split lower meas vert horiz height width) -> Bool # sizeOffset :: Split lower meas vert horiz height width -> (Int, Index (Split lower meas vert horiz height width) -> Int) # uncheckedSizeOffset :: Split lower meas vert horiz height width -> (Int, Index (Split lower meas vert horiz height width) -> Int) # unifiedSizeOffset :: Checking check => Split lower meas vert horiz height width -> (Int, Index (Split lower meas vert horiz height width) -> Result check Int) # | |
(Eq lower, Measure meas, C vert, C horiz, InvIndexed height, InvIndexed width) => InvIndexed (Split lower meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indexFromOffset :: Split lower meas vert horiz height width -> Int -> Index (Split lower meas vert horiz height width) # uncheckedIndexFromOffset :: Split lower meas vert horiz height width -> Int -> Index (Split lower meas vert horiz height width) # unifiedIndexFromOffset :: Checking check => Split lower meas vert horiz height width -> Int -> Result check (Index (Split lower meas vert horiz height width)) # | |
(NFData lower, Measure meas, C vert, C horiz, NFData height, NFData width) => NFData (Split lower meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(Eq lower, Measure meas, C vert, C horiz, C height, C width) => FormatArray (Split lower meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Plain.Format | |
type Index (Split lower meas vert horiz height width) Source # | |
splitGeneral :: lower -> Order -> height -> width -> SplitGeneral lower height width Source #
splitFromFull :: lower -> Full meas vert horiz height width -> Split lower meas vert horiz height width Source #
data Mosaic pack mirror uplo size Source #
Mosaic | |
|
Instances
C size => FormatArray (Hermitian size) Source # | |
Defined in Numeric.LAPACK.Matrix.Plain.Format | |
C size => FormatArray (Symmetric size) Source # | |
Defined in Numeric.LAPACK.Matrix.Plain.Format | |
(UpLo uplo, C size) => FormatArray (Triangular uplo size) Source # | |
Defined in Numeric.LAPACK.Matrix.Plain.Format formatArray :: (Floating a, Output out) => String -> Array (Triangular uplo size) a -> out Source # | |
Eq size => Eq (Mosaic pack mirror uplo size) Source # | |
Show size => Show (Mosaic pack mirror uplo size) Source # | |
(UpLo uplo, C size) => C (Mosaic pack mirror uplo size) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(UpLo uplo, Indexed size) => Indexed (Mosaic pack mirror uplo size) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indices :: Mosaic pack mirror uplo size -> [Index (Mosaic pack mirror uplo size)] # offset :: Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Int # uncheckedOffset :: Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Int # unifiedOffset :: Checking check => Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Result check Int # inBounds :: Mosaic pack mirror uplo size -> Index (Mosaic pack mirror uplo size) -> Bool # sizeOffset :: Mosaic pack mirror uplo size -> (Int, Index (Mosaic pack mirror uplo size) -> Int) # uncheckedSizeOffset :: Mosaic pack mirror uplo size -> (Int, Index (Mosaic pack mirror uplo size) -> Int) # unifiedSizeOffset :: Checking check => Mosaic pack mirror uplo size -> (Int, Index (Mosaic pack mirror uplo size) -> Result check Int) # | |
(UpLo uplo, InvIndexed size) => InvIndexed (Mosaic pack mirror uplo size) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indexFromOffset :: Mosaic pack mirror uplo size -> Int -> Index (Mosaic pack mirror uplo size) # uncheckedIndexFromOffset :: Mosaic pack mirror uplo size -> Int -> Index (Mosaic pack mirror uplo size) # unifiedIndexFromOffset :: Checking check => Mosaic pack mirror uplo size -> Int -> Result check (Index (Mosaic pack mirror uplo size)) # | |
(UpLo uplo, NFData size) => NFData (Mosaic pack mirror uplo size) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
type Index (Mosaic pack mirror uplo size) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private |
data PackingSingleton pack where Source #
Instances
Eq (PackingSingleton pack) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private (==) :: PackingSingleton pack -> PackingSingleton pack -> Bool # (/=) :: PackingSingleton pack -> PackingSingleton pack -> Bool # | |
Show (PackingSingleton pack) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private showsPrec :: Int -> PackingSingleton pack -> ShowS # show :: PackingSingleton pack -> String # showList :: [PackingSingleton pack] -> ShowS # | |
NFData (PackingSingleton pack) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private rnf :: PackingSingleton pack -> () # |
Instances
Instances
Packing Unpacked Source # | |
(Strip lower, Strip upper) => Quadratic Unpacked Arbitrary lower upper Source # | |
MapExtent Unpacked Arbitrary Filled Filled Source # | |
Defined in Numeric.LAPACK.Matrix.Array mapExtent :: (Measure measA, C vertA, C horizA, Measure measB, C vertB, C horizB) => Map measA vertA horizA measB vertB horizB height width -> ArrayMatrix Unpacked Arbitrary Filled Filled measA vertA horizA height width a -> ArrayMatrix Unpacked Arbitrary Filled Filled measB vertB horizB height width a Source # | |
ToPlain Unpacked Arbitrary Filled Filled meas vert horiz height width Source # | |
FromPlain Unpacked Arbitrary Filled Filled meas vert horiz height width Source # | |
type Plain Unpacked Arbitrary Filled Filled meas vert horiz height width Source # | |
class Mirror mirror where Source #
autoMirror :: MirrorSingleton mirror Source #
data MirrorSingleton mirror where Source #
NoMirror :: MirrorSingleton NoMirror | |
SimpleMirror :: MirrorSingleton SimpleMirror | |
ConjugateMirror :: MirrorSingleton ConjugateMirror |
Instances
Eq (MirrorSingleton mirror) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private (==) :: MirrorSingleton mirror -> MirrorSingleton mirror -> Bool # (/=) :: MirrorSingleton mirror -> MirrorSingleton mirror -> Bool # | |
Show (MirrorSingleton mirror) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private showsPrec :: Int -> MirrorSingleton mirror -> ShowS # show :: MirrorSingleton mirror -> String # showList :: [MirrorSingleton mirror] -> ShowS # | |
NFData (MirrorSingleton mirror) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private rnf :: MirrorSingleton mirror -> () # |
type Triangular = TriangularP Packed Source #
type LowerTriangular = Triangular Lower Source #
type LowerTriangularP pack = TriangularP pack Lower Source #
lowerTriangular :: Order -> size -> LowerTriangular size Source #
lowerTriangularP :: PackingSingleton pack -> Order -> size -> LowerTriangularP pack size Source #
type UpperTriangular = Triangular Upper Source #
type UpperTriangularP pack = TriangularP pack Upper Source #
upperTriangular :: Order -> size -> UpperTriangular size Source #
upperTriangularP :: PackingSingleton pack -> Order -> size -> UpperTriangularP pack size Source #
type Symmetric = SymmetricP Packed Source #
type SymmetricP pack = Mosaic pack SimpleMirror Upper Source #
symmetricP :: PackingSingleton pack -> Order -> size -> SymmetricP pack size Source #
type Hermitian = HermitianP Packed Source #
type HermitianP pack = Mosaic pack ConjugateMirror Upper Source #
hermitianP :: PackingSingleton pack -> Order -> size -> HermitianP pack size Source #
data Banded sub super meas vert horiz height width Source #
Banded | |
|
Instances
(Measure meas, C vert, C horiz, Eq height, Eq width) => Eq (Banded sub super meas vert horiz height width) Source # | |
(Natural sub, Natural super, Measure meas, C vert, C horiz, Show height, Show width) => Show (Banded sub super meas vert horiz height width) Source # | |
(Natural sub, Natural super, Measure meas, C vert, C horiz, C height, C width) => C (Banded sub super meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(Natural sub, Natural super, Measure meas, C vert, C horiz, Indexed height, Indexed width) => Indexed (Banded sub super meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indices :: Banded sub super meas vert horiz height width -> [Index (Banded sub super meas vert horiz height width)] # offset :: Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Int # uncheckedOffset :: Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Int # unifiedOffset :: Checking check => Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Result check Int # inBounds :: Banded sub super meas vert horiz height width -> Index (Banded sub super meas vert horiz height width) -> Bool # sizeOffset :: Banded sub super meas vert horiz height width -> (Int, Index (Banded sub super meas vert horiz height width) -> Int) # uncheckedSizeOffset :: Banded sub super meas vert horiz height width -> (Int, Index (Banded sub super meas vert horiz height width) -> Int) # unifiedSizeOffset :: Checking check => Banded sub super meas vert horiz height width -> (Int, Index (Banded sub super meas vert horiz height width) -> Result check Int) # | |
(Natural sub, Natural super, Measure meas, C vert, C horiz, InvIndexed height, InvIndexed width) => InvIndexed (Banded sub super meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private indexFromOffset :: Banded sub super meas vert horiz height width -> Int -> Index (Banded sub super meas vert horiz height width) # uncheckedIndexFromOffset :: Banded sub super meas vert horiz height width -> Int -> Index (Banded sub super meas vert horiz height width) # unifiedIndexFromOffset :: Checking check => Banded sub super meas vert horiz height width -> Int -> Result check (Index (Banded sub super meas vert horiz height width)) # | |
(Natural sub, Natural super, Measure meas, C vert, C horiz, NFData height, NFData width) => NFData (Banded sub super meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private | |
(Natural sub, Natural super, Measure meas, C vert, C horiz, C height, C width) => FormatArray (Banded sub super meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Plain.Format | |
type Index (Banded sub super meas vert horiz height width) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private type Index (Banded sub super meas vert horiz height width) = BandedIndex (Index height) (Index width) |
type BandedSquare sub super size = BandedSquareMeas sub super Shape size size Source #
type BandedLowerTriangular sub size = BandedSquare sub U0 size Source #
type BandedUpperTriangular super size = BandedSquare U0 super size Source #
data BandedIndex row column Source #
InsideBox row column | |
VertOutsideBox Int column | |
HorizOutsideBox row Int |
Instances
(Eq row, Eq column) => Eq (BandedIndex row column) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private (==) :: BandedIndex row column -> BandedIndex row column -> Bool # (/=) :: BandedIndex row column -> BandedIndex row column -> Bool # | |
(Show row, Show column) => Show (BandedIndex row column) Source # | |
Defined in Numeric.LAPACK.Matrix.Layout.Private showsPrec :: Int -> BandedIndex row column -> ShowS # show :: BandedIndex row column -> String # showList :: [BandedIndex row column] -> ShowS # |
bandedGeneral :: (UnaryProxy sub, UnaryProxy super) -> Order -> height -> width -> BandedGeneral sub super height width Source #
bandedSquare :: (UnaryProxy sub, UnaryProxy super) -> Order -> size -> BandedSquare sub super size Source #
bandedFromFull :: (UnaryProxy sub, UnaryProxy super) -> Full meas vert horiz height width -> Banded sub super meas vert horiz height width Source #
type UnaryProxy a = Proxy (Un a) Source #
addOffDiagonals :: (Natural subA, Natural superA, Natural subB, Natural superB, (subA :+: subB) ~ subC, (superA :+: superB) ~ superC) => (UnaryProxy subA, UnaryProxy superA) -> (UnaryProxy subB, UnaryProxy superB) -> ((Nat subC, Nat superC), (UnaryProxy subC, UnaryProxy superC)) Source #
data BandedHermitian off size Source #
BandedHermitian | |
|
Instances
bandedHermitian :: UnaryProxy off -> Order -> size -> BandedHermitian off size Source #