NewtypeBase

refined4s.NewtypeBase
trait NewtypeBase[A]

Attributes

Since

2023-12-03

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

type Type

Value members

Abstract methods

def deriving[F[*]](using fa: F[A]): F[Type]

Givens

Givens

given newRefinedCanEqual: CanEqual[Type, Type]
inline given unwrap: Coercible[Type, A]
inline given unwrapTC[F[*]]: Coercible[F[Type], F[A]]

Extensions

Extensions

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