aboutsummaryrefslogtreecommitdiff
path: root/lib/models/gen/user_j.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/models/gen/user_j.ml')
-rw-r--r--lib/models/gen/user_j.ml468
1 files changed, 0 insertions, 468 deletions
diff --git a/lib/models/gen/user_j.ml b/lib/models/gen/user_j.ml
deleted file mode 100644
index e281a7f..0000000
--- a/lib/models/gen/user_j.ml
+++ /dev/null
@@ -1,468 +0,0 @@
-(* Auto-generated from "user.atd" *)
-[@@@ocaml.warning "-27-32-35-39"]
-
-type snowflake = Snowflake_t.t
-
-type t = User_t.t = {
- id: snowflake;
- username: string;
- discriminator: int;
- avatar: string option;
- bot: bool
-}
-
-type partial_user = User_t.partial_user = { id: snowflake }
-
-let write_snowflake = (
- Snowflake_j.write_t
-)
-let string_of_snowflake ?(len = 1024) x =
- let ob = Bi_outbuf.create len in
- write_snowflake ob x;
- Bi_outbuf.contents ob
-let read_snowflake = (
- Snowflake_j.read_t
-)
-let snowflake_of_string s =
- read_snowflake (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
-let write__1 = (
- Atdgen_runtime.Oj_run.write_option (
- Yojson.Safe.write_string
- )
-)
-let string_of__1 ?(len = 1024) x =
- let ob = Bi_outbuf.create len in
- write__1 ob x;
- Bi_outbuf.contents ob
-let read__1 = (
- fun p lb ->
- Yojson.Safe.read_space p lb;
- match Yojson.Safe.start_any_variant p lb with
- | `Edgy_bracket -> (
- match Yojson.Safe.read_ident p lb with
- | "None" ->
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_gt p lb;
- (None : _ option)
- | "Some" ->
- Atdgen_runtime.Oj_run.read_until_field_value p lb;
- let x = (
- Atdgen_runtime.Oj_run.read_string
- ) p lb
- in
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_gt p lb;
- (Some x : _ option)
- | x ->
- Atdgen_runtime.Oj_run.invalid_variant_tag p x
- )
- | `Double_quote -> (
- match Yojson.Safe.finish_string p lb with
- | "None" ->
- (None : _ option)
- | x ->
- Atdgen_runtime.Oj_run.invalid_variant_tag p x
- )
- | `Square_bracket -> (
- match Atdgen_runtime.Oj_run.read_string p lb with
- | "Some" ->
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_comma p lb;
- Yojson.Safe.read_space p lb;
- let x = (
- Atdgen_runtime.Oj_run.read_string
- ) p lb
- in
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_rbr p lb;
- (Some x : _ option)
- | x ->
- Atdgen_runtime.Oj_run.invalid_variant_tag p x
- )
-)
-let _1_of_string s =
- read__1 (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
-let write_t : _ -> t -> _ = (
- fun ob x ->
- Bi_outbuf.add_char ob '{';
- let is_first = ref true in
- if !is_first then
- is_first := false
- else
- Bi_outbuf.add_char ob ',';
- Bi_outbuf.add_string ob "\"id\":";
- (
- write_snowflake
- )
- ob x.id;
- if !is_first then
- is_first := false
- else
- Bi_outbuf.add_char ob ',';
- Bi_outbuf.add_string ob "\"username\":";
- (
- Yojson.Safe.write_string
- )
- ob x.username;
- if !is_first then
- is_first := false
- else
- Bi_outbuf.add_char ob ',';
- Bi_outbuf.add_string ob "\"discriminator\":";
- (
- Yojson.Safe.write_int
- )
- ob x.discriminator;
- (match x.avatar with None -> () | Some x ->
- if !is_first then
- is_first := false
- else
- Bi_outbuf.add_char ob ',';
- Bi_outbuf.add_string ob "\"avatar\":";
- (
- Yojson.Safe.write_string
- )
- ob x;
- );
- if x.bot <> false then (
- if !is_first then
- is_first := false
- else
- Bi_outbuf.add_char ob ',';
- Bi_outbuf.add_string ob "\"bot\":";
- (
- Yojson.Safe.write_bool
- )
- ob x.bot;
- );
- Bi_outbuf.add_char ob '}';
-)
-let string_of_t ?(len = 1024) x =
- let ob = Bi_outbuf.create len in
- write_t ob x;
- Bi_outbuf.contents ob
-let read_t = (
- fun p lb ->
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_lcurl p lb;
- let field_id = ref (Obj.magic (Sys.opaque_identity 0.0)) in
- let field_username = ref (Obj.magic (Sys.opaque_identity 0.0)) in
- let field_discriminator = ref (Obj.magic (Sys.opaque_identity 0.0)) in
- let field_avatar = ref (None) in
- let field_bot = ref (false) in
- let bits0 = ref 0 in
- try
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_object_end lb;
- Yojson.Safe.read_space p lb;
- let f =
- fun s pos len ->
- if pos < 0 || len < 0 || pos + len > String.length s then
- invalid_arg "out-of-bounds substring position or length";
- match len with
- | 2 -> (
- if String.unsafe_get s pos = 'i' && String.unsafe_get s (pos+1) = 'd' then (
- 0
- )
- else (
- -1
- )
- )
- | 3 -> (
- if String.unsafe_get s pos = 'b' && String.unsafe_get s (pos+1) = 'o' && String.unsafe_get s (pos+2) = 't' then (
- 4
- )
- else (
- -1
- )
- )
- | 6 -> (
- if String.unsafe_get s pos = 'a' && String.unsafe_get s (pos+1) = 'v' && String.unsafe_get s (pos+2) = 'a' && String.unsafe_get s (pos+3) = 't' && String.unsafe_get s (pos+4) = 'a' && String.unsafe_get s (pos+5) = 'r' then (
- 3
- )
- else (
- -1
- )
- )
- | 8 -> (
- if String.unsafe_get s pos = 'u' && String.unsafe_get s (pos+1) = 's' && String.unsafe_get s (pos+2) = 'e' && String.unsafe_get s (pos+3) = 'r' && String.unsafe_get s (pos+4) = 'n' && String.unsafe_get s (pos+5) = 'a' && String.unsafe_get s (pos+6) = 'm' && String.unsafe_get s (pos+7) = 'e' then (
- 1
- )
- else (
- -1
- )
- )
- | 13 -> (
- if String.unsafe_get s pos = 'd' && String.unsafe_get s (pos+1) = 'i' && String.unsafe_get s (pos+2) = 's' && String.unsafe_get s (pos+3) = 'c' && String.unsafe_get s (pos+4) = 'r' && String.unsafe_get s (pos+5) = 'i' && String.unsafe_get s (pos+6) = 'm' && String.unsafe_get s (pos+7) = 'i' && String.unsafe_get s (pos+8) = 'n' && String.unsafe_get s (pos+9) = 'a' && String.unsafe_get s (pos+10) = 't' && String.unsafe_get s (pos+11) = 'o' && String.unsafe_get s (pos+12) = 'r' then (
- 2
- )
- else (
- -1
- )
- )
- | _ -> (
- -1
- )
- in
- let i = Yojson.Safe.map_ident p f lb in
- Atdgen_runtime.Oj_run.read_until_field_value p lb;
- (
- match i with
- | 0 ->
- field_id := (
- (
- read_snowflake
- ) p lb
- );
- bits0 := !bits0 lor 0x1;
- | 1 ->
- field_username := (
- (
- Atdgen_runtime.Oj_run.read_string
- ) p lb
- );
- bits0 := !bits0 lor 0x2;
- | 2 ->
- field_discriminator := (
- (
- Atdgen_runtime.Oj_run.read_int
- ) p lb
- );
- bits0 := !bits0 lor 0x4;
- | 3 ->
- if not (Yojson.Safe.read_null_if_possible p lb) then (
- field_avatar := (
- Some (
- (
- Atdgen_runtime.Oj_run.read_string
- ) p lb
- )
- );
- )
- | 4 ->
- if not (Yojson.Safe.read_null_if_possible p lb) then (
- field_bot := (
- (
- Atdgen_runtime.Oj_run.read_bool
- ) p lb
- );
- )
- | _ -> (
- Yojson.Safe.skip_json p lb
- )
- );
- while true do
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_object_sep p lb;
- Yojson.Safe.read_space p lb;
- let f =
- fun s pos len ->
- if pos < 0 || len < 0 || pos + len > String.length s then
- invalid_arg "out-of-bounds substring position or length";
- match len with
- | 2 -> (
- if String.unsafe_get s pos = 'i' && String.unsafe_get s (pos+1) = 'd' then (
- 0
- )
- else (
- -1
- )
- )
- | 3 -> (
- if String.unsafe_get s pos = 'b' && String.unsafe_get s (pos+1) = 'o' && String.unsafe_get s (pos+2) = 't' then (
- 4
- )
- else (
- -1
- )
- )
- | 6 -> (
- if String.unsafe_get s pos = 'a' && String.unsafe_get s (pos+1) = 'v' && String.unsafe_get s (pos+2) = 'a' && String.unsafe_get s (pos+3) = 't' && String.unsafe_get s (pos+4) = 'a' && String.unsafe_get s (pos+5) = 'r' then (
- 3
- )
- else (
- -1
- )
- )
- | 8 -> (
- if String.unsafe_get s pos = 'u' && String.unsafe_get s (pos+1) = 's' && String.unsafe_get s (pos+2) = 'e' && String.unsafe_get s (pos+3) = 'r' && String.unsafe_get s (pos+4) = 'n' && String.unsafe_get s (pos+5) = 'a' && String.unsafe_get s (pos+6) = 'm' && String.unsafe_get s (pos+7) = 'e' then (
- 1
- )
- else (
- -1
- )
- )
- | 13 -> (
- if String.unsafe_get s pos = 'd' && String.unsafe_get s (pos+1) = 'i' && String.unsafe_get s (pos+2) = 's' && String.unsafe_get s (pos+3) = 'c' && String.unsafe_get s (pos+4) = 'r' && String.unsafe_get s (pos+5) = 'i' && String.unsafe_get s (pos+6) = 'm' && String.unsafe_get s (pos+7) = 'i' && String.unsafe_get s (pos+8) = 'n' && String.unsafe_get s (pos+9) = 'a' && String.unsafe_get s (pos+10) = 't' && String.unsafe_get s (pos+11) = 'o' && String.unsafe_get s (pos+12) = 'r' then (
- 2
- )
- else (
- -1
- )
- )
- | _ -> (
- -1
- )
- in
- let i = Yojson.Safe.map_ident p f lb in
- Atdgen_runtime.Oj_run.read_until_field_value p lb;
- (
- match i with
- | 0 ->
- field_id := (
- (
- read_snowflake
- ) p lb
- );
- bits0 := !bits0 lor 0x1;
- | 1 ->
- field_username := (
- (
- Atdgen_runtime.Oj_run.read_string
- ) p lb
- );
- bits0 := !bits0 lor 0x2;
- | 2 ->
- field_discriminator := (
- (
- Atdgen_runtime.Oj_run.read_int
- ) p lb
- );
- bits0 := !bits0 lor 0x4;
- | 3 ->
- if not (Yojson.Safe.read_null_if_possible p lb) then (
- field_avatar := (
- Some (
- (
- Atdgen_runtime.Oj_run.read_string
- ) p lb
- )
- );
- )
- | 4 ->
- if not (Yojson.Safe.read_null_if_possible p lb) then (
- field_bot := (
- (
- Atdgen_runtime.Oj_run.read_bool
- ) p lb
- );
- )
- | _ -> (
- Yojson.Safe.skip_json p lb
- )
- );
- done;
- assert false;
- with Yojson.End_of_object -> (
- if !bits0 <> 0x7 then Atdgen_runtime.Oj_run.missing_fields p [| !bits0 |] [| "id"; "username"; "discriminator" |];
- (
- {
- id = !field_id;
- username = !field_username;
- discriminator = !field_discriminator;
- avatar = !field_avatar;
- bot = !field_bot;
- }
- : t)
- )
-)
-let t_of_string s =
- read_t (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
-let write_partial_user : _ -> partial_user -> _ = (
- fun ob x ->
- Bi_outbuf.add_char ob '{';
- let is_first = ref true in
- if !is_first then
- is_first := false
- else
- Bi_outbuf.add_char ob ',';
- Bi_outbuf.add_string ob "\"id\":";
- (
- write_snowflake
- )
- ob x.id;
- Bi_outbuf.add_char ob '}';
-)
-let string_of_partial_user ?(len = 1024) x =
- let ob = Bi_outbuf.create len in
- write_partial_user ob x;
- Bi_outbuf.contents ob
-let read_partial_user = (
- fun p lb ->
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_lcurl p lb;
- let field_id = ref (Obj.magic (Sys.opaque_identity 0.0)) in
- let bits0 = ref 0 in
- try
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_object_end lb;
- Yojson.Safe.read_space p lb;
- let f =
- fun s pos len ->
- if pos < 0 || len < 0 || pos + len > String.length s then
- invalid_arg "out-of-bounds substring position or length";
- if len = 2 && String.unsafe_get s pos = 'i' && String.unsafe_get s (pos+1) = 'd' then (
- 0
- )
- else (
- -1
- )
- in
- let i = Yojson.Safe.map_ident p f lb in
- Atdgen_runtime.Oj_run.read_until_field_value p lb;
- (
- match i with
- | 0 ->
- field_id := (
- (
- read_snowflake
- ) p lb
- );
- bits0 := !bits0 lor 0x1;
- | _ -> (
- Yojson.Safe.skip_json p lb
- )
- );
- while true do
- Yojson.Safe.read_space p lb;
- Yojson.Safe.read_object_sep p lb;
- Yojson.Safe.read_space p lb;
- let f =
- fun s pos len ->
- if pos < 0 || len < 0 || pos + len > String.length s then
- invalid_arg "out-of-bounds substring position or length";
- if len = 2 && String.unsafe_get s pos = 'i' && String.unsafe_get s (pos+1) = 'd' then (
- 0
- )
- else (
- -1
- )
- in
- let i = Yojson.Safe.map_ident p f lb in
- Atdgen_runtime.Oj_run.read_until_field_value p lb;
- (
- match i with
- | 0 ->
- field_id := (
- (
- read_snowflake
- ) p lb
- );
- bits0 := !bits0 lor 0x1;
- | _ -> (
- Yojson.Safe.skip_json p lb
- )
- );
- done;
- assert false;
- with Yojson.End_of_object -> (
- if !bits0 <> 0x1 then Atdgen_runtime.Oj_run.missing_fields p [| !bits0 |] [| "id" |];
- (
- {
- id = !field_id;
- }
- : partial_user)
- )
-)
-let partial_user_of_string s =
- read_partial_user (Yojson.Safe.init_lexer ()) (Lexing.from_string s)
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-11 20:12:34 +0000