diff options
| author | Adelyn Breelove <[email protected]> | 2018-12-13 15:50:37 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2018-12-13 15:50:37 -0700 |
| commit | 179d9598fe62e2966471b312fd438e98ff3a272a (patch) | |
| tree | cbe69315ccd51dc69912a39fee30dfa767fa491e /lib/models/member_j.mli | |
| parent | Working on deriving types from json (diff) | |
| download | disml-179d9598fe62e2966471b312fd438e98ff3a272a.tar.xz disml-179d9598fe62e2966471b312fd438e98ff3a272a.zip | |
Fix more dispatch issues
Diffstat (limited to 'lib/models/member_j.mli')
| -rw-r--r-- | lib/models/member_j.mli | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/lib/models/member_j.mli b/lib/models/member_j.mli index 28c89fd..f160b6d 100644 --- a/lib/models/member_j.mli +++ b/lib/models/member_j.mli @@ -6,7 +6,15 @@ type user = User_t.t type snowflake = Snowflake_t.t type t = Member_t.t = { - user: user; + nick: string option; + roles: snowflake list; + joined_at: string; + deaf: bool; + mute: bool; + user: user +} + +type partial_member = Member_t.partial_member = { nick: string option; roles: snowflake list; joined_at: string; @@ -74,3 +82,23 @@ val t_of_string : string -> t (** Deserialize JSON data of type {!t}. *) +val write_partial_member : + Bi_outbuf.t -> partial_member -> unit + (** Output a JSON value of type {!partial_member}. *) + +val string_of_partial_member : + ?len:int -> partial_member -> string + (** Serialize a value of type {!partial_member} + into a JSON string. + @param len specifies the initial length + of the buffer used internally. + Default: 1024. *) + +val read_partial_member : + Yojson.Safe.lexer_state -> Lexing.lexbuf -> partial_member + (** Input JSON data of type {!partial_member}. *) + +val partial_member_of_string : + string -> partial_member + (** Deserialize JSON data of type {!partial_member}. *) + |