CommonSyntax

fields.value.syntax.CommonSyntax
See theCommonSyntax companion trait
object CommonSyntax extends CommonSyntax

Attributes

Companion
trait
Source
all.scala
Graph
Supertypes
trait CommonSyntax
trait RuleSyntax
trait PolicySyntax
trait FieldSyntax
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited types

type Field[+P] = Field[P]

Attributes

Inherited from:
CommonSyntax
Source
all.scala

Attributes

Inherited from:
CommonSyntax
Source
all.scala

Value members

Inherited fields

val Field: Field.type

Attributes

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

Attributes

Inherited from:
CommonSyntax
Source
all.scala

Extensions

Inherited extensions

extension [P](field: Field[P])
inline def sub[S](inline selector: P => S): Field[S]

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 (field: Field.type)
inline def from[V](inline value: V): Field[V]

Returns fields.Field that has provided value and infers its fields.FieldPath from field selects

Returns fields.Field that has provided value and infers its fields.FieldPath from field selects

Example:

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

Attributes

Inherited from:
FieldSyntax
Source
FieldSyntax.scala
inline def sub[V](inline value: V): Field[V]

Similar to Field.from but drops first selector path

Similar to Field.from but drops first selector path

Example:

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

Attributes

Inherited from:
FieldSyntax
Source
FieldSyntax.scala

Implicits

Inherited implicits

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
implicit def toPolicyOps[P, F[_], V[_], E](policy: (Field[P], F, V) => E): PolicyOps[P, F, V, E]

Attributes

Inherited from:
PolicySyntax
Source
PolicySyntax.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 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