Iron
3.3.2-1-3dc0d8-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/io.github.iltotore.iron.constraint/numeric/Multiple

Multiple

io.github.iltotore.iron.constraint.numeric.Multiple
See theMultiple companion class
object Multiple

Attributes

Companion
class
Source
numeric.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Multiple.type

Members list

Givens

Givens

given `given_==>_Multiple_Multiple`[A, V1 <: A, V2 <: A](using (V1 % V2) =:= Zero[A]): Implication[Multiple[V1], Multiple[V2]]

Attributes

Source
numeric.scala
inline given given_MultipleConstraint_A_V[A <: NumConstant, V <: NumConstant]: given_MultipleConstraint_A_V[A, V]

Attributes

Source
numeric.scala
inline given given_MultipleConstraint_BigDecimal_V[V <: NumConstant]: given_MultipleConstraint_BigDecimal_V[V]

Attributes

Source
numeric.scala
inline given given_MultipleConstraint_BigInt_V[V <: Int | Long]: given_MultipleConstraint_BigInt_V[V]

Attributes

Source
numeric.scala
Generated with