Module

Data.Matrix.Reps

Package
purescript-sized-matrices
Repository
csicar/purescript-sized-matrices

#emptyRow Source

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

#empty Source

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

#matrix00 Source

matrix00 :: forall a. Matrix D0 D0 a

#singleton Source

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

#row1 Source

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

#matrix11 Source

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

#row2 Source

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

#matrix12 Source

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

#row3 Source

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

#matrix13 Source

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

#matrix21 Source

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

#matrix22 Source

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

#matrix23 Source

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

#matrix31 Source

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

#matrix32 Source

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

#matrix33 Source

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