refined4s-core/refined4s.types/numeric/InlinedNumeric

InlinedNumeric

trait InlinedNumeric[A] extends InlinedRefined[A] with CanBeOrdered[A]
trait CanBeOrdered[A]
trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
object NegBigDecimal.type
object NegBigInt.type
object NonNegBigDecimal.type
object NonNegBigInt.type
object NonPosBigDecimal.type
object NonPosBigInt.type
object PosBigDecimal.type
object PosBigInt.type

Type members

Inherited classlikes

object derivedToOrdered extends Conversion[Type, Ordered[Type]]
Inherited from:
CanBeOrdered

Inherited types

override opaque type Type
Inherited from:
RefinedBase

Value members

Inherited methods

inline def apply(inline a: A): Type
Inherited from:
InlinedRefined
override def deriving[F[*]](using fa: F[A]): F[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: A): Either[String, Type]
Inherited from:
RefinedBase
inline def inlinedPredicate(inline a: A): Boolean
Inherited from:
InlinedRefined
def invalidReason(a: A): String
Inherited from:
RefinedBase
def predicate(a: A): Boolean
Inherited from:
RefinedBase
def unapply(typ: Type): Some[A]
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: A): Type
Inherited from:
RefinedBase

Inherited fields

inline val inlinedExpectedValue: String
Inherited from:
InlinedRefined

Givens

Inherited givens

given derivedOrdering: Ordering[Type]
Inherited from:
CanBeOrdered
given given_RefinedCtor_Type_A: given_RefinedCtor_Type_A
Inherited from:
RefinedBase
given newRefinedCanEqual: CanEqual[Type, Type]
Inherited from:
NewtypeBase
given unwrap: Coercible[Type, A]
Inherited from:
NewtypeBase
given unwrapTC[F[*]]: Coercible[F[Type], F[A]]
Inherited from:
NewtypeBase

Extensions

Inherited extensions

extension [B](typ: Type)
def toValue(using coercibleA2B: Coercible[A, B]): B
Inherited from:
NewtypeBase
extension (typ: Type)
inline override def value: A
Definition Classes
Inherited from:
RefinedBase