Encoding
name : FieldName(_shape) -> Str
rename_fields : FieldNames(_shape), (Str -> Str) -> FieldNames(_shape)
shortest_name : FieldNames(_shape) -> U64
longest_name : FieldNames(_shape) -> U64
iter : FieldNames(_shape) -> Iter(FieldName(_shape))
for_size : FieldNames(_shape), U64 -> Iter(FieldName(_shape))
parse : ParseTagUnionSpec(_shape), { tag : Str, encoding : _encoding, state : _state, missing : _err } -> Try({ value : _shape, rest : _state }, _err)
rename_field : JsonEncoding, Str -> Str
allows_trailing_commas : JsonEncoding -> Bool
parse_str : JsonEncoding, JsonState -> Try({ value : Str, rest : JsonState }, Json)
parse_bool : JsonEncoding, JsonState -> Try({ value : Bool, rest : JsonState }, Json)
parse_u8 : JsonEncoding, JsonState -> Try({ value : U8, rest : JsonState }, Json)
parse_i8 : JsonEncoding, JsonState -> Try({ value : I8, rest : JsonState }, Json)
parse_u16 : JsonEncoding, JsonState -> Try({ value : U16, rest : JsonState }, Json)
parse_i16 : JsonEncoding, JsonState -> Try({ value : I16, rest : JsonState }, Json)
parse_u32 : JsonEncoding, JsonState -> Try({ value : U32, rest : JsonState }, Json)
parse_i32 : JsonEncoding, JsonState -> Try({ value : I32, rest : JsonState }, Json)
parse_u64 : JsonEncoding, JsonState -> Try({ value : U64, rest : JsonState }, Json)
parse_i64 : JsonEncoding, JsonState -> Try({ value : I64, rest : JsonState }, Json)
parse_u128 : JsonEncoding, JsonState -> Try({ value : U128, rest : JsonState }, Json)
parse_i128 : JsonEncoding, JsonState -> Try({ value : I128, rest : JsonState }, Json)
parse_dec : JsonEncoding, JsonState -> Try({ value : Dec, rest : JsonState }, Json)
parse_f32 : JsonEncoding, JsonState -> Try({ value : F32, rest : JsonState }, Json)
parse_f64 : JsonEncoding, JsonState -> Try({ value : F64, rest : JsonState }, Json)
parse_null : JsonEncoding, JsonState -> Try(JsonState, Json)
parse_array_start : JsonEncoding, JsonState -> Try(JsonState, Json)
parse_array_next : JsonEncoding, JsonState -> Try([Element(JsonState), Done(JsonState)], Json)
parse_array_after_element : JsonEncoding, JsonState -> Try([Continue(JsonState), Done(JsonState)], Json)
parse_record_field : JsonEncoding, FieldNames(_shape), JsonState -> Try([Field({ field : FieldName(_shape), rest : JsonState }), TryField({ name : Str, rest : JsonState }), TryFieldCaseless({ name : Str, rest : JsonState }), Continue({ rest : JsonState }), Done({ rest : JsonState })], Json)
parse_object_next : JsonEncoding, JsonState -> Try([Entry({ key : Str, rest : JsonState }), Done({ rest : JsonState })], Json)
skip_record_field : JsonEncoding, JsonState -> Try(JsonState, Json)
missing_record_field : JsonEncoding, Str, JsonState -> Json
missing_optional_field : JsonEncoding, Str, JsonState -> [Missing, ..]
invalid_value : JsonEncoding, JsonState -> Json
parse_tag_union : JsonEncoding, ParseTagUnionSpec(a), JsonState -> Try({ value : a, rest : JsonState }, Json)
begin_record : JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_record_field : Str, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
end_record : JsonEncodeState -> Try(JsonEncodeState, _never_fails)
begin_array : JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_array_element : JsonEncodeState -> Try(JsonEncodeState, _never_fails)
end_array : JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_str : Str, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_bool : Bool, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u8 : U8, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i8 : I8, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u16 : U16, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i16 : I16, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u32 : U32, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i32 : I32, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u64 : U64, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i64 : I64, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u128 : U128, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i128 : I128, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_dec : Dec, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_f32 : F32, JsonEncodeState -> Try(JsonEncodeState, [Infinity, NaN, NegativeInfinity])
encode_f64 : F64, JsonEncodeState -> Try(JsonEncodeState, [Infinity, NaN, NegativeInfinity])
encode_null : JsonEncodeState -> Try(JsonEncodeState, _never_fails)
parse_key_str : JsonEncoding, Str -> Try(Str, Json)
parse_key_bool : JsonEncoding, Str -> Try(Bool, Json)
parse_key_u8 : JsonEncoding, Str -> Try(U8, Json)
parse_key_i8 : JsonEncoding, Str -> Try(I8, Json)
parse_key_u16 : JsonEncoding, Str -> Try(U16, Json)
parse_key_i16 : JsonEncoding, Str -> Try(I16, Json)
parse_key_u32 : JsonEncoding, Str -> Try(U32, Json)
parse_key_i32 : JsonEncoding, Str -> Try(I32, Json)
parse_key_u64 : JsonEncoding, Str -> Try(U64, Json)
parse_key_i64 : JsonEncoding, Str -> Try(I64, Json)
parse_key_u128 : JsonEncoding, Str -> Try(U128, Json)
parse_key_i128 : JsonEncoding, Str -> Try(I128, Json)
parse_key_dec : JsonEncoding, Str -> Try(Dec, Json)
parse_key_f32 : JsonEncoding, Str -> Try(F32, Json)
parse_key_f64 : JsonEncoding, Str -> Try(F64, Json)
encode_key_str : JsonEncoding, Str -> Try(Str, _never_fails)
encode_key_bool : JsonEncoding, Bool -> Try(Str, _never_fails)
encode_key_u8 : JsonEncoding, U8 -> Try(Str, _never_fails)
encode_key_i8 : JsonEncoding, I8 -> Try(Str, _never_fails)
encode_key_u16 : JsonEncoding, U16 -> Try(Str, _never_fails)
encode_key_i16 : JsonEncoding, I16 -> Try(Str, _never_fails)
encode_key_u32 : JsonEncoding, U32 -> Try(Str, _never_fails)
encode_key_i32 : JsonEncoding, I32 -> Try(Str, _never_fails)
encode_key_u64 : JsonEncoding, U64 -> Try(Str, _never_fails)
encode_key_i64 : JsonEncoding, I64 -> Try(Str, _never_fails)
encode_key_u128 : JsonEncoding, U128 -> Try(Str, _never_fails)
encode_key_i128 : JsonEncoding, I128 -> Try(Str, _never_fails)
encode_key_dec : JsonEncoding, Dec -> Try(Str, _never_fails)
encode_key_f32 : JsonEncoding, F32 -> Try(Str, [Infinity, NaN, NegativeInfinity])
encode_key_f64 : JsonEncoding, F64 -> Try(Str, [Infinity, NaN, NegativeInfinity])
:= [MissingRequired, InvalidJson]
parse_str : JsonEncoding, JsonState -> Try({ value : Str, rest : JsonState }, Json)
parse_bool : JsonEncoding, JsonState -> Try({ value : Bool, rest : JsonState }, Json)
parse_u8 : JsonEncoding, JsonState -> Try({ value : U8, rest : JsonState }, Json)
parse_i8 : JsonEncoding, JsonState -> Try({ value : I8, rest : JsonState }, Json)
parse_u16 : JsonEncoding, JsonState -> Try({ value : U16, rest : JsonState }, Json)
parse_i16 : JsonEncoding, JsonState -> Try({ value : I16, rest : JsonState }, Json)
parse_u32 : JsonEncoding, JsonState -> Try({ value : U32, rest : JsonState }, Json)
parse_i32 : JsonEncoding, JsonState -> Try({ value : I32, rest : JsonState }, Json)
parse_u64 : JsonEncoding, JsonState -> Try({ value : U64, rest : JsonState }, Json)
parse_i64 : JsonEncoding, JsonState -> Try({ value : I64, rest : JsonState }, Json)
parse_u128 : JsonEncoding, JsonState -> Try({ value : U128, rest : JsonState }, Json)
parse_i128 : JsonEncoding, JsonState -> Try({ value : I128, rest : JsonState }, Json)
parse_dec : JsonEncoding, JsonState -> Try({ value : Dec, rest : JsonState }, Json)
parse_f32 : JsonEncoding, JsonState -> Try({ value : F32, rest : JsonState }, Json)
parse_f64 : JsonEncoding, JsonState -> Try({ value : F64, rest : JsonState }, Json)
parse_null : JsonEncoding, JsonState -> Try(JsonState, Json)
parse_array_start : JsonEncoding, JsonState -> Try(JsonState, Json)
parse_array_next : JsonEncoding, JsonState -> Try([Element(JsonState), Done(JsonState)], Json)
parse_array_after_element : JsonEncoding, JsonState -> Try([Continue(JsonState), Done(JsonState)], Json)
encode_str : JsonEncoding, Str, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_bool : JsonEncoding, Bool, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u8 : JsonEncoding, U8, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i8 : JsonEncoding, I8, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u16 : JsonEncoding, U16, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i16 : JsonEncoding, I16, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u32 : JsonEncoding, U32, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i32 : JsonEncoding, I32, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u64 : JsonEncoding, U64, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i64 : JsonEncoding, I64, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_u128 : JsonEncoding, U128, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_i128 : JsonEncoding, I128, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_dec : JsonEncoding, Dec, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_f32 : JsonEncoding, F32, JsonEncodeState -> Try(JsonEncodeState, [Infinity, NaN, NegativeInfinity])
encode_f64 : JsonEncoding, F64, JsonEncodeState -> Try(JsonEncodeState, [Infinity, NaN, NegativeInfinity])
encode_null : JsonEncoding, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
begin_array : JsonEncoding, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode_array_element : JsonEncoding, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
end_array : JsonEncoding, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
encode : a -> Try(Str, err) where { a.encode_to : a, JsonEncoding -> JsonEncodeState -> Try(JsonEncodeState, err) }
parse : Str -> Try(a, Json) where { a.parser_for : JsonEncoding -> JsonState -> Try({ value : a, rest : JsonState }, Json) }
parse_trailing_commas : Str -> Try(a, Json) where { a.parser_for : JsonEncoding -> JsonState -> Try({ value : a, rest : JsonState }, Json) }
parser_camel : -> Str -> Try(a, Json) where { a.parser_for : JsonEncoding -> JsonState -> Try({ value : a, rest : JsonState }, Json) }
parse_json_bool : Str -> Try({ value : Bool, rest : JsonState }, Json)
parse_json_null : Str -> Try(JsonState, Json)
parse_array_start_from_json : Str -> Try(JsonState, Json)
parse_array_next_from_json : Str -> Try([Element(JsonState), Done(JsonState)], Json)
parse_array_after_element_from_json : JsonEncoding, Str -> Try([Continue(JsonState), Done(JsonState)], Json)
parse_json_unsigned_int : Str, (Str -> Try(a, [BadNumStr])) -> Try({ value : a, rest : JsonState }, Json)
parse_json_signed_int : Str, (Str -> Try(a, [BadNumStr])) -> Try({ value : a, rest : JsonState }, Json)
parse_json_number : Str, (Str -> Try(a, [BadNumStr])) -> Try({ value : a, rest : JsonState }, Json)
dec_from_json_number : Str -> Try(Dec, [BadNumStr])
split_json_number_exponent : Str -> Try({ mantissa : Str, exponent : Str }, [NotFound])
dec_from_json_exponent_parts : Str, Str -> Try(Dec, [BadNumStr])
trim_json_dec_leading_zeros : Str, I64 -> { digits : Str, digits_len : U64, point : I64 }
normalize_json_dec_digits : Bool, Str, U64, I64 -> Try(Str, [BadNumStr])
parse_json_key_unsigned_int : Str, (Str -> Try(a, [BadNumStr])) -> Try(a, Json)
parse_json_key_signed_int : Str, (Str -> Try(a, [BadNumStr])) -> Try(a, Json)
parse_json_key_number : Str, (Str -> Try(a, [BadNumStr])) -> Try(a, Json)
encode_json_number : Str, JsonEncodeState -> Try(JsonEncodeState, _never_fails)
container_needs_comma : JsonEncodeState -> Bool
parse_record_field_from_object : JsonEncoding, Str -> Try([Field({ field : FieldName(_shape), rest : JsonState }), TryField({ name : Str, rest : JsonState }), TryFieldCaseless({ name : Str, rest : JsonState }), Continue({ rest : JsonState }), Done({ rest : JsonState })], Json)
parse_record_field_start : a, Str -> Try([TryField({ name : Str, rest : JsonState })], Json)
skip_json_value : JsonEncoding, JsonState -> Try(JsonState, Json)
skip_json_object : JsonEncoding, Str -> Try(JsonState, Json)
skip_json_array : JsonEncoding, Str -> Try(JsonState, Json)
parse_tag_union_from_json : Str, JsonEncoding, ParseTagUnionSpec(a) -> Try({ value : a, rest : JsonState }, Json)
finish_tag_payload : JsonEncoding, a, Str -> Try({ value : a, rest : JsonState }, Json)
consume_empty_json_object : Str -> Try({ after : Str }, Json)
is_json_scalar : Str -> Bool
is_json_number : Str -> Bool
split_json_string_tail : Str -> Try({ value : Str, after : Str }, Json)
split_json_scalar_tail : Str -> Try({ value : Str, after : Str }, Json)