TODOs

[KtorZ]

[!NOTE]

If you intend to work on one of the following points:

• use the bulleye icon to create a new issue from a bullet point
• assign yourself to the issue
• keep us posted

Api

Primitives

aiken/fuzz

• [x] #8
• [x] fn int_at_least(min: Int) -> Fuzzer<Int>
• [x] fn int_at_most(max: Int) -> Fuzzer<Int>
• [x] fn bytearray() -> Fuzzer<ByteArray>
• [x] fn bytearray_between(min: Int, max: Int) -> Fuzzer<ByteArray>
• [x] fn list_at_least(fuzz_elem: Fuzzer<a>, min: Int) -> Fuzzer<List<a>>
• [x] fn list_at_most(fuzz_elem: Fuzzer<a>, max: Int) -> Fuzzer<List<a>>
• [x] fn either(fuzz_left: Fuzzer<a>, fuzz_right: Fuzzer<a>) -> Fuzzer<a>
• [x] fn both(fuzz_left: Fuzzer<a>, fuzz_right: Fuzzer<b>) -> Fuzzer<(a, b)>
• [x] #3
• [x] #4
• [x] #5
• [x] #6

Common types

[!NOTE]

Considering:

type Sample<a> = Fuzzer<List<a>>

aiken/fuzz/dict

• [ ] fn dict(fuzz_key: Fuzzer<k>, fuzz_value: Fuzzer<v>) -> Fuzzer<Dict<k, v>>
• [ ] fn dict_between(fuzz_key: Fuzzer<k>, fuzz_value: Fuzzer<v>, min: Int, max: Int) -> Fuzzer<Dict<k, v>>
• [ ] fn dict_at_least(fuzz_key: Fuzzer<k>, fuzz_value: Fuzzer<v>, min: Int, max: Int) -> Fuzzer<Dict<k, v>>
• [ ] fn dict_at_most(fuzz_key: Fuzzer<k>, fuzz_value: Fuzzer<v>, min: Int, max: Int) -> Fuzzer<Dict<k, v>>
• [ ] fn dict_from(keys: Sample<k>, fuzz_value: Fuzzer<v>) -> Fuzzer<Dict<k, v>>

aiken/fuzz/math/rational

• [ ] fn rational() -> Fuzzer<Rational>
• [ ] fn rational_between(min: Rational, max: Rational) -> Fuzzer<Rational>
• [ ] fn rational_at_least(min: Rational) -> Fuzzer<Rational>
• [ ] fn rational_at_most(max: Rational) -> Fuzzer<Rational>

aiken/fuzz/transaction/value

• [ ] fn lovelace() -> Fuzzer<Int> (a bespoke int fuzzer for lovelace quantities)

aiken/fuzz/transaction/certificate

• [ ] fn certificate(delegators: Sample<StakeCredential>, pools: Sample<PoolId>) -> Fuzzer<Certificate>

aiken/fuzz/transaction/credential

• [ ] fn address(payment_credentials: Sample<PaymentCredential>, delegation_credentials: Sample<DelegationCredential>) -> Fuzzer<Address>

Documentation

• [x] Rework README and provide a high-level overview of the project.
• [x] Add more inline-doc examples to (at least) primitives
• [x] Write a small tutorial to illustrate the capabilities of the library and showcase some patterns.

Experiments

• [ ] Experiment with Scott-Encoded Tuples and analyze performances in comparison with Data-tuples.

[waalge]

dict in an age of pairs. I guess we want both/ one a special case of the other?