Fields/jap.fields/CatsInterop

CatsInterop

object CatsInterop extends CatsInteropInstances
Source:
CatsInterop.scala
class Object
trait Matchable
class Any

Type members

Classlikes

object DefaultValidatedNecVM extends DefaultValidatedNecVM
Companion:
class
Source:
CatsInterop.scala
trait DefaultValidatedNecVM extends ValidatedNecVM[Eval, ValidationError] with CanFailWithValidationError with EvalCanRunSync

Default ValidationModule where:

Default ValidationModule where:

  • Effect is cats.Eval
  • Validated is Validated[NonEmptyChain[E], Unit]
  • Error is ValidationError
Companion:
object
Source:
CatsInterop.scala
object DefaultValidatedNelVM extends DefaultValidatedNelVM
Companion:
class
Source:
CatsInterop.scala
trait DefaultValidatedNelVM extends ValidatedNelVM[Eval, ValidationError] with CanFailWithValidationError with EvalCanRunSync

Default ValidationModule where:

Default ValidationModule where:

  • Effect is cats.Eval
  • Validated is Validated[NonEmptyList[E], Unit]
  • Error is ValidationError
Companion:
object
Source:
CatsInterop.scala
trait EvalCanRunSync
object EvalRunSync extends RunSync[Eval]
trait ValidatedNecCanHasErrors
object ValidatedNecHasErrors extends HasErrors[ValidatedAccumulateNec]
abstract class ValidatedNecVM[F[_], E] extends ValidationModule[F, ValidatedAccumulateNec, E] with ValidatedNecCanHasErrors

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

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

Source:
CatsInterop.scala
trait ValidatedNelCanHasErrors
object ValidatedNelHasErrors extends HasErrors[ValidatedAccumulateNel]
abstract class ValidatedNelVM[F[_], E] extends ValidationModule[F, ValidatedAccumulateNel, E] with ValidatedNelCanHasErrors

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

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

Source:
CatsInterop.scala

Inherited classlikes

class FromCatsValidated[K[_]](implicit A: Applicative[K], SK: SemigroupK[K]) extends AccumulateLike[[_] =>> ValidatedAccumulate[K, _$4]]

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

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

Inherited from:
CatsInteropInstances0
Source:
CatsInterop.scala

Inherited types

type ValidatedAccumulate[K[_], E] = Validated[K[E], Unit]

Implicits

Implicits

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

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

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

Source:
CatsInterop.scala

Inherited implicits