home | career | drupal | java | mac | mysql | perl | scala | uml | unix  

Scala example source code file (TimeTest.scala)

This example Scala source code file (TimeTest.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

arbitrary, duration, durationarbitrary, gen, localdatearbitrary, localtimearbitrary, monthdayarbitrary, period, periodarbitrary, speclite, timetest, yeararbitrary, yearmontharbitrary

The TimeTest.scala Scala example source code

package scalaz.std.java

import scalaz.{SpecLite, Apply}
import java.time._
import org.scalacheck._
import scalaz.scalacheck.ScalaCheckBinding._
import scalaz.scalacheck.ScalazProperties
import scalaz.scalacheck.ScalazProperties._
import scalaz.std.java.time._

object TimeTest extends SpecLite {

  private[this] def gen[A](implicit A: Arbitrary[A]): Gen[A] = A.arbitrary

  private[this] val smallIntArb = Arbitrary(Gen.choose(1, 100000))

  implicit val DurationArbitrary: Arbitrary[Duration] =

  implicit val PeriodArbitrary: Arbitrary[Period] =
    Apply[Arbitrary].apply3(smallIntArb, smallIntArb, smallIntArb)(Period.of(_, _, _))

  implicit val LocalDateArbitrary: Arbitrary[LocalDate] =
      Gen.choose(Year.MIN_VALUE, Year.MAX_VALUE), Gen.choose(1, 12), Gen.choose(1, 28)
    )(LocalDate.of(_, _, _)))

  implicit val LocalTimeArbitrary: Arbitrary[LocalTime] =
      Gen.choose(0, 23), Gen.choose(0, 59), Gen.choose(0, 59), Gen.choose(0, 999999999)
    )(LocalTime.of(_, _, _, _)))

  implicit val YearArbitrary: Arbitrary[Year] =
    Arbitrary(Gen.choose(Year.MIN_VALUE, Year.MAX_VALUE).map(Year.of(_)))

  implicit val YearMonthArbitrary: Arbitrary[YearMonth] =
      Apply[Gen].apply2(Gen.choose(Year.MIN_VALUE, Year.MAX_VALUE), Gen.choose(1, 12))(YearMonth.of(_, _))

  implicit val MonthDayArbitrary: Arbitrary[MonthDay] =
      Apply[Gen].apply2(Gen.choose(1, 12), Gen.choose(1, 28))(MonthDay.of(_, _))

  implicit val monthArbitrary: Arbitrary[Month] =

  checkAll("Duration", monoid.laws[Duration])
  checkAll("Duration", order.laws[Duration])

  checkAll("Period", monoid.laws[Period])
  checkAll("Period", equal.laws[Period])
  checkAll("YearMonth", ScalazProperties.enum.laws[YearMonth])
  checkAll("MonthDay", order.laws[MonthDay])
  checkAll("Month", ScalazProperties.enum.laws[Month])
  checkAll("LocalTime", order.laws[LocalTime])

  checkAll("LocalDate", ScalazProperties.enum.laws[LocalDate])
  checkAll("Year", ScalazProperties.enum.laws[Year])

Other Scala examples (source code examples)

Here is a short list of links related to this Scala TimeTest.scala source code file:

my book on functional programming


new blog posts


Copyright 1998-2019 Alvin Alexander, alvinalexander.com
All Rights Reserved.

A percentage of advertising revenue from
pages under the /java/jwarehouse URI on this website is
paid back to open source projects.