Refined

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

Attributes

Since

2022-03-23

Graph
Supertypes
trait RefinedBase[A]
trait NewtypeBase[A]
class Object
trait Matchable
class Any
Known subtypes
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

Inherited and Abstract types

override opaque type Type

Attributes

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]

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

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