Packages

p

lucuma.ui

optics

package optics

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. optics
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract class ValidFormat[E, T, A] extends Serializable

    A validating and normalizing optic.

    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.

  2. type ValidFormatInput[A] = ValidFormat[NonEmptyChain[String], String, A]
  3. trait ValidFormatInputInstances extends AnyRef

    Convenience ValidFormatInput instances.

  4. type ValidFormatNec[E, T, A] = ValidFormat[NonEmptyChain[E], T, A]
  5. type ValidFormatNel[E, T, A] = ValidFormat[NonEmptyList[E], T, A]

Value Members

  1. object ValidFormat extends Serializable
  2. object ValidFormatInput extends ValidFormatInputInstances

    Convenience version of ValidFormat when the error type is NonEmptyChain[String] and T = String.

  3. object ValidFormatNec

    Convenience version of ValidFormat when the error type is NonEmptyChain[E].

  4. object ValidFormatNel

    Convenience version of ValidFormat when the error type is NonEmptyList[E].

Inherited from AnyRef

Inherited from Any

Ungrouped