Fields
v1.0.0
API
Generated with
Fields/fields/fields.lens/AccumulateDsl

AccumulateDsl

fields.lens.AccumulateDsl
abstract class AccumulateDsl[F[_], E] extends FieldsDsl[F, Accumulate, E]

Accumulating fields.lens.FieldsDsl

Attributes

Source
FieldsDsl.scala
Graph
Supertypes
class FieldsDsl[F, Accumulate, E]
trait CoreDsl[F, Accumulate, E]
trait CommonSyntax
trait FieldSyntax
trait RuleSyntax
trait LensPolicyDsl[F, Accumulate, E]
trait PolicySubDsl[F, Accumulate, E]
trait IterableDsl[F, Accumulate, E]
trait MapDsl[F, Accumulate, E]
trait StringDsl[F, Accumulate, E]
trait OptionDsl[F, Accumulate, E]
trait OrderingDsl[F, Accumulate, E]
trait BooleanDsl[F, Accumulate, E]
trait GenericDsl[F, Accumulate, E]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

object LensPolicy

Attributes

Inherited from:
CoreDsl
Source
all.scala
Supertypes
class Object
trait Matchable
class Any
object Policy

Attributes

Inherited from:
FieldsDsl
Source
FieldsDsl.scala
Supertypes
class Object
trait Matchable
class Any

Inherited types

type FieldLens[P, +V] = FieldLens[P, V]

Attributes

Inherited from:
CommonSyntax
Source
all.scala
type FieldPath = FieldPath

Attributes

Inherited from:
CommonSyntax
Source
all.scala
final type LensPolicy[P] = LensPolicyK[P, F, Accumulate, E]

Attributes

Inherited from:
CoreDsl
Source
all.scala
final type Policy[-A] = (A, F, Accumulate) => E

fields.PolicyK alias. Infers F, V, E

fields.PolicyK alias. Infers F, V, E

Attributes

Inherited from:
FieldsDsl
Source
FieldsDsl.scala
final type Rule = RuleK[F, Accumulate, E]

fields.RuleK alias. Infers F, V, E

fields.RuleK alias. Infers F, V, E

Attributes

Inherited from:
FieldsDsl
Source
FieldsDsl.scala

Value members

Inherited methods

def fail[V, E](error: E): V => E

Just pathrought error

Just pathrought error

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failEmpty[E, P](implicit FW: FailWithEmpty[E, P]): P => E

Returns EmptyError using fields.fail.FailWithEmpty typeclass

Returns EmptyError using fields.fail.FailWithEmpty typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failEqual[E, P, C](c: C)(implicit FW: FailWithCompare[E, P], C: CompareShow[P, C]): P => E

Returns CompareError using fields.fail.FailWithCompare typeclass

Returns CompareError using fields.fail.FailWithCompare typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failFieldError[V, E, EE](error: EE)(implicit ev: FieldError[EE] =:= E): V => E

Useful when your error is wrapped in FieldError

Useful when your error is wrapped in FieldError

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failGreater[E, P, C](c: C)(implicit FW: FailWithCompare[E, P], C: CompareShow[P, C]): P => E

Returns CompareError using fields.fail.FailWithCompare typeclass

Returns CompareError using fields.fail.FailWithCompare typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failGreaterEqual[E, P, C](c: C)(implicit FW: FailWithCompare[E, P], C: CompareShow[P, C]): P => E

Returns CompareError using fields.fail.FailWithCompare typeclass

Returns CompareError using fields.fail.FailWithCompare typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failInvalid[E, P](implicit FW: FailWithInvalid[E, P]): P => E

Returns InvalidError using fields.fail.FailWithInvalid typeclass

Returns InvalidError using fields.fail.FailWithInvalid typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failLess[E, P, C](c: C)(implicit FW: FailWithCompare[E, P], C: CompareShow[P, C]): P => E

Returns CompareError using fields.fail.FailWithCompare typeclass

Returns CompareError using fields.fail.FailWithCompare typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failLessEqual[E, P, C](c: C)(implicit FW: FailWithCompare[E, P], C: CompareShow[P, C]): P => E

Returns CompareError using fields.fail.FailWithCompare typeclass

Returns CompareError using fields.fail.FailWithCompare typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failMaxSize[E, P](size: Int)(implicit FW: FailWithMaxSize[E, P]): P => E

Returns MaxSizeError using fields.fail.FailWithMaxSize typeclass

Returns MaxSizeError using fields.fail.FailWithMaxSize typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failMessage[E, P](error: String, description: String)(implicit FW: FailWithMessage[E, P]): P => E

Returns MessageError using fields.fail.FailWithMessage typeclass

Returns MessageError using fields.fail.FailWithMessage typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failMessage[E, P](error: String, description: Option[String] = ...)(implicit FW: FailWithMessage[E, P]): P => E

Returns MessageError using fields.fail.FailWithMessage typeclass

Returns MessageError using fields.fail.FailWithMessage typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failMinSize[E, P](size: Int)(implicit FW: FailWithMinSize[E, P]): P => E

Returns MinSizeError using fields.fail.FailWithMinSize typeclass

Returns MinSizeError using fields.fail.FailWithMinSize typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failNonEmpty[E, P](implicit FW: FailWithNonEmpty[E, P]): P => E

Returns NonEmptyError using fields.fail.FailWithNonEmpty typeclass

Returns NonEmptyError using fields.fail.FailWithNonEmpty typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failNotEqual[E, P, C](c: C)(implicit FW: FailWithCompare[E, P], C: CompareShow[P, C]): P => E

Returns CompareError using fields.fail.FailWithCompare typeclass

Returns CompareError using fields.fail.FailWithCompare typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
def failOneOf[E, P, PP >: P](variants: Seq[PP])(implicit FW: FailWithOneOf[E, P]): P => E

Returns OneOfError using fields.fail.FailWithOneOf typeclass

Returns OneOfError using fields.fail.FailWithOneOf typeclass

Attributes

Inherited from:
FailFieldSyntax
Source
FailFieldSyntax.scala
inline def inferBasePath: FieldPath

Attributes

Inherited from:
PolicySubSyntax
Source
PolicySubSyntax.scala

Inherited fields

val FieldLens: FieldLens.type

Attributes

Inherited from:
CommonSyntax
Source
all.scala
val FieldPath: FieldPath.type

Attributes

Inherited from:
CommonSyntax
Source
all.scala

Extensions

Inherited extensions

extension [P, S](field: FieldLens[P, S])
inline def sub[SS](inline selector: S => SS): FieldLens[P, SS]

Returns subfield using selector function to extract value and as path

Returns subfield using selector function to extract value and as path

Example

scala> val request = Request(User("ann"))
scala> val field = Field.from(request)
val field: fields.Field[Request] = request:Request(User(ann))
scala> field.sub(_.user.name)
val res1: fields.Field[String] = request.user.name:ann

Attributes

Inherited from:
FieldSyntax
Source
FieldSyntax.scala
extension [P, F[_], V[_], E](policy: (P, F, V) => E)(using R: RuleOps[F, V, E])
inline def subRule[S1, S2, S3](inline selector1: P => S1, inline selector2: P => S2, inline selector3: P => S3)(rules: (FieldLens[P, S1], FieldLens[P, S2], FieldLens[P, S3]) => (P, F, V) => E*): (P, F, V) => E

Adds new subrule to builder. Same as subRule but for 3 subrules

Adds new subrule to builder. Same as subRule but for 3 subrules

Attributes

Inherited from:
PolicySubSyntax
Source
PolicySubSyntax.scala
inline def subRule[S1, S2](inline selector1: P => S1, inline selector2: P => S2)(rules: (FieldLens[P, S1], FieldLens[P, S2]) => (P, F, V) => E*): (P, F, V) => E

Adds new subrule to builder. Same as subRule but for 2 subrules

Adds new subrule to builder. Same as subRule but for 2 subrules

Attributes

Inherited from:
PolicySubSyntax
Source
PolicySubSyntax.scala
inline def subRule[S](inline selector: P => S)(rules: (FieldLens[P, S]) => (P, F, V) => E*): (P, F, V) => E

Adds new subrule to builder. Uses selector to create fields.Field, rules are applied to that field

Adds new subrule to builder. Uses selector to create fields.Field, rules are applied to that field

Attributes

Inherited from:
PolicySubSyntax
Source
PolicySubSyntax.scala

Implicits

Inherited implicits

implicit val F: Effect[F]

Attributes

Inherited from:
FieldsDsl
Source
FieldsDsl.scala
implicit val Rule: RuleOps[F, Accumulate, E]

Attributes

Inherited from:
FieldsDsl
Source
FieldsDsl.scala
implicit val V: Validated[Accumulate]

Attributes

Inherited from:
FieldsDsl
Source
FieldsDsl.scala
final implicit def toBooleanFieldOps[P](field: FieldLens[P, Boolean]): BooleanFieldOps[P, F, Accumulate, E]

Attributes

Inherited from:
BooleanDsl
Source
BooleanSyntax.scala
final implicit def toFieldOps[P, S](field: FieldLens[P, S]): FieldOps[P, S, F, Accumulate, E]

Attributes

Inherited from:
GenericDsl
Source
GenericSyntax.scala
final implicit def toIterableFieldOps[P, S, C <: (Iterable)](field: FieldLens[P, C[S]]): IterableFieldOps[P, S, C, F, Accumulate, E]

Attributes

Inherited from:
IterableDsl
Source
IterableSyntax.scala
implicit def toLensPolicyCompanionOps(p: LensPolicy.type): LensPolicyCompanionOps[F, Accumulate, E]

Attributes

Inherited from:
LensPolicyDsl
Source
LensPolicySyntax.scala
implicit def toLensPolicyKCompanionOps(p: LensPolicyK.type): LensPolicyCompanionOps[F, Accumulate, E]

Attributes

Inherited from:
LensPolicyDsl
Source
LensPolicySyntax.scala
final implicit def toMapFieldOps[P, K, S](field: FieldLens[P, Map[K, S]]): MapFieldOps[P, K, S, F, Accumulate, E]

Attributes

Inherited from:
MapDsl
Source
MapSyntax.scala
final implicit def toOptionFieldOps[P, S](field: FieldLens[P, Option[S]]): OptionFieldOps[P, S, F, Accumulate, E]

Attributes

Inherited from:
OptionDsl
Source
OptionSyntax.scala
final implicit def toOrderingFieldOps[P, S](field: FieldLens[P, S]): OrderingFieldOps[P, S, F, Accumulate, E]

Attributes

Inherited from:
OrderingDsl
Source
OrderingSyntax.scala
final implicit def toPolicyKOps[A, F[_], V[_], E](v: (A, F, V) => E): PolicyKOps[A, F, V, E]

Attributes

Inherited from:
PolicyKSyntax
Source
PolicyK.scala
final implicit def toRuleSequenceOps[F[_], V[_], E](rules: Iterable[RuleK[F, V, E]]): RuleSequenceOps[F, V, E]

Attributes

Inherited from:
RuleSyntax
Source
RuleSyntax.scala
final implicit def toRuleValidationOps[F[_], V[_], E](rule: RuleK[F, V, E]): RuleValidationOps[F, V, E]

Attributes

Inherited from:
RuleSyntax
Source
RuleSyntax.scala
final implicit def toStringFieldOps[P](field: FieldLens[P, String]): StringFieldOps[P, F, Accumulate, E]

Attributes

Inherited from:
StringDsl
Source
StringSyntax.scala
final implicit def toValidatedIdOps[E](error: E): ValidatedIdOps[E]

Attributes

Inherited from:
ValidatedSyntax
Source
ValidatedSyntax.scala
final implicit def toValidatedOps[V[_], E](vr: V[E]): ValidatedOps[V, E]

Attributes

Inherited from:
ValidatedSyntax
Source
ValidatedSyntax.scala
final implicit def toValidatedSeqOps[V[_], E](iterable: Iterable[V[E]]): ValidatedSeqOps[V, E]

Attributes

Inherited from:
ValidatedSyntax
Source
ValidatedSyntax.scala
Generated with