aboutsummaryrefslogtreecommitdiff
path: root/portal/portal.mli
Commit message (Expand)AuthorAgeFilesLines
* feat(portal): add _encrypted functionClombrong2025-06-291-0/+3
* fix(portal): remove close stanza, and use push None to close streamsClombrong2025-06-291-7/+2
* fix(portal_tcp): move stream rehydration to the header functionClombrong2025-06-291-2/+5
* chore(portal_tcp): move header and close to the bottom of the fileClombrong2025-06-291-7/+7
* feat(portal): remove location in MalformedStanzaClombrong2025-06-281-1/+1
* feat(portal): add starttls to the Portal interfaceClombrong2025-06-281-0/+4
* feat(portal): make fields of t mutableClombrong2025-06-271-3/+3
* docs(portal): document Portal.tClombrong2025-06-271-0/+6
* docs(portal): update docs for headerClombrong2025-06-271-3/+3
* docs(portal): add docstring to connectClombrong2025-06-271-0/+1
* feat(portal): make close a simple stanzaClombrong2025-06-271-2/+4
* feat(portal): add field in t for underlying socketClombrong2025-06-271-0/+1
* feat(portal): change type t into a recordClombrong2025-06-271-2/+5
* docs(portal): make comment less weirdClombrong2025-06-271-3/+1
* feat(portal): add socket typeClombrong2025-06-261-0/+2
* refactor(portal_ws): stanza_open to headerClombrong2025-06-261-4/+5
* feat(portal): change stream open and close interface in PortalClombrong2025-06-261-2/+7
* feat(portal): add MalformedStanza exception to Portal interfaceClombrong2025-06-251-0/+2
* feat(portal): remove lib/ subdirectoryClombrong2025-06-251-0/+17
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-23 08:43:55 +0000