Skip to content

Instantly share code, notes, and snippets.

@scalolli

scalolli/Or.scala

Created June 20, 2018 19:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save scalolli/7728581fb1ecba56e44897e49320a766 to your computer and use it in GitHub Desktop.
Save scalolli/7728581fb1ecba56e44897e49320a766 to your computer and use it in GitHub Desktop.
Download ZIP
ScalaCheckOr
Raw
Or.scala
sealed trait Or[A, B]
object Or {
case class FstA, B extends Or[A, B]
case class SndA, B extends Or[A, B]
}
implicit def eqOr[A: Eq, B: Eq]: Eq[Or[A, B]] = Eq.fromUniversalEquals
implicit def arbitraryOrA, B: Arbitrary[Gen[Or[A, B]]] = Arbitrary(
Gen.oneOf(Seq(Arbitrary.arbitrary[A].map(Fst()), Arbitrary.arbitrary[B].map(Snd())))
)
checkAll("SemiGroup laws for Or", SemigroupTests[Or[Int, String]].semigroup)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment