RefinedBase

refined4s.RefinedBase
opaque trait RefinedBase[A] extends NewtypeBase[A]

Attributes

Since

2022-03-23

Graph
Supertypes
trait NewtypeBase[A]
class Object
trait Matchable
class Any
Known subtypes
trait InlinedRefined[A]
object Uri
object Url
trait InlinedNumeric[A]
object NegBigDecimal
object NegBigInt
object NonNegBigInt
object NonPosBigInt
object PosBigDecimal
object PosBigInt
object Uuid
trait Refined[A]
object PortNumber
trait Numeric[A]
object NegByte
object NegDouble
object NegFloat
object NegInt
object NegLong
object NegShort
object NonNegByte
object NonNegDouble
object NonNegFloat
object NonNegInt
object NonNegLong
object NonNegShort
object NonPosByte
object NonPosDouble
object NonPosFloat
object NonPosInt
object NonPosLong
object NonPosShort
object PosByte
object PosDouble
object PosFloat
object PosInt
object PosLong
object PosShort
Show all

Members list

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[F[*]](using fa: F[A]): F[Type]

Attributes

Definition Classes
inline def expectedMessage(expected: String): String
def from(a: A): Either[String, Type]
def unapply(typ: Type): Some[A]
def unsafeFrom(a: A): Type

Givens

Givens

inline given given_RefinedCtor_Type_A: given_RefinedCtor_Type_A

Inherited givens

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

Extensions

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

Attributes

Definition Classes

Inherited extensions

extension [B](typ: Type)
def toValue(using coercibleA2B: Coercible[A, B]): B

Attributes

Inherited from:
NewtypeBase