:= [Target({ name : Str, run! : List(U8) => U8, show : List(U8) -> Str, example_count : () -> U64, example : U64 -> { name : Str, revision : Str, bytes : List(U8) } })]Advanced, type-erased bridge between a typed Roc property and the native runner.
Applications normally construct this value with Fuzz.target or
Fuzz.target_with and expose it as target. The methods here define the
small byte-oriented ABI consumed by the embedded runner.
new : { name : Str, run! : List(U8) => U8, show : List(U8) -> Str, example_count : () -> U64, example : U64 -> { name : Str, revision : Str, bytes : List(U8) } } -> TargetConstruct a target from low-level runner callbacks.
run! returns zero for a kept input and a non-zero status for a rejected
input. Failures should use crash or expect rather than status codes.
Return the human-readable target name reported by the executable.
Decode and test one raw input, returning the runner status code.
This is effectful so a target may read the platform's allocation
counters (see Fuzz.alloc_count!). A target whose property needs no
effects can still be written as a plain pure function; a pure body
satisfies this signature unchanged.
Decode one raw input into a human-readable typed value.
example_count : Target -> U64Number of source-declared examples, independent of corpus retention.
Prepare one source example as corpus bytes. The native host copies the returned fields and releases all temporary Roc values before execution.