qlinear-0.1.0.0: Typesafe library for linear algebra

Safe HaskellNone
LanguageHaskell2010

QLinear.Matrix

Documentation

data Matrix (m :: Nat) (n :: Nat) a Source #

Instances
Functor (Matrix m n) Source # 
Instance details

Defined in Internal.Matrix

Methods

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

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

Applicative (Matrix m n) Source # 
Instance details

Defined in Internal.Matrix

Methods

pure :: a -> Matrix m n a #

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

liftA2 :: (a -> b -> c) -> Matrix m n a -> Matrix m n b -> Matrix m n c #

(*>) :: Matrix m n a -> Matrix m n b -> Matrix m n b #

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

Eq a => Eq (Matrix m n a) Source # 
Instance details

Defined in Internal.Matrix

Methods

(==) :: Matrix m n a -> Matrix m n a -> Bool #

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

Show a => Show (Matrix m n a) Source # 
Instance details

Defined in Internal.Matrix

Methods

showsPrec :: Int -> Matrix m n a -> ShowS #

show :: Matrix m n a -> String #

showList :: [Matrix m n a] -> ShowS #

ToLinear (Matrix 1 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 1 1 a) :: Type Source #

Methods

toLinear :: Matrix 1 1 a -> L (Matrix 1 1 a) Source #

ToLinear (Matrix 1 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 1 2 a) :: Type Source #

Methods

toLinear :: Matrix 1 2 a -> L (Matrix 1 2 a) Source #

ToLinear (Matrix 1 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 1 3 a) :: Type Source #

Methods

toLinear :: Matrix 1 3 a -> L (Matrix 1 3 a) Source #

ToLinear (Matrix 1 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 1 4 a) :: Type Source #

Methods

toLinear :: Matrix 1 4 a -> L (Matrix 1 4 a) Source #

ToLinear (Matrix 2 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 2 1 a) :: Type Source #

Methods

toLinear :: Matrix 2 1 a -> L (Matrix 2 1 a) Source #

ToLinear (Matrix 2 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 2 2 a) :: Type Source #

Methods

toLinear :: Matrix 2 2 a -> L (Matrix 2 2 a) Source #

ToLinear (Matrix 2 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 2 3 a) :: Type Source #

Methods

toLinear :: Matrix 2 3 a -> L (Matrix 2 3 a) Source #

ToLinear (Matrix 2 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 2 4 a) :: Type Source #

Methods

toLinear :: Matrix 2 4 a -> L (Matrix 2 4 a) Source #

ToLinear (Matrix 3 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 3 1 a) :: Type Source #

Methods

toLinear :: Matrix 3 1 a -> L (Matrix 3 1 a) Source #

ToLinear (Matrix 3 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 3 2 a) :: Type Source #

Methods

toLinear :: Matrix 3 2 a -> L (Matrix 3 2 a) Source #

ToLinear (Matrix 3 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 3 3 a) :: Type Source #

Methods

toLinear :: Matrix 3 3 a -> L (Matrix 3 3 a) Source #

ToLinear (Matrix 3 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 3 4 a) :: Type Source #

Methods

toLinear :: Matrix 3 4 a -> L (Matrix 3 4 a) Source #

ToLinear (Matrix 4 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 4 1 a) :: Type Source #

Methods

toLinear :: Matrix 4 1 a -> L (Matrix 4 1 a) Source #

ToLinear (Matrix 4 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 4 2 a) :: Type Source #

Methods

toLinear :: Matrix 4 2 a -> L (Matrix 4 2 a) Source #

ToLinear (Matrix 4 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 4 3 a) :: Type Source #

Methods

toLinear :: Matrix 4 3 a -> L (Matrix 4 3 a) Source #

ToLinear (Matrix 4 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

Associated Types

type L (Matrix 4 4 a) :: Type Source #

Methods

toLinear :: Matrix 4 4 a -> L (Matrix 4 4 a) Source #

type L (Matrix 1 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 1 1 a) = V1 (V1 a)
type L (Matrix 1 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 1 2 a) = V1 (V2 a)
type L (Matrix 1 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 1 3 a) = V1 (V3 a)
type L (Matrix 1 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 1 4 a) = V1 (V4 a)
type L (Matrix 2 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 2 1 a) = V2 (V1 a)
type L (Matrix 2 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 2 2 a) = V2 (V2 a)
type L (Matrix 2 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 2 3 a) = V2 (V3 a)
type L (Matrix 2 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 2 4 a) = V2 (V4 a)
type L (Matrix 3 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 3 1 a) = V3 (V1 a)
type L (Matrix 3 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 3 2 a) = V3 (V2 a)
type L (Matrix 3 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 3 3 a) = V3 (V3 a)
type L (Matrix 3 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 3 4 a) = V3 (V4 a)
type L (Matrix 4 1 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 4 1 a) = V4 (V1 a)
type L (Matrix 4 2 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 4 2 a) = V4 (V2 a)
type L (Matrix 4 3 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 4 3 a) = V4 (V3 a)
type L (Matrix 4 4 a) Source # 
Instance details

Defined in QLinear.Integration.Linear.To

type L (Matrix 4 4 a) = V4 (V4 a)

type Vector n a = Matrix n 1 a Source #

size :: Integral b => Matrix m n a -> (b, b) Source #

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