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

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
inline def inlinedInvalidReason(inline a: A): String

Inherited methods

override def deriving[M[*]](using fa: M[A]): M[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): Option[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 unwrapM[M[*]]: Coercible[M[Type], M[A]]
Inherited from:
NewtypeBase

Extensions

Inherited extensions

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