InlinedRefined

refined4s.InlinedRefined
trait InlinedRefined[A] extends RefinedBase[A]

Attributes

Since

2023-08-12

Graph
Supertypes
trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
Known subtypes
object Uri
object Url
trait InlinedNumeric[A]
object NegBigDecimal
object NegBigInt
object NonNegBigInt
object NonPosBigInt
object PosBigDecimal
object PosBigInt
object Uuid
Show all

Members list

Type members

Inherited and Abstract types

override opaque type Type

Attributes

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]

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

def invalidReason(a: A): String

Attributes

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

Attributes

Inherited from:
RefinedBase

Abstract fields

inline val inlinedExpectedValue: String

Givens

Inherited givens

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