diff options
author | Clombrong <cromblong@egregore.fun> | 2025-08-14 22:56:13 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:14:00 +0200 |
commit | cbdbb587236f8d747ae5baf4b4f92e9458dff4f1 (patch) | |
tree | f3cd4c27529eea1621eed6554ccf18006ddd8665 /portal/tcp | |
parent | e4e8a81f030dc599b1d5dc84b9725667c3872124 (diff) |
feat(portal): add opaque domain type to portal
Diffstat (limited to 'portal/tcp')
-rw-r--r-- | portal/tcp/portal.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index c88ac98..a3f163e 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -4,6 +4,12 @@ open Markup type socket = Plain of Lwt_unix.file_descr | Tls of Tls_lwt.Unix.t +(** Opaque domain name type. Currently a string, might be subject to change. *) +type domain = string + +let domain_of_string (s : string) : domain = s +let domain_to_string (s : domain) : string = s + type t = { mutable stream : (signal, async) stream; mutable push : (signal, sync) stream option -> unit; |