refined4s-core/refined4s/syntax

syntax

trait syntax
Since:

2023-12-02

Companion:
object
class Object
trait Matchable
class Any
object syntax.type

Extensions

Extensions

extension [A](a: A)
inline def coerce[B](using coercible: Coercible[A, B]): B
inline def refinedTo[T](using refinedCtor: RefinedCtor[T, A]): Either[String, T]
extension [A, T](a: A)
inline def refinedNewtype[N](using coercible: Coercible[T, N], refinedCtor: RefinedCtor[T, A]): Either[String, N]
extension [N, T, A](nt: N)
def toValue(using coercible1: Coercible[N, T], coercible2: Coercible[T, A]): A