~/bend-docscommunity

LAWS.bend open laws/TODOs

raw source on the hub · import 0x58fe986421eb4ce77da94e55266bfe22/LAWS.bend as LAWS

2 imports
import Base
import ./lib.bend as J

Laws

law encode_null provedin PROOF.bendsource · line 4 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{}) == "null" : String}

law encode_true provedin PROOF.bendsource · line 7 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}}) == "true" : String}

law encode_false provedin PROOF.bendsource · line 10 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{False{}}) == "false" : String}

law encode_num_zero provedin PROOF.bendsource · line 13 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{0}) == "0" : String}

law encode_num_42 provedin PROOF.bendsource · line 16 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{42}) == "42" : String}

law encode_str_hi provedin PROOF.bendsource · line 19 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{"hi"}) == "\"hi\"" : String}

law show_eq_encode_null provedin PROOF.bendsource · line 22 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.show(0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{}) == 0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{}) : String}

law decode_null provedin PROOF.bendsource · line 25 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("null") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law decode_true provedin PROOF.bendsource · line 28 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("true") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law decode_false provedin PROOF.bendsource · line 31 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("false") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{False{}}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law decode_num_42 provedin PROOF.bendsource · line 34 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("42") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{42}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law decode_str_hi provedin PROOF.bendsource · line 37 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("\"hi\"") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{"hi"}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law decode_ws_true provedin PROOF.bendsource · line 40 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(" true ") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_null provedin PROOF.bendsource · line 43 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_true provedin PROOF.bendsource · line 46 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_false provedin PROOF.bendsource · line 52 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{False{}})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{False{}}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_num_42 provedin PROOF.bendsource · line 58 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{42})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{42}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_str_hi provedin PROOF.bendsource · line 64 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{"hi"})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{"hi"}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law encode_num_1 provedin PROOF.bendsource · line 70 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{1}) == "1" : String}

law encode_str_empty provedin PROOF.bendsource · line 73 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{""}) == "\"\"" : String}

law decode_num_0 provedin PROOF.bendsource · line 76 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("0") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{0}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law decode_str_empty provedin PROOF.bendsource · line 79 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("\"\"") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{""}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_num_0 provedin PROOF.bendsource · line 82 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{0})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNum{0}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law roundtrip_str_empty provedin PROOF.bendsource · line 85 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode(0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{""})) == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JStr{""}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}

law show_eq_encode_true provedin PROOF.bendsource · line 88 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.show(0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}}) == 0x58fe986421eb4ce77da94e55266bfe22/lib.Json.encode(0x58fe986421eb4ce77da94e55266bfe22/lib.JBool{True{}}) : String}

law decode_ws_null provedin PROOF.bendsource · line 91 · raw

{0x58fe986421eb4ce77da94e55266bfe22/lib.Json.decode("  null  ") == Some{0x58fe986421eb4ce77da94e55266bfe22/lib.JNull{}} : Maybe<&2, 0x58fe986421eb4ce77da94e55266bfe22/lib.Json>}