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[M[*]](using fa: M[A]): M[Type]
Definition Classes
def unapply(typ: Type): Option[A]

Givens

Givens

given wrap: Coercible[A, Type]
given wrapM[M[*]]: Coercible[M[A], M[Type]]

Inherited givens

given newRefinedCanEqual: CanEqual[Type, Type]
Inherited from:
NewtypeBase
given unwrap: Coercible[Type, A]
Inherited from:
NewtypeBase
given unwrapM[M[*]]: Coercible[M[Type], M[A]]
Inherited from:
NewtypeBase

Extensions

Extensions

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