syntax

refined4s.syntax
See thesyntax companion object
trait syntax

Attributes

Since

2023-12-02

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax

Members list

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]