--- /dev/null
+effect Random
+ "random"
+ "java.util.Random"
+
+importJava "org.simantics.scl.runtime.procedure.RandomEffect" where
+ withSeed :: Long -> (<Random,e> a) -> <e> a
+ runRandom :: <Random,e> a -> <Proc,e> a
+
+importJava "java.util.Random" where
+ @JavaName nextInt
+ randomN :: Integer -> <Random> Integer
+
+ @JavaName nextInt
+ randomInteger :: <Random> Integer
+
+ @JavaName nextDouble
+ randomDouble :: <Random> Double
+
+ @JavaName nextFloat
+ randomFloat :: <Random> Float
+
+ @JavaName nextLong
+ randomLong :: <Random> Long
+
+ @JavaName nextBoolean
+ randomBoolean :: <Random> Boolean
\ No newline at end of file