syntax

refined4s.syntax
See thesyntax companion trait
object syntax extends syntax

Attributes

Companion
trait
Graph
Supertypes
trait syntax
class Object
trait Matchable
class Any
Self type
syntax.type

Members list

Extensions

Inherited extensions

extension [A](a: A)
inline def coerce[B](using coercible: Coercible[A, B]): B

Attributes

Inherited from:
syntax
inline def refinedTo[T](using refinedCtor: RefinedCtor[T, A]): Either[String, T]

Attributes

Inherited from:
syntax
extension [A, T](a: A)
inline def refinedNewtype[N](using coercible: Coercible[T, N], refinedCtor: RefinedCtor[T, A]): Either[String, N]

Attributes

Inherited from:
syntax