From d29e091e98dabb8dfcf816899ada480ecbf7e357 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 23 Dec 2020 06:33:44 -0400
Subject: Refactored "export" common syntax.

---
 .../source/program/aedifex/repository/identity.lux | 42 ++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 stdlib/source/program/aedifex/repository/identity.lux

(limited to 'stdlib/source/program/aedifex/repository/identity.lux')

diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
new file mode 100644
index 000000000..fbc93f367
--- /dev/null
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -0,0 +1,42 @@
+(.module:
+  [lux #*
+   ["." host (#+ import:)]
+   [abstract
+    [equivalence (#+ Equivalence)]]
+   [data
+    ["." product]
+    ["." text
+     ["%" format (#+ format)]
+     ["." encoding]]]])
+
+(type: #export User
+  Text)
+
+(type: #export Password
+  Text)
+
+(type: #export Identity
+  {#user User
+   #password Password})
+
+(def: #export equivalence
+  (Equivalence Identity)
+  ($_ product.equivalence
+      text.equivalence
+      text.equivalence
+      ))
+
+(import: java/util/Base64$Encoder
+  ["#::."
+   (encodeToString [[byte]] java/lang/String)])
+
+(import: java/util/Base64
+  ["#::."
+   (#static getEncoder [] java/util/Base64$Encoder)])
+
+(def: #export (basic-auth user password)
+  (-> User Password Text)
+  (let [credentials (\ encoding.utf8 encode (format user ":" password))]
+    (|> (java/util/Base64::getEncoder)
+        (java/util/Base64$Encoder::encodeToString credentials)
+        (format "Basic "))))
-- 
cgit v1.2.3