iron
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
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
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Givens

Givens

given `given_==>_Multiple_Multiple`[A, V1 <: A, V2 <: A](using V1 % V2 =:= Zero[A]): Implication[Multiple[V1], Multiple[V2]]
inline given given_MultipleConstraint_Double_V[V <: NumConstant]: given_MultipleConstraint_Double_V[V]
inline given given_MultipleConstraint_Float_V[V <: NumConstant]: given_MultipleConstraint_Float_V[V]
inline given given_MultipleConstraint_Int_V[V <: NumConstant]: given_MultipleConstraint_Int_V[V]
inline given given_MultipleConstraint_Long_V[V <: NumConstant]: given_MultipleConstraint_Long_V[V]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL