Geom.Matrix

Definitions

record Matrix : 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 -> Maybe Matrix

  Tries to compute the inverse of a matrix
  
  This fails if the determinant of the matrix equals zero.

Visibility: export