aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-09 22:52:30 +0200
committerClombrong <cromblong@egregore.fun>2025-06-09 22:52:30 +0200
commitb40ec1a8d10323914d26499e237993ff8022a673 (patch)
tree6981670688ab967630c8e2ee422b9710d43637e9
parentb1a727496905a8e07dc725d4bb0c104f3c77f93e (diff)
feat!: new module Auth
-rw-r--r--lib/auth.ml8
-rw-r--r--lib/dune3
2 files changed, 10 insertions, 1 deletions
diff --git a/lib/auth.ml b/lib/auth.ml
new file mode 100644
index 0000000..509f2d1
--- /dev/null
+++ b/lib/auth.ml
@@ -0,0 +1,8 @@
+open Lwt.Syntax
+
+type auth_mechanism = PLAIN [@@deriving show]
+
+let authenticate (stream, _push) =
+ let+ features = Lwt_stream.get stream
+ in Option.get features
+
diff --git a/lib/dune b/lib/dune
index 957188c..6f37f9d 100644
--- a/lib/dune
+++ b/lib/dune
@@ -2,4 +2,5 @@
(public_name flesh)
(libraries
lwt
- portal))
+ portal)
+ (preprocess (pps ppx_deriving.show)))