aboutsummaryrefslogtreecommitdiff
path: root/lib/models/id
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-23 10:40:04 -0700
committerAdelyn Breelove <[email protected]>2019-01-23 10:40:04 -0700
commitf23a12be25f819b9cc9ae05829b14edb6807082f (patch)
treee90bf9fa5a469c9707feccce9bf3926858c67f35 /lib/models/id
parentfix a doc typo (diff)
downloaddisml-f23a12be25f819b9cc9ae05829b14edb6807082f.tar.xz
disml-f23a12be25f819b9cc9ae05829b14edb6807082f.zip
Guild ID and Channel ID abstractions
Diffstat (limited to 'lib/models/id')
-rw-r--r--lib/models/id/channel_id.ml3
-rw-r--r--lib/models/id/channel_id.mli3
-rw-r--r--lib/models/id/channel_id_t.ml3
-rw-r--r--lib/models/id/channel_id_t.mli3
-rw-r--r--lib/models/id/guild_id.ml1
-rw-r--r--lib/models/id/guild_id.mli2
-rw-r--r--lib/models/id/guild_id_t.ml3
-rw-r--r--lib/models/id/guild_id_t.mli3
8 files changed, 21 insertions, 0 deletions
diff --git a/lib/models/id/channel_id.ml b/lib/models/id/channel_id.ml
new file mode 100644
index 0000000..1533728
--- /dev/null
+++ b/lib/models/id/channel_id.ml
@@ -0,0 +1,3 @@
+include Channel_id_t
+
+include Impl.Channel(Channel_id_t) \ No newline at end of file
diff --git a/lib/models/id/channel_id.mli b/lib/models/id/channel_id.mli
new file mode 100644
index 0000000..f352160
--- /dev/null
+++ b/lib/models/id/channel_id.mli
@@ -0,0 +1,3 @@
+include module type of Channel_id_t
+include S.ChannelImpl with
+ type t := Channel_id_t.t \ No newline at end of file
diff --git a/lib/models/id/channel_id_t.ml b/lib/models/id/channel_id_t.ml
new file mode 100644
index 0000000..2164b4f
--- /dev/null
+++ b/lib/models/id/channel_id_t.ml
@@ -0,0 +1,3 @@
+type t = [ `Channel_id of Snowflake.t ] [@@deriving sexp, yojson]
+
+let get_id (`Channel_id id) = id \ No newline at end of file
diff --git a/lib/models/id/channel_id_t.mli b/lib/models/id/channel_id_t.mli
new file mode 100644
index 0000000..821c8b0
--- /dev/null
+++ b/lib/models/id/channel_id_t.mli
@@ -0,0 +1,3 @@
+type t = [ `Channel_id of Snowflake.t ] [@@deriving sexp, yojson]
+
+val get_id : t -> Snowflake.t \ No newline at end of file
diff --git a/lib/models/id/guild_id.ml b/lib/models/id/guild_id.ml
new file mode 100644
index 0000000..0242058
--- /dev/null
+++ b/lib/models/id/guild_id.ml
@@ -0,0 +1 @@
+include Impl.Guild(Guild_id_t) \ No newline at end of file
diff --git a/lib/models/id/guild_id.mli b/lib/models/id/guild_id.mli
new file mode 100644
index 0000000..ea9d509
--- /dev/null
+++ b/lib/models/id/guild_id.mli
@@ -0,0 +1,2 @@
+include S.GuildImpl with
+ type t := Guild_id_t.t \ No newline at end of file
diff --git a/lib/models/id/guild_id_t.ml b/lib/models/id/guild_id_t.ml
new file mode 100644
index 0000000..c67b9e5
--- /dev/null
+++ b/lib/models/id/guild_id_t.ml
@@ -0,0 +1,3 @@
+type t = [ `Guild_id of Snowflake.t ] [@@deriving sexp, yojson]
+
+let get_id (`Guild_id id) = id \ No newline at end of file
diff --git a/lib/models/id/guild_id_t.mli b/lib/models/id/guild_id_t.mli
new file mode 100644
index 0000000..dc72deb
--- /dev/null
+++ b/lib/models/id/guild_id_t.mli
@@ -0,0 +1,3 @@
+type t = [ `Guild_id of Snowflake.t ] [@@deriving sexp, yojson]
+
+val get_id : t -> Snowflake.t \ No newline at end of file