Numeric

trait Numeric[A] extends Refined[A]
trait Refined[A]
trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
object NegByte.type
object NegDouble.type
object NegFloat.type
object NegInt.type
object NegLong.type
object NegShort.type
object NonNegByte.type
object NonNegDouble.type
object NonNegFloat.type
object NonNegInt.type
object NonNegLong.type
object NonNegShort.type
object NonPosByte.type
object NonPosDouble.type
object NonPosFloat.type
object NonPosInt.type
object NonPosLong.type
object NonPosShort.type
object PosByte.type
object PosDouble.type
object PosFloat.type
object PosInt.type
object PosLong.type
object PosShort.type

Type members

Classlikes

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

Inherited types

override opaque type Type
Inherited from:
RefinedBase

Value members

Inherited methods

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

Givens

Givens

given numericOrdering: Ordering[Type]

Inherited givens

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 unwrapM[M[*]]: Coercible[M[Type], M[A]]
Inherited from:
NewtypeBase

Extensions

Inherited extensions

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