MDM - Mambelli Domain Model/API/dev.atedeg.mdm.utils

dev.atedeg.mdm.utils

package dev.atedeg.mdm.utils

Type members

Classlikes

trait Ceil[N]
Companion:
object
object Ceil
Companion:
class
trait Distance[N]
Companion:
object
object Distance
Companion:
class
trait Div[N]
Companion:
object
object Div
Companion:
class
trait Minus[N]
Companion:
object
object Minus
Companion:
class
trait Plus[N]
Companion:
object
object Plus
Companion:
class
trait Times[N]
Companion:
object
object Times
Companion:
class
object given_Ceil_Double extends Ceil[Double]
object given_Conversion_PositiveDecimal_NonNegativeDecimal extends Conversion[PositiveDecimal, NonNegativeDecimal]
object given_Conversion_PositiveNumber_NonNegativeNumber extends Conversion[PositiveNumber, NonNegativeNumber]
object given_Div_Int extends Div[Int]
object refinedTimesPercentage extends Times[Percentage]

Types

type DecimalInClosedRange[L, U] = Refined[Double, Closed[L, U]]
type DecimalInOpenClosedRange[L, U] = Refined[Double, OpenClosed[L, U]]
type NonNegativeDecimal = Refined[Double, NonNegative]
type NonNegativeNumber = Refined[Int, NonNegative]
type Percentage = DecimalInClosedRange[0.0d, 1.0d]
type PositiveDecimal = Refined[Double, Positive]
type PositiveNumber = Refined[Int, Positive]

Value members

Concrete methods

@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
def coerce[A, P](a: A)(using Validate[A, P]): Refined[A, P]
def max[A : Order](a1: A, a2: A): A

Givens

Givens

given given_Ceil_Refined[N, P <: Positive | NonNegative : ValidFor[N]](implicit evidence$5: ValidFor[N][P], C: Ceil[N]): given_Ceil_Refined[N, P]
given given_Distance_N[N](using N: Numeric[N]): given_Distance_N[N]
given given_Div_N[N : Fractional]: given_Div_N[N]
given given_Minus_N[N : Numeric]: given_Minus_N[N]
given given_Plus_N[N : Numeric]: given_Plus_N[N]
given given_Times_N[N : Numeric]: given_Times_N[N]
given refinedDistance[N, P <: NonNegative : ValidFor[N]](implicit evidence$16: ValidFor[N][P], D: Distance[N]): refinedDistance[N, P]
given refinedDivFloat[P <: Positive | NonNegative : ValidFor[Double]]: refinedDivFloat[P]
given refinedDivInt[P <: NonNegative : ValidFor[Int]]: refinedDivInt[P]
given refinedEq[N : Eq, P]: refinedEq[N, P]
given refinedMinus[N : Numeric, P <: NonNegative : ValidFor[N]](implicit evidence$14: Numeric[N], evidence$15: ValidFor[N][P], Op: Minus[N]): refinedMinus[N, P]
given refinedOrd[N : Order, P]: refinedOrd[N, P]
given refinedOrdering[N : Ordering, P]: refinedOrdering[N, P]
given refinedPlus[N, P <: Positive | NonNegative : ValidFor[N]](implicit evidence$10: ValidFor[N][P], Op: Plus[N]): refinedPlus[N, P]
given refinedTimes[N, P <: Positive | NonNegative : ValidFor[N]](implicit evidence$11: ValidFor[N][P], Op: Times[N]): refinedTimes[N, P]

Extensions

Extensions

extension [A](a: A)
def |>[B](f: A => B): B
extension [P <: Positive | NonNegative](d: Refined[Double, P])
def toNumber(implicit evidence$4: ValidFor[Double][P]): NonNegativeNumber
extension (n: Percentage)
extension (n: DecimalInClosedRange[0.0d, 100.0d])
extension [N](n: Refined[N, Positive])
def toNonNegative(implicit evidence$1: Numeric[N]): Refined[N, NonNegative]
extension [N](n: N)
def refined[P : ValidFor[N]]: Either[String, Refined[N, P]]
extension [N, P <: Positive | NonNegative](n: Refined[N, P])
def toDecimal(implicit evidence$2: ValidFor[N][P], evidence$3: ValidFor[Double][P], N: Numeric[N]): Refined[Double, P]

Implicits

Implicits

@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ImplicitConversion", "org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
implicit inline def doubleToNonNegativeDecimal(inline d: Double): NonNegativeDecimal
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ImplicitConversion", "org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
implicit inline def doubleToNumberInOpenClosedRange[L <: Double & Singleton, U <: Double & Singleton](inline d: Double): DecimalInOpenClosedRange[L, U]
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ImplicitConversion", "org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
implicit inline def doubleToNumberInRange[L <: Double & Singleton, U <: Double & Singleton](inline d: Double): DecimalInClosedRange[L, U]
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ImplicitConversion", "org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
implicit inline def doubleToPositiveDecimal(inline d: Double): PositiveDecimal
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ImplicitConversion", "org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
implicit inline def intToNonNegativeNumber(inline i: Int): NonNegativeNumber
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ImplicitConversion", "org.wartremover.warts.OptionPartial")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
implicit inline def intToPositiveNumber(inline i: Int): PositiveNumber