Fields/jap.fields.typeclass

jap.fields.typeclass

package jap.fields.typeclass

Type members

Classlikes

trait AccumulateLike[V[_]] extends Validated[V]

Base trait for jap.fields.typeclass.Validated that accumulate errors

Base trait for jap.fields.typeclass.Validated that accumulate errors

Source:
Validated.scala
case object AccumulateStrategy extends ValidatedStrategy

This strategy will accumulate all errors that occur

This strategy will accumulate all errors that occur

Source:
Validated.scala
trait Effect[F[_]]

jap.fields.typeclass.Effect is a typeclass that provides ValidationModule with Monad/Defer capabilities.

jap.fields.typeclass.Effect is a typeclass that provides ValidationModule with Monad/Defer capabilities.

Companion:
object
Source:
Effect.scala
object Effect
Companion:
class
Source:
Effect.scala
trait FailFastLike[V[_]] extends Validated[V]

Base trait for jap.fields.typeclass.Validated that fail-fast

Base trait for jap.fields.typeclass.Validated that fail-fast

Source:
Validated.scala
case object FailFastStrategy extends ValidatedStrategy

When first error occur validation will short-circuit and will not execute other validations

When first error occur validation will short-circuit and will not execute other validations

Source:
Validated.scala
@implicitNotFound("Cannot compare ${P} with ${C}")
trait FieldCompare[P, C]

Typeclass that is used to allow using compare syntax with both Field[P] and P itself. Not needed in case Scala 2 support will be dropped in future.

Typeclass that is used to allow using compare syntax with both Field[P] and P itself. Not needed in case Scala 2 support will be dropped in future.

Companion:
object
Source:
FieldCompare.scala
object FieldCompare extends FieldCompareInstances0 with FieldCompareInstances1
Companion:
class
Source:
FieldCompare.scala
trait FieldCompareInstances0
trait FieldCompareInstances1
trait HasErrors[V[_]]

Type class that helps extracting errors as list

Type class that helps extracting errors as list

Companion:
object
Source:
HasErrors.scala
object HasErrors
Companion:
class
Source:
HasErrors.scala
trait HasFieldPath[E]

Type class that helps extracting FieldPath from error

Type class that helps extracting FieldPath from error

Companion:
object
Source:
HasFieldPath.scala
object HasFieldPath
Companion:
class
Source:
HasFieldPath.scala
trait MapKeyToPart[K]
Companion:
object
Source:
MapKeyToPart.scala
object MapKeyToPart extends MapKeyToPartInstances0
Companion:
class
Source:
MapKeyToPart.scala
trait MapKeyToPartInstances0
trait RunSync[F[_]]

jap.fields.typeclass.RunSync is a typeclass that help runnin sync like effects

jap.fields.typeclass.RunSync is a typeclass that help runnin sync like effects

Companion:
object
Source:
RunSync.scala
object RunSync
Companion:
class
Source:
RunSync.scala
trait Validated[V[_]]

Typeclass that represents Validated

Typeclass that represents Validated

Companion:
object
Source:
Validated.scala
object Validated
Companion:
class
Source:
Validated.scala
sealed trait ValidatedStrategy

Will change behaviour of combining Validated's depending on strategy

Will change behaviour of combining Validated's depending on strategy

Source:
Validated.scala