fields-cats/jap.fields/CatsInterop

CatsInterop

object CatsInterop extends CatsInteropInstances
class Object
trait Matchable
class Any

Type members

Classlikes

object DefaultValidatedNecVM extends ValidatedNecVM[Sync, ValidationError]

Default ValidationModule where:

Default ValidationModule where:

object DefaultValidatedNelVM extends ValidatedNelVM[Sync, ValidationError]

Default ValidationModule where:

Default ValidationModule where:

abstract class ValidatedNecVM[F[_], E] extends ValidationModule[F, ValidatedNecUnit, E]

Base trait for ValidationModule where jap.fields.ValidationResult is Validated[NonEmptyChain[E], Unit]

Base trait for ValidationModule where jap.fields.ValidationResult is Validated[NonEmptyChain[E], Unit]

abstract class ValidatedNelVM[F[_], E] extends ValidationModule[F, ValidatedNelUnit, E]

Base trait for ValidationModule where jap.fields.ValidationResult is Validated[NonEmptyList[E], Unit]

Base trait for ValidationModule where jap.fields.ValidationResult is Validated[NonEmptyList[E], Unit]

Inherited classlikes

class FromCatsValidated[L[_]](implicit A: Applicative[L], SK: SemigroupK[L], F: Foldable[L]) extends AccumulateLike[[_] =>> ValidatedUK[L, _$4]]

ValidationResult instance for cats.data.Validated where error is collection type like cats.data.NonEmptyList or cats.data.NonEmptyChain

ValidationResult instance for cats.data.Validated where error is collection type like cats.data.NonEmptyList or cats.data.NonEmptyChain

Inherited from:
CatsInteropInstances0

Inherited types

type ValidatedUK[L[_], E] = Validated[L[E], Unit]
Inherited from:
CatsInteropInstances0

Implicits

Implicits

implicit def fromCatsMonadDefer[F[_] : Defer]: ValidationEffect[F]

jap.fields.ValidationEffect instance for any F[_] that has cats.Monad and cats.Defer instances

jap.fields.ValidationEffect instance for any F[_] that has cats.Monad and cats.Defer instances

Inherited implicits