CatsInterop

class Object
trait Matchable
class Any

Type members

Types

type ValidatedUK[L[_], E] = Validated[L[E], Unit]

Implicits

Implicits

implicit def fromCatsMonadDefer[F[_] : Defer]: ValidationEffect[F]
implicit def fromCatsValidated[L[_] : Foldable]: ValidationResult[[_] =>> ValidatedUK[L, _$4]]