Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Conversation

Notices

Embed this notice
windymelt :scala: :pgp: (windymelt@mstdn.takuya-a.net)'s status on Thursday, 13-Jul-2023 11:49:05 JST windymelt :scala: :pgp:

[Tw] はてなブログに投稿しました #はてなブログ
ScalaCheckで任意の範囲のDateTimeを生成するGen - Lambdaカクテル https://t.co/ITBjqdV3kF
[de] https://twitter.com/windymelt/status/1679320753064534017
In conversation Thursday, 13-Jul-2023 11:49:05 JST from mstdn.takuya-a.net permalink
Attachments
1. Domain not in remote thumbnail source whitelist: ogimage.blog.st-hatena.com
  
  ScalaCheckで任意の範囲のDateTimeを生成するGen
  
  from Windymelt
  
  プロパティベースドテストを行うライブラリであるScalaCheckには、任意の値を生成できるGenという仕組みがある。任意の日付時刻を生成するためのGenを定義したメモを残しておく。 Gen Genとは値を生成するためのジェネレータである。例えばGen.longは任意のLongを生成する: import org.scalacheck.Gen val longGen = Gen.long longGen.sample // => Some(12345L) 詳しくは別稿で説明したいが、GenはScalaTestと組み合わせて使える: import org.scalacheck.Gen import…
2. Untitled attachment

Feeds