aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux/lang/compiler/meta/archive.lux87
1 files changed, 87 insertions, 0 deletions
diff --git a/stdlib/source/lux/lang/compiler/meta/archive.lux b/stdlib/source/lux/lang/compiler/meta/archive.lux
new file mode 100644
index 000000000..f61476111
--- /dev/null
+++ b/stdlib/source/lux/lang/compiler/meta/archive.lux
@@ -0,0 +1,87 @@
+(.module:
+ lux
+ (lux (control ["ex" exception #+ exception:]
+ [equivalence #+ Equivalence]
+ [monad #+ do])
+ (data [error #+ Error]
+ [ident]
+ [text]
+ text/format
+ (coll (dictionary ["dict" unordered #+ Dict])))
+ (lang [type #+ :share])
+ (type abstract))
+ [////])
+
+## Key
+(abstract: #export (Key k)
+ {}
+
+ {#name Ident
+ #version Text}
+
+ (def: Equivalence<Key>'
+ (equivalence.product ident.Equivalence<Ident> text.Equivalence<Text>))
+
+ (struct: #export Equivalence<Key>
+ (All [k] (Equivalence (Key k)))
+ (def: (= reference sample)
+ (:: Equivalence<Key>' = (:representation reference) (:representation sample))))
+
+ (def: #export default
+ (Key Nothing)
+ (:abstraction {#name ["" ""]
+ #version ////.version}))
+
+ (def: (describe (^:representation key))
+ (-> (Key Any) Text)
+ (format (%ident (get@ #name key)) " " (get@ #version key)))
+ )
+
+## Document
+(exception: #export (invalid-key-for-document {expected (Key Any)} {actual (Key Any)})
+ (ex.report ["Expected" (describe expected)]
+ ["Actual" (describe actual)]))
+
+(type: #export (Document d)
+ {#key (Key d)
+ #value d})
+
+(def: #export (open expected [actual value])
+ (All [e] (-> (Key e) (Document Any) (Error e)))
+ (if (:: Equivalence<Key> = expected actual)
+ (#error.Success (:share [e]
+ {(Key e)
+ expected}
+ {e
+ value}))
+ (ex.throw invalid-key-for-document [expected actual])))
+
+## Archive
+(exception: #export (cannot-replace-document-in-archive {name Text} {old (Document Any)} {new (Document Any)})
+ (ex.report ["Module's name" name]
+ ["Old document's key" (describe (get@ #key old))]
+ ["New document's key" (describe (get@ #key new))]))
+
+(type: #export Archive
+ (Dict Text (Ex [d] (Document d))))
+
+(def: #export empty Archive (dict.new text.Hash<Text>))
+
+(def: #export (add name document archive)
+ (-> Text (Ex [d] (Document d)) Archive (Error Archive))
+ (case (dict.get name archive)
+ (#.Some existing)
+ (if (is? document existing)
+ (#error.Success archive)
+ (ex.throw cannot-replace-document-in-archive [name existing document]))
+
+ #.None
+ (#error.Success (dict.put name document archive))))
+
+(def: #export (merge additions archive)
+ (-> Archive Archive (Error Archive))
+ (monad.fold error.Monad<Error>
+ (function (_ [name' document'] archive')
+ (..add name' document' archive'))
+ archive
+ (dict.entries additions)))