-
Notifications
You must be signed in to change notification settings - Fork 149
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
initial push for flixcheck #7481
base: master
Are you sure you want to change the base?
Conversation
formatting: added new comments
Hey @BongoSort it looks like this PR doesn't have the IO effect around like you showed today, but you can use the regioned random lib here https://github.com/JonathanStarup/random/tree/v1.0.0 if you want. that avoids IO when you have a seed |
Tak for det, og tak for input i går. Vi kigger på det!
Mvh
Rune
Den ons. 1. maj 2024 kl. 21.42 skrev Jonathan Lindegaard Starup <
***@***.***>:
… Hey @BongoSort <https://github.com/BongoSort> it looks like this PR
doesn't have the IO effect around like you showed today, but you can use
the regioned random lib here
https://github.com/JonathanStarup/random/tree/v1.0.0 if you want. that
avoids IO when you have a seed
—
Reply to this email directly, view it on GitHub
<#7481 (comment)>, or
unsubscribe
<https://github.com/notifications/unsubscribe-auth/AYRNVQEQCBESJJR4HT3DH3DZAFARJAVCNFSM6AAAAABFKQQ7BKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAOBYHE4TOMZQGQ>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
/// Represents a splittable pseudorandom number. | ||
pub enum SplittableRandom(##java.util.SplittableRandom) | ||
|
||
mod SplittableRandom { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oh jeg vidste ikke at i har jeres egen wrapper. Men i kan effect annotere ligesom mit library for at undgå IO når i bruger freshWithSeed
Initial version of QuickCheck for flix, FlixCheck.
This version was used at the meeting 25/03. At this point in time, we do not use monads.