refined4s-core
API
Generated with
refined4s-core/refined4s/refined4s.types/numeric/NonNegBigDecimal

NonNegBigDecimal

refined4s.types.numeric.NonNegBigDecimal
object NonNegBigDecimal extends InlinedNumeric[BigDecimal]

Attributes

Graph
Supertypes
trait InlinedNumeric[BigDecimal]
trait InlinedRefined[BigDecimal]
trait RefinedBase[BigDecimal]
trait NewtypeBase[BigDecimal]
trait CanBeOrdered[BigDecimal]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited classlikes

object derivedToOrdered extends Conversion[Type, Ordered[Type]]

Attributes

Inherited from:
CanBeOrdered
Supertypes
class Conversion[Type, Ordered[Type]]
trait Type => Ordered[Type]
class Object
trait Matchable
class Any

Inherited and Abstract types

override opaque type Type

Attributes

Inherited from:
RefinedBase

Value members

Concrete methods

inline def apply(inline a: Int): Type
inline def apply(inline a: Long): Type
inline def apply(inline a: Float): Type
inline def apply(inline a: Double): Type
inline def apply(inline a: String): Type
inline override def inlinedPredicate(inline a: BigDecimal): Boolean

Attributes

Definition Classes
inline override def invalidReason(a: BigDecimal): String

Attributes

Definition Classes
override def predicate(a: BigDecimal): Boolean

Attributes

Definition Classes

Inherited methods

inline def apply(inline a: BigDecimal): Type

Attributes

Inherited from:
InlinedRefined
override def deriving[F[*]](using fa: F[BigDecimal]): F[Type]

Attributes

Definition Classes
Inherited from:
RefinedBase
inline def expectedMessage(expected: String): String

Attributes

Inherited from:
RefinedBase
def from(a: BigDecimal): Either[String, Type]

Attributes

Inherited from:
RefinedBase
def unapply(typ: Type): Some[BigDecimal]

Attributes

Inherited from:
RefinedBase
def unsafeFrom(a: BigDecimal): Type

Attributes

Inherited from:
RefinedBase

Concrete fields

inline override val inlinedExpectedValue: "a non-negative BigDecimal"

Givens

Inherited givens

given derivedOrdering: Ordering[Type]

Attributes

Inherited from:
CanBeOrdered
given derivedToOrdered: derivedToOrdered

Attributes

Inherited from:
CanBeOrdered
inline given given_RefinedCtor_Type_A: given_RefinedCtor_Type_A

Attributes

Inherited from:
RefinedBase
given newRefinedCanEqual: CanEqual[Type, Type]

Attributes

Inherited from:
NewtypeBase
inline given unwrap: Coercible[Type, BigDecimal]

Attributes

Inherited from:
NewtypeBase
inline given unwrapTC[F[*]]: Coercible[F[Type], F[BigDecimal]]

Attributes

Inherited from:
NewtypeBase

Extensions

Inherited extensions

extension [B](typ: Type)
def toValue(using coercibleA2B: Coercible[BigDecimal, B]): B

Attributes

Inherited from:
NewtypeBase
extension (typ: Type)
inline override def value: BigDecimal

Attributes

Definition Classes
Inherited from:
RefinedBase
Generated with