Safe Haskell	None
Language	Haskell2010

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 #