Requirements

matr.Matrix.Requirements
object Requirements

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes