diff options
| author | Adelyn Breedlove <[email protected]> | 2019-01-16 23:36:59 -0700 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2019-01-16 23:36:59 -0700 |
| commit | 6354dbd89d354e5e2499b4c2bea5d5fa95e020df (patch) | |
| tree | a0fd199097bdc675628d5bd735017d92d2067e08 /lib/models/role.mli | |
| parent | Merge branch 'switch-to-deriving_yojson' into 'master' (diff) | |
| download | disml-6354dbd89d354e5e2499b4c2bea5d5fa95e020df.tar.xz disml-6354dbd89d354e5e2499b4c2bea5d5fa95e020df.zip | |
eliminate all functors in favour of a simpler approach
Diffstat (limited to 'lib/models/role.mli')
| -rw-r--r-- | lib/models/role.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/models/role.mli b/lib/models/role.mli new file mode 100644 index 0000000..5eca8c1 --- /dev/null +++ b/lib/models/role.mli @@ -0,0 +1,10 @@ +open Async + +type t = Role_t.t +val allow_mention : t -> Yojson.Safe.json Deferred.Or_error.t +val delete : t -> Yojson.Safe.json Deferred.Or_error.t +val disallow_mention : t -> Yojson.Safe.json Deferred.Or_error.t +val hoist : t -> Yojson.Safe.json Deferred.Or_error.t +val set_colour : colour:int -> t -> Yojson.Safe.json Deferred.Or_error.t +val set_name : name:string -> t -> Yojson.Safe.json Deferred.Or_error.t +val unhoist : t -> Yojson.Safe.json Deferred.Or_error.t
\ No newline at end of file |