QLinear.Identity

Documentation

e :: forall n a. (KnownNat n, HasIdentity a) => Identity n a

Polymirphic identity matrix

Identity matrix can udjust to other matrix with known size. If size is unknown, just set it yourself

>>> e :: Identity 4 Int
[1,0,0,0]
[0,1,0,0]
[0,0,1,0]
[0,0,0,1]
>>> e ~+~ [matrix| 1 2; 3 4 |]
[2,2]
[3,5]

type Identity n a = Matrix n n a

class HasIdentity a where

Methods

zero :: a

one :: a

Instances

Num a => HasIdentity a

Defined in QLinear.Identity

Methods

zero :: a

one :: a