47degrees/scalacheck-toolbox

A helping hand for generating sensible data with ScalaCheck

scalacheck-toolbox's Issues

Perform 0.1 release

Migrate to latest microsites plugin

Migrate group id com.47deg

We need to migrate new releases to the group id com.47deg

Automatically publish SNAPSHOTs on PR merge

"Illegal instant due to time zone offset transition"

Hi, first of all thanks for saving us the trouble to deal with random date generation.

From time to time we run into an 'Illegal instant due to time zone offset transition' exception due to generating a date which happens to "not exist".

Should be easy to reproduce like this:

import com.fortysevendeg.scalacheck.datetime.joda.ArbitraryJoda._
import org.scalacheck.Arbitrary.arbitrary
import org.joda.time.DateTime

(1 to 10000).map(_ => arbitrary[DateTime].sample)

sometimes results in e.g.

org.joda.time.IllegalInstantException: Illegal instant due to time zone offset transition (daylight savings time 'gap'): 173829578-03-26T02:52:52.521 (Europe/Berlin)
  at org.joda.time.chrono.ZonedChronology.localToUTC(ZonedChronology.java:157)
  at org.joda.time.chrono.ZonedChronology.getDateTimeMillis(ZonedChronology.java:122)
  at org.joda.time.chrono.AssembledChronology.getDateTimeMillis(AssembledChronology.java:133)
  at org.joda.time.base.BaseDateTime.<init>(BaseDateTime.java:257)
  at org.joda.time.base.BaseDateTime.<init>(BaseDateTime.java:198)
  at org.joda.time.DateTime.<init>(DateTime.java:476)
[....]

The link above has more details on the cause and some ideas on mitigating it, though I am not sure what steps would be appropriate in this case to still have completely random dates. Thanks!

Create magic strings generators

Automatically rebuilt from https://github.com/minimaxir/big-list-of-naughty-strings

ThreetenBP support for dates

Currently, we have JDK 8 time and Joda Time for the Date generators. Are there any plans to support ThreetenBP?

Update dependency org.spire-math:kind-projector:plugin->default(compile)

Actual version: 0.9.3
Patch: 0.9.4
Minor: -
Major: -

Licence/copyright

Use the sbt-sonatype plugin

https://github.com/xerial/sbt-sonatype

Add Cogen instances

These shouldn't be hard to implement - all we need is a conversion to some concrete representation. For example, for LocalDate we can use Cogen[Long].contramap(_.toEpochDay).

As for the motivation, cats makes extensive use of Cogens in cats-laws.

Filter is failing with ZonedDateTime generator

genZonedDateTime has very big space for year which is preventing strict date formatting like yyyyMMdd.

year <- Gen.choose(-292278994, 292278994)

With above range below filter mostly fails

year <- Gen.choose(-292278994, 292278994) suchThat{r => r.getYear()>1970 && r.getYear()<3000}

I know the range is due to

TimeZone.setDefault(TimeZone.getTimeZone("UTC"));
Timestamp t1 = new Timestamp(Long.MIN_VALUE);
assertEquals("292278994-08-17 07:12:55.192", t1.toString());

However, it is better if library can provide some way to constraint year range for rational generator

Fix the granularity of datetime generators

Change this project to be a utils library

With modules for

• Date/time
• Magic data (Generators for "drop table students; --" etc)
• Useful combinators/parameterized generators etc

Library Logo

Create a logo for the library, prior to releaes

Create combinators

Integrate sbt-org-policies

We need to integrate sbt-org-policies.

Add code formatting to the build

Create a build/contribute doc

Investigate build and code coverage issues

Automatically publish documentation on PR merge

add localdate, localdatetime etc for jdk8

Hi Noel,
I need full set of the these things.
I'm willing to do this in next day or two if you'd like but wanted to check no current work in progress

Release for Scala3

We're using the library in tapir, would be great to enable also these tests for Scala3. Thanks!

Add samples or links to docs in README

Got a random test failure in Travis for Scala 2.12

Log message:

[info] ! Java 8 Generators.arbitrary generation with a granularity generates appropriate ZonedDateTimes: Falsified after 58167 passed tests.
[info] > Labels of failing property: 
[info] Hours: [phone]T04:00+13:45[NZ-CHAT]
[info] > ARG_0: (com.fortysevendeg.scalacheck.datetime.jdk8.granularity.package$$anon$3@2c86bf85,com.fortysevendeg.scalacheck.datetime.jdk8.GenJdk8Properties$$$Lambda$2144/1142872265@35fcbed8)
[info] > ARG_1: [phone]T04:00+13:45[NZ-CHAT]

Generators for Joda DateTime for periods

Documentation

Include typical usage, helpful patterns etc

Create typeclasses for the generators to work with other datetime libs

Build for Scala JS

Define supported date/time classes across joda and j8 to support

This needs to be defined and implemented before v1

One-button releasing

Including tagging

Integrate sbt-org-policies plugin

Support 2.13

We are unfortunately blocked by this to upgrade to 2.13. When is a 2.13 release planned?

I did some work on the sbt-org-policies project as well to support 2.13:

• 47degrees/sbt-org-policies#1190
• 47degrees/sbt-org-policies#1189

Afterwards I would hope that scalacheck-toolbox could be released as well

Fixes microsite theme

After updating sbt-microsites version up to 1.1.2 the microsite configuration for sbt-microsites should include the micrositeTheme := "pattern" setting to keep the style given when the website was redesign.

Create tests that the Jars are built correctly

Publish version for Scala 2.12

TimeZone support

I often have use cases where I need to test dates within a specific time zone. It's probably fairly simple to adapt scalacheck-datetime's Gen instances to my need - just map into it and set the desired timezone - but then I need to make sure this still falls within the expected date boundaries.

Would it be possible to, say, add a new time zone parameter to genDateTimeWithinRange? Might be implicit (probably not a great idea), might have a default value of UTC if you don't want to break backwards compatibility...