harn-stdlib 0.10.173

Embedded Harn standard library source catalog
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

/** JSON identity for hypothesis plans, receipts, and durable event projections. */
fn __json_identity_value(value: unknown) -> unknown {
  if type_of(value) == "dict" {
    let fields: dict<string, unknown> = {}
    for key in keys(value) {
      fields[key] = __json_identity_value(value[key])
    }
    return fields
  }
  if type_of(value) == "list" {
    return value.map({ item -> __json_identity_value(item) })
  }
  // JSON hosts can re-encode 2000.0 as 2000. Preserve the numeric value while
  // keeping large integer identifiers exact: never route integers through a
  // float, and never cast a float outside the signed integer domain.
  if type_of(value) == "float"
    && value >= -9223372036854776000.0
    && value < 9223372036854776000.0 {
    const integer = to_int(value)
    if integer != nil && to_float(integer) == value {
      return integer
    }
  }
  return value
}

/**
 * Stable hypothesis JSON, independent of whole-valued float representation.
 * Array order, string values, booleans, and exact integer identifiers survive.
 *
 * @effects: []
 * @errors: []
 * @api_stability: experimental
 */
pub fn hypothesis_json_identity(value: unknown) -> string {
  // Traverse the JSON projection, so typed records and other JSON-serializable
  // values cannot bypass normalization in their nested fields.
  return json_stringify(__json_identity_value(json_parse(json_stringify(value))))
}

/**
 * Fingerprint the same JSON identity used by plan and receipt validation.
 *
 * @effects: []
 * @errors: []
 * @api_stability: experimental
 */
pub fn hypothesis_json_fingerprint(value: unknown) -> string {
  return "sha256:" + sha256(hypothesis_json_identity(value))
}