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

InlinedNumeric

refined4s.types.numeric.InlinedNumeric
trait InlinedNumeric[A] extends InlinedRefined[A], CanBeOrdered[A]

Attributes

Graph
Supertypes
trait CanBeOrdered[A]
trait InlinedRefined[A]
trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
object NegBigDecimal
object NegBigInt
object NonNegBigInt
object NonPosBigInt
object PosBigDecimal
object PosBigInt
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(inline a: A): Type

Attributes

Inherited from:
InlinedRefined
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

inline def inlinedPredicate(inline a: A): Boolean

Attributes

Inherited from:
InlinedRefined
def invalidReason(a: A): String

Attributes

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

Attributes

Inherited from:
RefinedBase

Inherited and Abstract fields

inline val inlinedExpectedValue: String

Attributes

Inherited from:
InlinedRefined

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, 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
Generated with