Numeric

refined4s.types.numeric.Numeric
trait Numeric[A] extends Refined[A], CanBeOrdered[A]

Attributes

Graph
Supertypes
trait CanBeOrdered[A]
trait Refined[A]
trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
object NegByte
object NegDouble
object NegFloat
object NegInt
object NegLong
object NegShort
object NonNegByte
object NonNegDouble
object NonNegFloat
object NonNegInt
object NonNegLong
object NonNegShort
object NonPosByte
object NonPosDouble
object NonPosFloat
object NonPosInt
object NonPosLong
object NonPosShort
object PosByte
object PosDouble
object PosFloat
object PosInt
object PosLong
object PosShort
Show all

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

Inherited methods

inline def apply(a: A): Type

Attributes

Inherited from:
Refined
override def deriving[F[*]](using fa: F[A]): F[Type]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
RefinedBase

Inherited and Abstract methods

def invalidReason(a: A): String

Attributes

Inherited from:
RefinedBase
def predicate(a: A): Boolean

Attributes

Inherited from:
RefinedBase

Givens

Inherited givens

given derivedOrdering: Ordering[Type]

Attributes

Inherited from:
CanBeOrdered

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, A]

Attributes

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

Attributes

Inherited from:
NewtypeBase

Extensions

Inherited extensions

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

Attributes

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

Attributes

Definition Classes
Inherited from:
RefinedBase