Packages

final case class Result[+N, +R](nonaborts: Chain[N], result: R) extends Checked[Nothing, N, R] with Product with Serializable

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Result
  2. Checked
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Result(nonaborts: Chain[N], result: R)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def abortFlatMap[AA, NN >: N, RR >: R](f: (Nothing) => Checked[AA, NN, RR]): Checked[AA, NN, RR]
    Definition Classes
    Checked
  5. def ap[AA >: Nothing, NN >: N, RR](f: Checked[AA, NN, (R) => RR]): Checked[AA, NN, RR]

    Applicative operation.

    Applicative operation. Consistent with the monadic flatMap according to Cats' laws, i.e.,

    x.ap(f) = for { g <- f; y <- x } yield g(x)
    Definition Classes
    Checked
  6. def appendNonabort[NN >: N](nonabort: NN): Checked[Nothing, NN, R]
    Definition Classes
    Checked
  7. def appendNonaborts[NN >: N](nonaborts: Chain[NN]): Checked[Nothing, NN, R]
    Definition Classes
    Checked
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def biflatMap[AA, NN >: N, RR](f: (Nothing) => Checked[AA, NN, RR], g: (R) => Checked[AA, NN, RR]): Checked[AA, NN, RR]
    Definition Classes
    Checked
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def exists(pred: (R) => Boolean): Boolean
    Definition Classes
    Checked
  13. def flatMap[AA >: Nothing, NN >: N, RR](f: (R) => Checked[AA, NN, RR]): Checked[AA, NN, RR]
    Definition Classes
    Checked
  14. def fold[B](f: (Nothing, Chain[N]) => B, g: (Chain[N], R) => B): B
    Definition Classes
    Checked
  15. def forall(pred: (R) => Boolean): Boolean
    Definition Classes
    Checked
  16. def foreach(f: (R) => Unit): Unit
    Definition Classes
    Checked
  17. def getAbort: Option[Nothing]
    Definition Classes
    Checked
  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  19. def getResult: Option[R]
    Definition Classes
    Checked
  20. def isAbort: Boolean
    Definition Classes
    Checked
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def isResult: Boolean
    Definition Classes
    Checked
  23. def map[RR](f: (R) => RR): Checked[Nothing, N, RR]
    Definition Classes
    Checked
  24. def mapAbort[AA](f: (Nothing) => AA): Checked[AA, N, R]
    Definition Classes
    Checked
  25. def mapNonabort[NN](f: (N) => NN): Checked[Nothing, NN, R]
    Definition Classes
    Checked
  26. def mapNonaborts[NN](f: (Chain[N]) => Chain[NN]): Checked[Nothing, NN, R]
    Definition Classes
    Checked
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. val nonaborts: Chain[N]
    Definition Classes
    ResultChecked
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  31. def prependNonabort[NN >: N](nonabort: NN): Checked[Nothing, NN, R]
    Definition Classes
    Checked
  32. def prependNonaborts[NN >: N](nonaborts: Chain[NN]): Checked[Nothing, NN, R]
    Definition Classes
    Checked
  33. def product[AA >: Nothing, NN >: N, RR](other: Checked[AA, NN, RR]): Checked[AA, NN, (R, RR)]

    Applicative product operation.

    Applicative product operation. Errors from this take precedence over other

    Definition Classes
    Checked
  34. def productElementNames: Iterator[String]
    Definition Classes
    Product
  35. val result: R
  36. def reverseAp[AA >: Nothing, NN >: N, RR](f: Checked[AA, NN, (R) => RR]): Checked[AA, NN, RR]

    Reverse applicative operation.

    Reverse applicative operation. Errors from the argument (= this) take precedence over those from the function.

    Definition Classes
    Checked
  37. def successful: Boolean

    Is a Checked.Result with no errors

    Is a Checked.Result with no errors

    Definition Classes
    Checked
  38. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  39. def toEither: Either[Nothing, R]

    Discards nonaborts.

    Discards nonaborts.

    Definition Classes
    Checked
  40. def toEitherMergeNonaborts[L >: N](implicit ev: <:<[Nothing, NonEmptyChain[L]]): Either[NonEmptyChain[L], R]

    Discards the result if there are nonaborts.

    Discards the result if there are nonaborts.

    Definition Classes
    Checked
  41. def toEitherWithNonaborts[L, A1 >: Nothing <: L, N1 >: N <: L]: Either[NonEmptyChain[L], R]

    Discards the result if there are nonaborts.

    Discards the result if there are nonaborts.

    Definition Classes
    Checked
  42. def toOption: Option[R]
    Definition Classes
    Checked
  43. def toResult[NN, RR >: R, A1 >: Nothing <: NN, N1 >: N <: NN](default: => RR): Checked[Nothing, NN, RR]

    Merges aborts with nonaborts, using the given default result if no result is contained.

    Merges aborts with nonaborts, using the given default result if no result is contained.

    Definition Classes
    Checked
  44. def traverse[F[_], AA >: Nothing, NN >: N, RR](f: (R) => F[RR])(implicit F: Applicative[F]): F[Checked[AA, NN, RR]]

    When Checked.Result, apply the function, marking the result as Checked.Result inside the Applicative's context, keeping the warnings.

    When Checked.Result, apply the function, marking the result as Checked.Result inside the Applicative's context, keeping the warnings. when Checked.Abort, lift the Checked.Abort into the Applicative's context

    Definition Classes
    Checked
  45. def trimap[AA, NN, RR](abortMap: (Nothing) => AA, nonabortMap: (N) => NN, resultMap: (R) => RR): Checked[AA, NN, RR]
    Definition Classes
    Checked
  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
    Deprecated

Inherited from Checked[Nothing, N, R]

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped