kadai

Type Members

1. case class Attempt[+A](run: \/[Invalid, A]) extends Product with Serializable

   

   Represents the result of an action, which may be the result itself or an Invalid (error).

   Represents the result of an action, which may be the result itself or an Invalid (error).

   An unsafe operation may be attempted using Attempt.safe(unsafeCall) for instance:

   val r: Attempt[String] = for {
     a <- Attempt.safe { throw new RuntimeException("oh noes!") }
     b <- Attempt.ok("should be ok!")
   } yield b

   will result in an Attempt that holds an Invalid.Err with the RuntimeException in it.

   This class does not – and will not – auto-magically catch exceptions for you in map/flatMap.

   Since

   1.2

2. sealed trait Invalid extends AnyRef

   

   ADT representing something invalid, may be a simple message or an exception.

   ADT representing something invalid, may be a simple message or an exception.

   Contains syntax for converting a String or Throwable into an Invalid, eg:

   import Invalid.syntax
   
   val is: Invalid = "something went wrong".invalid
   val or: Invalid \/ Int = "oh noes!".invalidResult[Int]
   val nit: NonEmptyList[Invalid] = new IllegalStateException.invalidNel

3. implicit class NotEmptySyntax[A, Repr] extends AnyRef

   

   Add syntax:

   Add syntax:

   coll.notEmpty: Option[CollType]

   Definition Classes

   TraversableOptional

4. trait TraversableOptional extends AnyRef

   

   Add safe, total methods such as tailOption to anything Traversable

5. class TraversableOptionalSyntax[A, Repr] extends AnyRef

   

   Add syntax:

   Add syntax:

   coll.tailOption: Option[CollType]
   coll.headTailOption: Option[(ElemType, CollType)]

   Definition Classes

   TraversableOptional