Idris2Doc : Geom.Matrix

Geom.Matrix

(source)

Definitions

recordMatrix : Type
  A 2x2 matrix of floating point numbers

Totality: total
Visibility: public export
Constructor: 
M : Double->Double->Double->Double->Matrix

Projections:
.x11 : Matrix->Double
.x12 : Matrix->Double
.x21 : Matrix->Double
.x22 : Matrix->Double
.x11 : Matrix->Double
Visibility: public export
x11 : Matrix->Double
Visibility: public export
.x12 : Matrix->Double
Visibility: public export
x12 : Matrix->Double
Visibility: public export
.x21 : Matrix->Double
Visibility: public export
x21 : Matrix->Double
Visibility: public export
.x22 : Matrix->Double
Visibility: public export
x22 : Matrix->Double
Visibility: public export
(+) : Matrix->Matrix->Matrix
  Matrix addition

Visibility: export
Fixity Declaration: infixl operator, level 8
(*) : Matrix->Matrix->Matrix
  Matrix multiplication

Visibility: export
Fixity Declaration: infixl operator, level 9
inverse : Matrix->MaybeMatrix
  Tries to compute the inverse of a matrix

This fails if the determinant of the matrix equals zero.

Visibility: export