Fields
v1.0.0
API
Generated with
Fields/fields

fields

package fields

Members list

Packages

package fields.circe
package fields.error
package fields.fail
package fields.lens
package fields.syntax
package fields.typeclass
package fields.value

Type members

Classlikes

class AccumulateLikeSyncRule[V[_], E] extends SyncRule[V, E]

Attributes

Source
RuleOps.scala
Supertypes
class SyncRule[V, E]
class RuleOps[Sync, V, E]
class Object
trait Matchable
class Any
@FunctionalInterface
trait Assertion[A]

Attributes

Source
Assertion.scala
Supertypes
class Object
trait Matchable
class Any
@FunctionalInterface
trait Assertion2[A, B]

Attributes

Source
Assertion.scala
Supertypes
class Object
trait Matchable
class Any
case object BuildInfo

This object was generated by sbt-buildinfo.

This object was generated by sbt-buildinfo.

Attributes

Source
BuildInfo.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
BuildInfo.type
object CatsInterop extends CatsInteropInstances

Attributes

Source
CatsInterop.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait CatsInteropInstances extends CatsInteropInstances0

Attributes

Source
CatsInterop.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object CatsInterop
trait CatsInteropInstances0

Attributes

Source
CatsInterop.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object CatsInterop
class FailFastLikeSyncRule[V[_], E] extends SyncRule[V, E]

Attributes

Source
RuleOps.scala
Supertypes
class SyncRule[V, E]
class RuleOps[Sync, V, E]
class Object
trait Matchable
class Any
object FieldMacroMessage

Attributes

Source
FieldMacrosMessage.scala
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait FieldPart extends Any, Serializable

Attributes

Companion
object
Source
FieldPath.scala
Supertypes
trait Serializable
class Any
Known subtypes
class Index
class Key
class Path
object FieldPart

Attributes

Companion
trait
Source
FieldPath.scala
Supertypes
class Object
trait Matchable
class Any
Self type
FieldPart.type
object FieldPartConversions

Attributes

Source
FieldPath.scala
Supertypes
class Object
trait Matchable
class Any
Self type
final class FieldPath extends AnyVal, Serializable

FieldPath contains path parts of the Field.

FieldPath contains path parts of the Field.

Attributes

Companion
object
Source
FieldPath.scala
Supertypes
trait Serializable
class AnyVal
trait Matchable
class Any
object FieldPath extends FieldPathSyntax

Attributes

Companion
class
Source
FieldPath.scala
Supertypes
class Object
trait Matchable
class Any
Self type
FieldPath.type
object FieldPathConversions

Attributes

Source
FieldPath.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object FieldPathMacro

Attributes

Source
FieldPathMacro.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait FieldPathSyntax

Attributes

Source
FieldPathSyntax.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FieldPath
object FieldsInteropZIO extends ZIOEffectInstances, ZIOPolicySyntax

Attributes

Source
FieldsInteropZIO.scala
Supertypes
class Object
trait Matchable
class Any
Self type
final class FieldsZioBlocksSchemaOps[A](schema: Schema[A]) extends AnyVal

Attributes

Source
ZioBlocksSchemaInterop.scala
Supertypes
class AnyVal
trait Matchable
class Any
object PolicyK

Attributes

Source
PolicyK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
PolicyK.type
trait PolicyKDsl[F[_], V[_], E]

Attributes

Source
PolicyK.scala
Supertypes
class Object
trait Matchable
class Any
final class PolicyKOps[A, F[_], V[_], E](v: (A, F, V) => E) extends AnyVal

Attributes

Source
PolicyK.scala
Supertypes
class AnyVal
trait Matchable
class Any
object PolicyKSyntax extends PolicyKSyntax

Attributes

Companion
trait
Source
PolicyK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait PolicyKSyntax

Attributes

Companion
object
Source
PolicyK.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait CommonSyntax
object CommonSyntax
trait CoreDsl[F, V, E]
class FieldsDsl[F, V, E]
class AccumulateDsl[F, E]
class FailFastDsl[F, E]
class BaseAccumulate[F, E]
class BaseFailFast[F, E]
trait accumulate
object accumulate
object default
trait failFast
object failFast
trait all
object all
trait CommonSyntax
trait AllDsl[F, V, E]
class FieldsDsl[F, V, E]
class BaseAccumulate[F, E]
trait accumulate
object accumulate
object default
class BaseFailFast[F, E]
trait failFast
object failFast
object CommonSyntax
trait all
object all
object PolicyKSyntax
Show all
object RuleK

Attributes

Source
RuleK.scala
Supertypes
class Object
trait Matchable
class Any
Self type
RuleK.type
abstract class RuleOps[F[_], V[_], E](implicit val F: Effect[F], val V: Validated[V])

Attributes

Companion
object
Source
RuleOps.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class SyncRule[V, E]
class FailFastLikeSyncRule[V, E]
object RuleOps

Attributes

Companion
class
Source
RuleOps.scala
Supertypes
class Object
trait Matchable
class Any
Self type
RuleOps.type
trait RuleOpsConversions

Attributes

Companion
object
Source
RuleOps.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object RuleOpsConversions extends RuleOpsConversions

Attributes

Companion
trait
Source
RuleOps.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object SchemaErrorFailWith extends Builder[SchemaError, Nothing]

Fields error and path integration for native ZIO Blocks schema errors.

Fields error and path integration for native ZIO Blocks schema errors.

Attributes

Source
ZioBlocksSchemaInterop.scala
Supertypes
trait Builder[SchemaError, Nothing]
trait FailWith[SchemaError, Nothing]
trait FailWithOneOf[SchemaError, Nothing]
trait FailWithMaxSize[SchemaError, Nothing]
trait FailWithMinSize[SchemaError, Nothing]
trait FailWithNonEmpty[SchemaError, Nothing]
trait FailWithEmpty[SchemaError, Nothing]
trait FailWithInvalid[SchemaError, Nothing]
trait FailWithCompare[SchemaError, Nothing]
trait FailWithMessage[SchemaError, Nothing]
class Object
trait Matchable
class Any
Show all
Self type
class SelectorMacro[Q <: Quotes](using val q: Q)

Attributes

Source
FieldPathMacro.scala
Supertypes
class Object
trait Matchable
class Any
abstract class SyncRule[V[_], E] extends RuleOps[Sync, V, E]

Attributes

Source
RuleOps.scala
Supertypes
class RuleOps[Sync, V, E]
class Object
trait Matchable
class Any
Known subtypes
class FailFastLikeSyncRule[V, E]
trait ZIOEffectInstances

Attributes

Source
FieldsInteropZIO.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
final class ZIOPolicyOps[P, V[_], E](field: Field[P]) extends AnyVal

Attributes

Source
FieldsInteropZIO.scala
Supertypes
class AnyVal
trait Matchable
class Any
trait ZIOPolicySyntax

Attributes

Source
FieldsInteropZIO.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ZioBlocksSchemaErrorDsl extends Mixin

Native error instances shared by the Value and Lens front ends.

Native error instances shared by the Value and Lens front ends.

Attributes

Source
ZioBlocksSchemaInterop.scala
Supertypes
trait Mixin
class Object
trait Matchable
class Any
trait ZioBlocksSchemaSyntax

Attributes

Companion
object
Source
ZioBlocksSchemaInterop.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ZioBlocksSchemaSyntax extends ZioBlocksSchemaSyntax

Attributes

Companion
trait
Source
ZioBlocksSchemaInterop.scala
Supertypes
class Object
trait Matchable
class Any
Self type

Types

type Accumulate[+E] = List[E]

Attributes

Source
package.scala
type Endo[X] = X => X

Attributes

Source
package.scala
type FailFast[+E] = Option[E]

Attributes

Source
package.scala
type PathedFn[-A, +B] = (FieldPath, A) => B

Attributes

Source
package.scala
type PolicyK[-A, F[_], V[_], E] = A => RuleK[F, V, E]

Attributes

Source
package.scala
type PolicyK2[-A, -B, F[_], V[_], E] = (A, B) => RuleK[F, V, E]

Attributes

Source
package.scala
type PolicyK3[-A, -B, -C, F[_], V[_], E] = (A, B, C) => RuleK[F, V, E]

Attributes

Source
package.scala
type RuleK[+F[_], +V[_], +E] <: Type[F, V, E]

Rule is tagged type alias for F[V[E]] If used this way we do not add any allocations while having separate syntax for Rule. Also we get ability to convert back and forth.

Rule is tagged type alias for F[V[E]] If used this way we do not add any allocations while having separate syntax for Rule. Also we get ability to convert back and forth.

Attributes

Source
package.scala
Generated with