refined4s-core/refined4s/Newtype

Newtype

trait Newtype[A] extends NewtypeBase[A]
Since:

2023-12-03

trait NewtypeBase[A]
class Object
trait Matchable
class Any

Type members

Types

override opaque type Type

Value members

Concrete methods

def apply(a: A): Type
override def deriving[F[*]](using fa: F[A]): F[Type]
Definition Classes
def unapply(typ: Type): Some[A]

Givens

Givens

given wrap: Coercible[A, Type]
given wrapTC[F[*]]: Coercible[F[A], F[Type]]

Inherited givens

given newRefinedCanEqual: CanEqual[Type, Type]
Inherited from:
NewtypeBase
given unwrap: Coercible[Type, A]
Inherited from:
NewtypeBase
given unwrapTC[F[*]]: Coercible[F[Type], F[A]]
Inherited from:
NewtypeBase

Extensions

Extensions

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

Inherited extensions

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