Modulematrices-0.5.0Haskell2010

Data.Matrix.Symmetric.Generic

Synopsis

data SymMatrix
method dim
value rows
value cols
method unsafeIndex
value !
method flatten
method unsafeFromVector
value fromVector
value takeRow
method thaw
method unsafeThaw
method freeze
method unsafeFreeze
value create
value map
value imap
value zip
value zipWith

Packagematrices-0.5.0
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGeneric.hs

datadata SymMatrix (v :: Type -> Type) a

Source#

Symmetric square matrix

Constructors

SymMatrix !Int !(v a)

Instances7Matrix, Eq, Read, Show, Generic, Rep, …

Vector v a => Matrix SymMatrix v aDefined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic
Eq (v a) => Eq (SymMatrix v a)Defined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic
Read (v a) => Read (SymMatrix v a)Defined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic
Show (v a) => Show (SymMatrix v a)Defined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic
Generic (SymMatrix v a)Defined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic
type Rep (SymMatrix v a) = D1 ('MetaData "SymMatrix" "Data.Matrix.Symmetric.Generic" "matrices-0.5.0-6YQZHLNZFEkBRrvJGhqpdj" 'False) (C1 ('MetaCons "SymMatrix" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (v a))))Defined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic
type Mutable SymMatrix = SymMMatrixDefined in matrices-0.5.0 · Data.Matrix.Symmetric.Generic

methoddim :: m v a -> (Int, Int)

valuerows :: Matrix m v a => m v a -> Int

Source#

Derived methods

Return the number of rows

valuecols :: Matrix m v a => m v a -> Int

Source#

Return the number of columns

methodunsafeIndex :: m v a -> (Int, Int) -> a

value(!) :: Matrix m v a => m v a -> (Int, Int) -> a

Source#

Indexing

methodflatten :: m v a -> v a

Source#

Default algorithm is O((m*n) * O(unsafeIndex)).

methodunsafeFromVector :: (Int, Int) -> v a -> m v a

valuefromVector :: Matrix m v a => (Int, Int) -> v a -> m v a

valuetakeRow :: Matrix m v a => m v a -> Int -> v a

Source#

Extract a row.

methodthaw :: PrimMonad s => m v a -> s (Mutable m (Mutable v) (PrimState s) a)

methodunsafeThaw

:: PrimMonad s
=> m v a
-> s (Mutable m (Mutable v) (PrimState s) a)

methodfreeze :: PrimMonad s => Mutable m (Mutable v) (PrimState s) a -> s (m v a)

methodunsafeFreeze

:: PrimMonad s
=> Mutable m (Mutable v) (PrimState s) a
-> s (m v a)

valuecreate

:: Matrix m v a
=> forall s. ST s (Mutable m (Mutable v) s a)
-> m v a

valuemap

:: (Vector v a, Vector v b)
=> a -> b
-> SymMatrix v a
-> SymMatrix v b

valueimap

:: (Vector v a, Vector v b)
=> (Int, Int) -> a -> b
-> SymMatrix v a
-> SymMatrix v b

Source#

Upper triangular imap, i.e., i <= j

valuezip

:: (Vector v a, Vector v b, Vector v (a, b))
=> SymMatrix v a
-> SymMatrix v b
-> SymMatrix v (a, b)

valuezipWith

:: (Vector v a, Vector v b, Vector v c)
=> a -> b -> c
-> SymMatrix v a
-> SymMatrix v b
-> SymMatrix v c