refined4s-core/refined4s.types/numeric/NonNegBigInt

NonNegBigInt

@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.Overloading")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
object NonNegBigInt extends InlinedNumeric[BigInt]
trait InlinedNumeric[BigInt]
trait InlinedRefined[BigInt]
trait RefinedBase[BigInt]
trait NewtypeBase[BigInt]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

object numericToOrdered extends Conversion[Type, Ordered[Type]]
Inherited from:
InlinedNumeric

Inherited types

override opaque type Type
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: String): Type
inline override def inlinedPredicate(inline a: BigInt): Boolean
Definition Classes
override def invalidReason(a: BigInt): String
Definition Classes
override def predicate(a: BigInt): Boolean
Definition Classes

Inherited methods

inline def apply(inline a: BigInt): Type
Inherited from:
InlinedRefined
override def deriving[M[*]](using fa: M[BigInt]): M[Type]
Definition Classes
Inherited from:
RefinedBase
inline def expectedMessage(expected: String): String
Inherited from:
RefinedBase
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ToString")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
def from(a: BigInt): Either[String, Type]
Inherited from:
RefinedBase
inline def inlinedInvalidReason(inline a: BigInt): String
Inherited from:
InlinedRefined
def unapply(typ: Type): Option[BigInt]
Inherited from:
RefinedBase
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.Throw")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
def unsafeFrom(a: BigInt): Type
Inherited from:
RefinedBase

Givens

Inherited givens

given given_RefinedCtor_Type_A: given_RefinedCtor_Type_A
Inherited from:
RefinedBase
given newRefinedCanEqual: CanEqual[Type, Type]
Inherited from:
NewtypeBase
given numericOrdering: Ordering[Type]
Inherited from:
InlinedNumeric
given unwrap: Coercible[Type, A]
Inherited from:
NewtypeBase
given unwrapM[M[*]]: Coercible[M[Type], M[A]]
Inherited from:
NewtypeBase

Extensions

Inherited extensions

extension (typ: Type)
inline override def value: BigInt
Definition Classes
Inherited from:
RefinedBase