c

# Abort

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

Linear Supertypes
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)
Definition Classes
AnyRef → Any
2. final def ##: Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
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()
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
12. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
13. def exists(pred: (Nothing) => 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)
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
Definition Classes
Checked
21. def isAbort
Definition Classes
Checked
22. final def isInstanceOf[T0]
Definition Classes
Any
23. def isResult
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)
Definition Classes
AnyRef
29. val nonaborts: Chain[N]
Definition Classes
AbortChecked
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

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]

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
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