Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulematrices-0.5.0Haskell2010

Data.Matrix.Symmetric.Generic

1 type
10 values

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

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

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-IxyXCJl9oI0FwE9r0oI58j" '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

Derived methods

Return the number of rows

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

Return the number of columns

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

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

Indexing

methodflatten :: m v a -> v a

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

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

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