trait syntax
- Since:
2023-12-06
- Companion:
- object
Value members
Concrete methods
inline def contraCoercible[F[*], A, B](inline fb: F[B])(using contravariant: Contravariant[F], coercible: Coercible[A, B]): F[A]
Extensions
Extensions
extension [A, T](a: A)
inline def validateAs[N](using coercible: Coercible[T, N], refinedCtor: RefinedCtor[T, A]): EitherNec[String, N]