refined4s-cats/refined4s.modules.cats/syntax

syntax

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

Value members

Inherited methods

inline def contraCoercible[F[*], A, B](inline fb: F[B])(using contravariant: Contravariant[F], coercible: Coercible[A, B]): F[A]
Inherited from:
syntax

Extensions

Inherited extensions

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