aboutsummaryrefslogtreecommitdiff
path: root/portal/portal.mli
diff options
context:
space:
mode:
Diffstat (limited to 'portal/portal.mli')
-rw-r--r--portal/portal.mli6
1 files changed, 6 insertions, 0 deletions
diff --git a/portal/portal.mli b/portal/portal.mli
index a9810cd..2f52547 100644
--- a/portal/portal.mli
+++ b/portal/portal.mli
@@ -4,6 +4,12 @@ exception MalformedStanza of location * Error.t
type socket
+(** The type of portals communicating with an XMPP server via [_socket].
+
+ [stream] is the data sent by the XMPP server.
+
+ [push None] disconnects brutally the underlying XMPP server and closes [_socket],
+ without closing the element stream first. *)
type t = {
stream : (signal, async) stream;
push : (signal, sync) stream option -> unit;