trait Submatrix[RowIdxTL <: Int, ColIdxTL <: Int, RowIdxBR <: Int, ColIdxBR <: Int, R <: Int, C <: Int, T](using `x$1`: RowIdxTL >= 0 && RowIdxTL + 1 < R && ColIdxTL >= 0 && ColIdxTL + 1 < C && RowIdxBR >= RowIdxTL && RowIdxBR < R && ColIdxBR >= ColIdxTL && ColIdxBR < C =:= true)(using `x$2`: RowIdxBR - RowIdxTL + 1 > 0 && ColIdxBR - ColIdxTL + 1 > 0 =:= true)
Type class for getting the submatrix of a Matrix.
Type class for getting the submatrix of a Matrix.
- Type Params
- C
Column dimension of the original Matrix
- ColIdxBR
Column index of the element that should become the bottom-right element of the submatrix
- ColIdxTL
Column index of the element that should become the top-left element of the submatrix
- R
Row dimension of the original Matrix
- RowIdxBR
Row index of the element that should become the bottom-right element of the submatrix
- RowIdxTL
Row index of the element that should become the top-left element of the submatrix
- T
Element type of the Matrix
- Companion
- object
class Object
trait Matchable
class Any