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