refined4s-core/refined4s/InlinedRefined

InlinedRefined

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

2023-08-12

trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
object Uri.type
object Url.type
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 Uuid.type

Type members

Inherited types

override opaque type Type
Inherited from:
RefinedBase

Value members

Abstract methods

inline def inlinedPredicate(inline a: A): Boolean

Concrete methods

inline def apply(inline 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

Abstract fields

inline val inlinedExpectedValue: String

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