Refined

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

2022-03-23

trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
object DynamicPortNumber.type
object PortNumber.type
object SystemPortNumber.type
object UserPortNumber.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 NonEmptyString.type

Type members

Inherited types

override opaque type Type
Inherited from:
RefinedBase

Value members

Concrete methods

inline def apply(a: A): Type

Inherited methods

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
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

Givens

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 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