RefinedBase

trait RefinedBase[A] extends NewtypeBase[A]
Since:

2022-03-23

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
object Uri.type
trait Refined[A]
object DynamicPortNumber.type
object NonEmptyString.type
trait Numeric[A]
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
object PortNumber.type
object SystemPortNumber.type
object UserPortNumber.type

Type members

Types

override opaque type Type

Value members

Abstract methods

def invalidReason(a: A): String
def predicate(a: A): Boolean

Concrete methods

override def deriving[M[*]](using fa: M[A]): M[Type]
Definition Classes
inline def expectedMessage(expected: String): String
@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]
def unapply(typ: Type): Option[A]
@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

Givens

Givens

given given_RefinedCtor_Type_A: given_RefinedCtor_Type_A

Inherited givens

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

Extensions

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