Newtype

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

Attributes

Since

2023-12-03

Graph
Supertypes
trait NewtypeBase[A]
class Object
trait Matchable
class Any

Members list

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]

Attributes

Definition Classes
def unapply(typ: Type): Some[A]

Givens

Givens

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

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