Packages

final case class Abort[+A, +N](abort: A, nonaborts: Chain[N]) extends Checked[A, N, Nothing] with Product with Serializable

Linear Supertypes
Checked[A, N, Nothing], Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Abort
  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 Abort(abort: A, nonaborts: Chain[N])

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. val abort: A
  5. def abortFlatMap[AA, NN >: N, RR >: Nothing](f: (A) => Checked[AA, NN, RR]): Checked[AA, NN, RR]
    Definition Classes
    Checked
  6. def ap[AA >: A, NN >: N, RR](f: Checked[AA, NN, (Nothing) => RR]): Checked[AA, NN, RR]

    Applicative operation.

    Applicative operation. Consistent with the monadic flatMap, i.e.,

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

    Applicative product operation.

    Applicative product operation. Errors from this take precedence over other

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

    Reverse applicative operation.

    Reverse applicative operation. Errors from the argument 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[A, Nothing]

    Discards nonaborts.

    Discards nonaborts.

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

    Discards the result if there are nonaborts.

    Discards the result if there are nonaborts.

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

    Discards the result if there are nonaborts.

    Discards the result if there are nonaborts.

    Definition Classes
    Checked
  42. def toOption: Option[Nothing]
    Definition Classes
    Checked
  43. def toResult[NN, RR >: Nothing, A1 >: A <: 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 >: A, NN >: N, RR](f: (Nothing) => 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: (A) => AA, nonabortMap: (N) => NN, resultMap: (Nothing) => 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

Inherited from Checked[A, N, Nothing]

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped