Scala example source code file (DievTest.scala)

This example Scala source code file (DievTest.scala) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Scala by Example" ^TM.

Learn more about this Scala project at its project page.

Java - Scala tags/keywords

diev, dievtest, int, list, random, set, speclite

The DievTest.scala Scala example source code

package scalaz

import std.AllInstances._
import scalaz.scalacheck.ScalazProperties._
import scalaz.scalacheck.ScalazArbitrary._
import scala.util.Random
import org.scalacheck.Prop.forAll

object DievTest extends SpecLite {
  val random = new Random()

  "insert order makes no difference" ! forAll {
    (list: List[Int]) => {
      val shuffledList = random.shuffle(list)
      val dievFromList = list.foldLeft(Diev.empty[Int])(_ + _)
      val dievFromShuffledList = shuffledList.foldLeft(Diev.empty[Int])(_ + _)
      dievFromList must_===(dievFromShuffledList)
    }
  }

  "fixIntervalOrder" ! forAll {
    (tuple: (Int, Int)) => {
      val expectedResult = if (tuple._1 > tuple._2) tuple.swap else tuple
      DievInterval.fixIntervalOrder(tuple) must_===(expectedResult)
    }
  }

  // TODO: Use data table to test subtractInterval.

  "fromValuesSeq / toSet" ! forAll {
    (set: Set[Int]) => Diev.fromValuesSeq(set.toSeq).toSet must_===(set)
  }

  "fromValuesSeq / toList" ! forAll {
    (list: List[Int]) => {
      val sortedList = list.toSet.toList.sorted
      Diev.fromValuesSeq(list).toList must_===(sortedList)
    }
  }

  "++ associativity" ! forAll {
    (first: Diev[Int], second: Diev[Int]) => first ++ second must_===(second ++ first)
  }

  "intervals / fromIntervalsSeq" ! forAll {
    (original: Diev[Int]) => Diev.fromIntervalsSeq(original.intervals) must_===(original)
  }

  "-- / ++" ! forAll {
    (first: Diev[Int], second: Diev[Int]) => first -- second ++ second must_===(first ++ second)
  }

  checkAll(equal.laws[Diev[Int]])
  checkAll(monoid.laws[Diev[Int]])
}