garrity-software/gs-datagen
1
0
Fork 0
Code Issues Pull requests Releases Activity Actions

(patch) Add the satisfy function.
All checks were successful
/ Build and Test Library Snapshot (pull_request) Successful in 2m10s
Details

Browse source
This commit is contained in:
Pat Garrity 2025-09-11 21:46:47 -05:00
parent a74f30f912
commit abb0e26292
Signed by: pfm
GPG key ID: 5CA5D21BAB7F3A76
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
modules/core/src/main/scala/gs/datagen/v0/Datagen.scala
View file

@ -52,6 +52,16 @@ object Datagen:
*/
def gen(): A = generate(())
/** Satisfy the target generator (that requires input) using this generator
* to provide that input.
*
* @param target
* The target generator.
* @return
* The new input-satisfied generator.
*/
def satisfy[B](target: Datagen[B, A]): Gen[B] = target.toGen(gen())
def flatMap[B](f: A => NoInput[B]): NoInput[B] =
new NoInput.Defer[B](() => f(generate(())).generate(()))