Data.Array.Knead.Arithmetic.LinearAlgebra

Documentation

type Scalar p coll a = Array p coll a

type Vector p coll dim a = Array p (coll, dim) a

type Matrix p coll rows cols a = Array p (coll, (rows, cols)) a

type PhysScalar coll a = Array coll a

type PhysVector coll dim a = Array (coll, dim) a

type PhysMatrix coll rows cols a = Array (coll, (rows, cols)) a

type IOScalar p coll a = IO (p -> IO (PhysScalar coll a))

type IOVector p coll dim a = IO (p -> IO (PhysVector coll dim a))

type IOMatrix p coll rows cols a = IO (p -> IO (PhysMatrix coll rows cols a))

dotProduct :: (C coll, C dim, PseudoRing a) => Vector p coll dim a -> Vector p coll dim a -> Scalar p coll a

outer :: (C coll, C rows, C cols, PseudoRing a) => Vector p coll rows a -> Vector p coll cols a -> Matrix p coll rows cols a

multiplyMatrixVector :: (C coll, C rows, C cols, PseudoRing a) => Matrix p coll rows cols a -> Vector p coll cols a -> Vector p coll rows a

multiplyMatrixMatrix :: (C coll, C rows, C glue, C cols, PseudoRing a) => Matrix p coll rows glue a -> Matrix p coll glue cols a -> Matrix p coll rows cols a

matrixInverseNewtonStepNaive :: (C coll, C rows, C cols, PseudoRing a) => Matrix p coll rows cols a -> Matrix p coll cols rows a -> Matrix p coll cols rows a

matrixInverseNewtonStep :: (C coll, C rows, C cols, PseudoRing a, C a, Storable a, C rows, Storable rows, C cols, Storable cols, C coll, Storable coll, Struct rows ~ rowsstruct, IsSized rowsstruct, Struct cols ~ colsstruct, IsSized colsstruct, Struct coll ~ collstruct, IsSized collstruct) => Matrix p coll rows cols a -> Matrix p coll cols rows a -> IOMatrix p coll cols rows a

nest :: (Integral i, Monad m) => i -> (a -> m a) -> a -> m a

matrixInverseNewton :: (C coll, C rows, C cols, PseudoRing a, C a, Storable a, C rows, Storable rows, C cols, Storable cols, C coll, Storable coll, Struct rows ~ rowsstruct, IsSized rowsstruct, Struct cols ~ colsstruct, IsSized colsstruct, Struct coll ~ collstruct, IsSized collstruct) => Int -> Matrix p coll rows cols a -> Matrix p coll cols rows a -> IOMatrix p coll cols rows a

double :: Additive a => Exp a -> Exp a

transpose :: (C coll, C rows, C cols) => Matrix p coll rows cols a -> Matrix p coll cols rows a

scaleRows :: (C coll, C rows, C cols, PseudoRing a) => Vector p coll rows a -> Matrix p coll rows cols a -> Matrix p coll rows cols a

balanceLeft :: Value val => val (a, (b, c)) -> val ((a, b), c)

balanceRight :: Value val => val ((a, b), c) -> val (a, (b, c))