Module

Data.Matrix.Reps

#emptyRow 

emptyRow :: forall a w. Nat w => Matrix D0 w a

#empty 

empty :: forall a h. Nat h => Matrix h D0 a

#matrix00 

matrix00 :: forall a. Matrix D0 D0 a

#singleton 

singleton :: forall a. a -> Matrix D1 D1 a

#row1 

row1 :: forall a. a -> Matrix D1 D1 a

#matrix11 

matrix11 :: forall a. a -> Matrix D1 D1 a

#row2 

row2 :: forall a. a -> a -> Matrix D1 D2 a

#matrix12 

matrix12 :: forall a. a -> a -> Matrix D1 D2 a

#row3 

row3 :: forall a. a -> a -> a -> Matrix D1 D3 a

#matrix13 

matrix13 :: forall a. a -> a -> a -> Matrix D1 D3 a

#matrix21 

matrix21 :: forall a. a -> a -> Matrix D2 D1 a

#matrix22 

matrix22 :: forall a. a -> a -> a -> a -> Matrix D2 D2 a

#matrix23 

matrix23 :: forall a. a -> a -> a -> a -> a -> a -> Matrix D2 D3 a

#matrix31 

matrix31 :: forall a. a -> a -> a -> Matrix D3 D1 a

#matrix32 

matrix32 :: forall a. a -> a -> a -> a -> a -> a -> Matrix D3 D2 a

#matrix33 

matrix33 :: forall a. a -> a -> a -> a -> a -> a -> a -> a -> a -> Matrix D3 D3 a

Modules