Merge pull request #4 from aiken-lang/fuzz

Add Fuzzer & PRNG to the prelude.

lib/aiken.ak

@@ -112,6 +112,23 @@ pub type Option<a> {
   None
 }
 
+/// <small>Minimum Plutus Version</small> | <small>1</small>
+/// ---                                   | ---
+///
+/// A type that represent Pseudo-random generated values.
+pub type PRNG {
+  Seeded { seed: Int, choices: List<Int> }
+  Replayed { choices: List<Int> }
+}
+
+/// <small>Minimum Plutus Version</small> | <small>1</small>
+/// ---                                   | ---
+///
+/// A type to capture random computation that may depend on one another. Useful
+/// for constructing (pseudo-)random values for property-based test.
+pub type Fuzzer<a> =
+  fn(PRNG) -> Option<(PRNG, a)>
+
 /// <small>Minimum Plutus Version</small> | <small>1</small>
 /// ---                                   | ---
 ///