Translating Results

Result translations

to Option

• Result.valid(42).toOption ==== Some(42)

• Result.invalid(1337).toOption ==== None

to immutable Seq

• Result.valid(42).toSeq ==== immutable.Seq(42)

• Result.invalid(1337).toSeq ==== immutable.Seq()

to List

• Result.valid(42).toList ==== List(42)

• Result.invalid(1337).toList ==== Nil

to Stream

• Result.valid(42).toStream ==== Stream(42)

• Result.invalid(1337).toStream ==== Stream()

to Vector

• Result.valid(42).toVector ==== Vector(42)

• Result.invalid(1337).toVector ==== Vector()

to Set

• Result.valid(42).toSet ==== Set(42)

• Result.invalid(1337).toSet[Int] ==== Set.empty[Int]

to Either

• Result.valid(42).toEither ==== Right(42)

• Result.invalid(1337).toEither ==== Left(NonEmptyVector(1337))

to Try

• Result.valid(42).toTry ==== Success(42)

• Result.invalid(Error).toTry ==== Failure(Error)

• typecheck("Result.invalid(1337).toTry") must failWith("Cannot prove that Int <:< Throwable.")