abstract class ZValidationModule[V[_], E] extends all with ZIOSyntaxAll with ZIOEffectInstances
ValidationModule with helpful stuff for ZIO
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ZValidationModule
- ZIOEffectInstances
- ZIOSyntaxAll
- ZIOPolicySyntax
- all
- PolicySyntax
- ValidatedSyntax
- FieldSyntax
- IterableSyntax
- MapSyntax
- StringSyntax
- OptionSyntax
- OrderingSyntax
- RuleSyntax
- BooleanSyntax
- GenericSyntax
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type IOPolicy[ZE, P] = ValidationPolicy[P, [γ$3$]ZIO[Any, ZE, γ$3$], V, E]
- type IOPolicyBuilder[ZE, P] = ValidationPolicyBuilder[P, [γ$4$]ZIO[Any, ZE, γ$4$], V, E]
- type IORule[+ZE] = Rule[[γ$2$]ZIO[Any, ZE, γ$2$], V, E]
- type RIOPolicy[ZR, P] = ValidationPolicy[P, [γ$3$]ZIO[ZR, Throwable, γ$3$], V, E]
- type RIOPolicyBuilder[ZR, P] = ValidationPolicyBuilder[P, [γ$4$]ZIO[ZR, Throwable, γ$4$], V, E]
- type RIORule[-ZR] = Rule[[γ$2$]ZIO[ZR, Throwable, γ$2$], V, E]
- type TaskPolicy[P] = ValidationPolicy[P, [γ$3$]ZIO[Any, Throwable, γ$3$], V, E]
- type TaskPolicyBuilder[P] = ValidationPolicyBuilder[P, [γ$4$]ZIO[Any, Throwable, γ$4$], V, E]
- type TaskRule = Rule[[γ$2$]ZIO[Any, Throwable, γ$2$], V, E]
- type UIOPolicy[P] = ValidationPolicy[P, [γ$3$]ZIO[Any, Nothing, γ$3$], V, E]
- type UIOPolicyBuilder[P] = ValidationPolicyBuilder[P, [γ$4$]ZIO[Any, Nothing, γ$4$], V, E]
- type UIORule = Rule[[γ$2$]ZIO[Any, Nothing, γ$2$], V, E]
- type URIOPolicy[ZR, P] = ValidationPolicy[P, [γ$3$]ZIO[ZR, Nothing, γ$3$], V, E]
- type URIOPolicyBuilder[ZR, P] = ValidationPolicyBuilder[P, [γ$4$]ZIO[ZR, Nothing, γ$4$], V, E]
- type URIORule[-ZR] = Rule[[γ$2$]ZIO[ZR, Nothing, γ$2$], V, E]
- type ZIOPolicy[ZR, ZE, P] = ValidationPolicy[P, [γ$3$]ZIO[ZR, ZE, γ$3$], V, E]
- type ZIOPolicyBuilder[ZR, ZE, P] = ValidationPolicyBuilder[P, [γ$4$]ZIO[ZR, ZE, γ$4$], V, E]
- type ZIORule[-ZR, +ZE] = Rule[[γ$2$]ZIO[ZR, ZE, γ$2$], V, E]
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit val V: Validated[V]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
someOrValid[F[_], V[_], E](rule: ⇒ Option[Rule[F, V, E]])(implicit arg0: Effect[F], arg1: Validated[V]): Rule[F, V, E]
- Definition Classes
- OptionSyntax
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
implicit final
def
toBooleanFieldOps[F[_], V[_], E](field: Field[Boolean]): BooleanFieldOps[F, V, E]
- Definition Classes
- BooleanSyntax
-
implicit
def
toFieldFromOps(field: Field.type): FieldFromOps
- Definition Classes
- FieldSyntax
-
implicit final
def
toFieldOps[F[_], V[_], E, P](field: Field[P]): FieldOps[P, F, V, E]
- Definition Classes
- GenericSyntax
-
implicit
def
toFieldSubOps[P](field: Field[P]): FieldSubOps[P]
- Definition Classes
- FieldSyntax
-
implicit
def
toFieldZIOPolicyOps[P, V[_], E](field: Field[P]): ZIOPolicyOps[P, V, E]
- Definition Classes
- ZIOPolicySyntax
-
implicit final
def
toIterableFieldOps[F[_], V[_], E, P, I[X] <: Iterable[X]](field: Field[I[P]]): IterableFieldOps[P, I, F, V, E]
- Definition Classes
- IterableSyntax
-
implicit final
def
toMapFieldOps[F[_], V[_], E, K, P](field: Field[Map[K, P]]): MapFieldOps[K, P, F, V, E]
- Definition Classes
- MapSyntax
-
implicit final
def
toOptionFieldOps[F[_], V[_], E, P](field: Field[Option[P]]): OptionFieldOps[P, F, V, E]
- Definition Classes
- OptionSyntax
-
implicit final
def
toOrderingFieldOps[F[_], V[_], E, P](field: Field[P]): OrderingFieldOps[P, F, V, E]
- Definition Classes
- OrderingSyntax
-
implicit
def
toPolicyOps[P, F[_], V[_], E](builder: ValidationPolicyBuilder[P, F, V, E]): PolicyOps[P, F, V, E]
- Definition Classes
- PolicySyntax
-
implicit final
def
toRuleSequenceOps[F[_], V[_], E](rules: Iterable[Rule[F, V, E]]): RuleSequenceOps[F, V, E]
- Definition Classes
- RuleSyntax
-
implicit final
def
toRuleValidationOps[F[_], V[_], E](rule: Rule[F, V, E]): RuleValidationOps[F, V, E]
- Definition Classes
- RuleSyntax
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
implicit final
def
toStringFieldOps[F[_], V[_], E](field: Field[String]): StringFieldOps[F, V, E]
- Definition Classes
- StringSyntax
-
implicit final
def
toValidatedIdOps[E](error: E): ValidatedIdOps[E]
- Definition Classes
- ValidatedSyntax
-
implicit final
def
toValidatedOps[V[_], E](vr: V[E]): ValidatedOps[V, E]
- Definition Classes
- ValidatedSyntax
-
implicit final
def
toValidatedSeqOps[V[_], E](iterable: Iterable[V[E]]): ValidatedSeqOps[V, E]
- Definition Classes
- ValidatedSyntax
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
implicit
def
zioEffect[R, E]: Effect[[γ$0$]ZIO[R, E, γ$0$]]
jap.fields.typeclass.Effect instance for
zio.ZIOjap.fields.typeclass.Effect instance for
zio.ZIO- Definition Classes
- ZIOEffectInstances
- object IOPolicy
- object RIOPolicy
- object TaskPolicy
- object UIOPolicy
- object URIOPolicy
- object ZIOPolicy