hgeometry-kernel

Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2024

HGeometry.Matrix

Description

type-indexed matrices.

Synopsis

newtype Matrix (n :: Nat) (m :: Nat) r = Matrix (Vector n (Vector m r))
type OptMatrix_ (d :: Nat) r = (Has_ Additive_ d r, Has_ Vector_ d (Vector d r), Ixed (Vector d r), Ixed (Vector d (Vector d r)))
module HGeometry.Matrix.Class

Documentation

newtype Matrix (n :: Nat) (m :: Nat) r Source #

A matrix of n rows, each of m columns, storing values of type r.

Constructors

Matrix (Vector n (Vector m r))

Instances

Instances details

(Functor (Vector n), Functor (Vector m)) => Functor (Matrix n m) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

fmap :: (a -> b) -> Matrix n m a -> Matrix n m b Source #

(<$) :: a -> Matrix n m b -> Matrix n m a Source #

(Foldable (Vector n), Foldable (Vector m)) => Foldable (Matrix n m) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

fold :: Monoid m0 => Matrix n m m0 -> m0 Source #

foldMap :: Monoid m0 => (a -> m0) -> Matrix n m a -> m0 Source #

foldMap' :: Monoid m0 => (a -> m0) -> Matrix n m a -> m0 Source #

foldr :: (a -> b -> b) -> b -> Matrix n m a -> b Source #

foldr' :: (a -> b -> b) -> b -> Matrix n m a -> b Source #

foldl :: (b -> a -> b) -> b -> Matrix n m a -> b Source #

foldl' :: (b -> a -> b) -> b -> Matrix n m a -> b Source #

foldr1 :: (a -> a -> a) -> Matrix n m a -> a Source #

foldl1 :: (a -> a -> a) -> Matrix n m a -> a Source #

toList :: Matrix n m a -> [a] Source #

null :: Matrix n m a -> Bool Source #

length :: Matrix n m a -> Int Source #

elem :: Eq a => a -> Matrix n m a -> Bool Source #

maximum :: Ord a => Matrix n m a -> a Source #

minimum :: Ord a => Matrix n m a -> a Source #

sum :: Num a => Matrix n m a -> a Source #

product :: Num a => Matrix n m a -> a Source #

(Traversable (Vector n), Traversable (Vector m)) => Traversable (Matrix n m) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

traverse :: Applicative f => (a -> f b) -> Matrix n m a -> f (Matrix n m b) Source #

sequenceA :: Applicative f => Matrix n m (f a) -> f (Matrix n m a) Source #

mapM :: Monad m0 => (a -> m0 b) -> Matrix n m a -> m0 (Matrix n m b) Source #

sequence :: Monad m0 => Matrix n m (m0 a) -> m0 (Matrix n m a) Source #

Generic (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Associated Types

type Rep (Matrix n m r)
Instance details Defined in HGeometry.Matrix.ByRows type Rep (Matrix n m r) = D1 ('MetaData "Matrix" "HGeometry.Matrix.ByRows" "hgeometry-kernel-1.0.0.0-inplace" 'True) (C1 ('MetaCons "Matrix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector n (Vector m r)))))

Methods

from :: Matrix n m r -> Rep (Matrix n m r) x Source #

to :: Rep (Matrix n m r) x -> Matrix n m r Source #

(Show r, Has_ Vector_ m r, Has_ Vector_ n (Vector m r)) => Show (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

showsPrec :: Int -> Matrix n m r -> ShowS Source #

show :: Matrix n m r -> String Source #

showList :: [Matrix n m r] -> ShowS Source #

Eq (Vector n (Vector m r)) => Eq (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

(==) :: Matrix n m r -> Matrix n m r -> Bool Source #

(/=) :: Matrix n m r -> Matrix n m r -> Bool Source #

Ord (Vector n (Vector m r)) => Ord (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

compare :: Matrix n m r -> Matrix n m r -> Ordering Source #

(<) :: Matrix n m r -> Matrix n m r -> Bool Source #

(<=) :: Matrix n m r -> Matrix n m r -> Bool Source #

(>) :: Matrix n m r -> Matrix n m r -> Bool Source #

(>=) :: Matrix n m r -> Matrix n m r -> Bool Source #

max :: Matrix n m r -> Matrix n m r -> Matrix n m r Source #

min :: Matrix n m r -> Matrix n m r -> Matrix n m r Source #

(Has_ Vector_ n (Vector m r), Has_ Vector_ m r, Ixed (Vector n (Vector m r)), Ixed (Vector m r)) => Ixed (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

ix :: Index (Matrix n m r) -> Traversal' (Matrix n m r) (IxValue (Matrix n m r)) Source #

(Has_ Vector_ n (Vector m r), Has_ Additive_ m r, Ixed (Vector n (Vector m r)), Ixed (Vector m r)) => Matrix_ (Matrix n m r) n m r Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

identityMatrix :: Matrix n m r Source #

generateMatrix :: ((Int, Int) -> r) -> Matrix n m r Source #

matrixFromList :: [r] -> Maybe (Matrix n m r) Source #

matrixFromRows :: Vector_ rowVector n (Vector m r) => rowVector -> Matrix n m r Source #

(!*!) :: forall matrix' (m' :: Nat) matrix''. (Matrix_ matrix' m m' r, Matrix_ matrix'' n m' r, Num r, Has_ Additive_ m r) => Matrix n m r -> matrix' -> matrix'' Source #

(!*) :: Matrix n m r -> Vector m r -> Vector n r Source #

(*!!) :: r -> Matrix n m r -> Matrix n m r Source #

(!!*) :: Matrix n m r -> r -> Matrix n m r Source #

rows :: Lens' (Matrix n m r) (Vector n (Vector m r)) Source #

row :: Int -> Matrix n m r -> Maybe (Vector m r) Source #

column :: Int -> Matrix n m r -> Maybe (Vector n r) Source #

(Has_ Vector_ n (Vector m r), Has_ Vector_ m r, Has_ Vector_ n (Vector m s), Has_ Vector_ m s, HasComponents (Vector m r) (Vector m s), HasComponents (Vector n (Vector m r)) (Vector n (Vector m s))) => HasElements (Matrix n m r) (Matrix n m s) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

Methods

elements :: IndexedTraversal1 (Int, Int) (Matrix n m r) (Matrix n m s) (NumType (Matrix n m r)) (NumType (Matrix n m s)) Source #

type Rep (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

type Rep (Matrix n m r) = D1 ('MetaData "Matrix" "HGeometry.Matrix.ByRows" "hgeometry-kernel-1.0.0.0-inplace" 'True) (C1 ('MetaCons "Matrix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector n (Vector m r)))))

type NumType (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

type NumType (Matrix n m r) = r

type Index (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

type Index (Matrix n m r) = (Int, Int)

type IxValue (Matrix n m r) Source #

Instance details

Defined in HGeometry.Matrix.ByRows

type IxValue (Matrix n m r) = r

type OptMatrix_ (d :: Nat) r = (Has_ Additive_ d r, Has_ Vector_ d (Vector d r), Ixed (Vector d r), Ixed (Vector d (Vector d r))) Source #

shorthand for square matrixecs

module HGeometry.Matrix.Class