matr-api/matr/Matrix/Requirements

Requirements

object Requirements
class Object
trait Matchable
class Any

Type members

Types

type IsSquare[R <: Int, C <: Int] = R == C =:= true

Validates at compile-time that the specified Matrix dimensions form a squared Matrix.

Validates at compile-time that the specified Matrix dimensions form a squared Matrix.

type NonNegativeDimensions[R <: Int, C <: Int] = R > 0 && C > 0 =:= true

Validates at compile-time that the specified Matrix dimensions are non-negative.

Validates at compile-time that the specified Matrix dimensions are non-negative.

type PositionWithinShape[RowIdx <: Int, ColIdx <: Int, R <: Int, C <: Int] = RowIdx >= 0 && RowIdx < R && ColIdx >= 0 && ColIdx < C =:= true

Validates at compile-time that the specified row and column index are within the given Matrix dimensions.

Validates at compile-time that the specified row and column index are within the given Matrix dimensions.

Value members

Concrete methods

def positionWithinShape(rowIdx: Int, colIdx: Int, rowDim: Int, colDim: Int): Unit

Validates that the specified row and column index are within the given Matrix dimensions.

Validates that the specified row and column index are within the given Matrix dimensions.