abstract class ValidFormat[E, T, A] extends Serializable
A validating and normalizing optic. Behaves similarly to Format, but the getter returns
a Validated[E, A] instead of an Option[A].
Laws are the same for Format, except that coverage allows no normalization to happen
as long as there are invalid inputs.
Composition with Format or stronger optics (Prism and Iso) yields another ValidFormat,
and require providing an E instance for the invalid cases.
- Self Type
- ValidFormat[E, T, A]
- Alphabetic
- By Inheritance
- ValidFormat
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new ValidFormat()
Abstract Value Members
Concrete 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
- def ^<-*[B](f: Format[A, B], error: E): ValidFormat[E, T, B]
- def ^<->[B](f: Iso[A, B]): ValidFormat[E, T, B]
- def ^<-?[B](f: Prism[A, B], error: E): ValidFormat[E, T, B]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def composeFormat[B](f: Format[A, B], error: E): ValidFormat[E, T, B]
Compose with a Format.
- def composeIso[B](f: Iso[A, B]): ValidFormat[E, T, B]
Compose with an Iso.
- def composePrism[B](f: Prism[A, B], error: E): ValidFormat[E, T, B]
Compose with a Prism.
- def composeSplitEpi[B](f: SplitEpi[A, B], error: E): ValidFormat[E, T, B]
Compose with a SplitEpi.
- def composeValidFormat[B](f: ValidFormat[E, A, B]): ValidFormat[E, T, B]
Compose with another Validate.
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def imapA[B](f: (B) => A, g: (A) => B): ValidFormat[E, T, B]
- def imapT[S](f: (T) => S, g: (S) => T): ValidFormat[E, S, A]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def normalize(t: T): Validated[E, T]
getValidated and reverseGet, yielding a normalized formatted value if valid.
getValidated and reverseGet, yielding a normalized formatted value if valid. Subsequent getValidated/reverseGet cycles are idempotent.
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def unsafeGet(t: T): A
Like getValidated, but throws IllegalArgumentException when Invalid.
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated