Packages

object These

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

Type Members

  1. final case class Both[+A, +B](left: A, right: B) extends These[A, B] with Product with Serializable
  2. final case class Left[+A](value: A) extends These[A, Nothing] with Product with Serializable
  3. final case class Right[+B](value: B) extends These[Nothing, B] with Product with Serializable

Value Members

  1. implicit def TheseAssociative[A, B](implicit arg0: Associative[A], arg1: Associative[B]): Associative[These[A, B]]

    Derives an Associative[These[A, B]] given an Associative[A] and an Associative[B].

  2. implicit def TheseAssociativeEither[A](implicit arg0: Associative[A]): AssociativeEither[[+b]These[A, b]]

    The AssociativeEither instance for These.

  3. implicit def TheseCommutative[A, B](implicit arg0: Commutative[A], arg1: Commutative[B]): Commutative[These[A, B]]

    Derives a Commutative[These[A, B]] given a Commutative[A] and a Commutative[B].

  4. implicit def TheseCommutativeBoth[A](implicit arg0: Commutative[A]): CommutativeBoth[[+b]These[A, b]]

    The CommutativeBoth instance for These.

  5. implicit def TheseCovariant[A]: Covariant[[+b]These[A, b]]

    The Covariant instance for These.

  6. implicit def TheseDebug[A, B](implicit arg0: Debug[A], arg1: Debug[B]): Debug[These[A, B]]

    Derives a Debug[These[A, B]] given a Debug[A] and a Debug[B].

  7. implicit def TheseDeriveEqual[A](implicit arg0: Equal[A]): DeriveEqual[[+b]These[A, b]]

    The DeriveEqual instance for These.

  8. implicit def TheseEqual[A, B](implicit arg0: Equal[A], arg1: Equal[B]): Equal[These[A, B]]

    Derives an Equal[These[A, B]] given an Equal[A] and an Equal[B].

  9. implicit def TheseForEach[A]: ForEach[[+b]These[A, b]]

    The ForEach instance for These.

  10. implicit def TheseHash[A, B](implicit arg0: Hash[A], arg1: Hash[B]): Hash[These[A, B]]

    Derives a Hash[These[A, B]] given a Hash[A] and a Hash[B].

  11. implicit def TheseIdentityBoth[A](implicit arg0: Associative[A]): IdentityBoth[[+b]These[A, b]]

    The IdentityBoth instance for These.

  12. implicit def TheseIdentityFlatten[A](implicit arg0: Associative[A]): IdentityFlatten[[+b]These[A, b]]

    The IdentityFlatten instance for These.

  13. def both[A, B](a: A, b: B): These[A, B]

    Constucts a Both with an A value and a B value.

  14. def bothNonEmptyChunk[A, B](a: A, b: B): These[NonEmptyChunk[A], B]

    Constructs a Both with an A value and a B value, wrapping the A value in a NonEmptyChunk.

    Constructs a Both with an A value and a B value, wrapping the A value in a NonEmptyChunk. This is useful when using These to model computations that may both succeed and fail to use the Associative instance for NonEmptyChunk to accumulate all errors.

  15. def fromEither[A, B](eab: Either[A, B]): These[A, B]

    Constructs a These from an Either value.

  16. def fromOption[A](ob: Option[A]): These[Unit, A]

    Constructs a These from an Option value.

  17. def fromOptions[A, B](opA: Option[A], opB: Option[B]): Option[These[A, B]]

    Constructor from two options to an option of These.

  18. def fromValidation[E, A](validation: Validation[E, A]): These[NonEmptyChunk[E], A]

    Constructs a These from a Validation value.

  19. def left[A](a: A): These[A, Nothing]

    Constructs a Left with an A value.

  20. def leftNonEmptyChunk[A](a: A): These[NonEmptyChunk[A], Nothing]

    Constructs a Left with an A value, wrapping the A value in a NonEmptyChunk.

    Constructs a Left with an A value, wrapping the A value in a NonEmptyChunk. This is useful when using These to model computations that may both succeed and fail to use the Associative instance for NonEmptyChunk to accumulate multiple errors.

  21. def right[A](a: A): These[Nothing, A]

    Constructs a Right with an A value.

  22. val unit: These[Nothing, Unit]

    A Right with the Unit value.