Data.Metrology.Linear

Term-level combinators

Additive operations

zeroV

(|^+^|)

(|^-^|)

qNegateV

qSumV

Multiplicative operations

(|*^|)

(|^*|)

(|^/|)

(*^|)

(|^*)

(|^/)

(|.|)

Vector-space operations

qBasis

qBasisFor

qScaled

qOuter

qUnit

qQuadrance

qNorm

qSignorm

qProject

qCross

Affine operations

(|.-.|)

(|.+^|)

(|.-^|)

qQd

qDistance

qQdA

qDistanceA

Nondimensional units, conversion between quantities and numeric values

numInV

(^#)

quOfV

(^%)

showInV

convertV

constantV