diff options
author | Eduardo Julian | 2020-05-19 23:46:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-05-19 23:46:38 -0400 |
commit | 853642c340730b3bb23c1ac87660c5c7ecbffa93 (patch) | |
tree | 250a785d8c61b38f6673f0273d07118971124c4c | |
parent | d97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 (diff) |
Can now write TAR files.
Diffstat (limited to '')
-rw-r--r-- | documentation/research/Security.md | 4 | ||||
-rw-r--r-- | documentation/research/back-end/native.md | 1 | ||||
-rw-r--r-- | documentation/research/paradigm/probabilistic_programming.md | 5 | ||||
-rw-r--r-- | documentation/research/web_framework.md | 1 | ||||
-rw-r--r-- | stdlib/source/lux/abstract/apply.lux | 6 | ||||
-rw-r--r-- | stdlib/source/lux/control/pipe.lux | 6 | ||||
-rw-r--r-- | stdlib/source/lux/data/binary.lux | 9 | ||||
-rw-r--r-- | stdlib/source/lux/data/format/binary.lux | 13 | ||||
-rw-r--r-- | stdlib/source/lux/data/format/tar.lux | 565 | ||||
-rw-r--r-- | stdlib/source/lux/data/number.lux | 4 | ||||
-rw-r--r-- | stdlib/source/lux/data/text/encoding.lux | 4 | ||||
-rw-r--r-- | stdlib/source/lux/time/duration.lux | 12 | ||||
-rw-r--r-- | stdlib/source/lux/world/file.lux | 5 | ||||
-rw-r--r-- | stdlib/source/test/lux/abstract.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/abstract/apply.lux | 24 | ||||
-rw-r--r-- | stdlib/source/test/lux/abstract/comonad.lux | 27 | ||||
-rw-r--r-- | stdlib/source/test/lux/abstract/functor.lux | 1 | ||||
-rw-r--r-- | stdlib/source/test/lux/abstract/hash.lux | 35 |
18 files changed, 710 insertions, 18 deletions
diff --git a/documentation/research/Security.md b/documentation/research/Security.md index f4f7afb61..b9d45faff 100644 --- a/documentation/research/Security.md +++ b/documentation/research/Security.md @@ -1,3 +1,7 @@ +# Homomorphic encryption + +1. https://github.com/Microsoft/SEAL + # Privacy 1. https://privacypatterns.org/ diff --git a/documentation/research/back-end/native.md b/documentation/research/back-end/native.md index 7631b0d5e..ec1ba689d 100644 --- a/documentation/research/back-end/native.md +++ b/documentation/research/back-end/native.md @@ -57,6 +57,7 @@ # Reference +1. [Executables - Linking and Loading](https://github.com/MattPD/cpplinks/blob/master/executables.linking_loading.md) 1. http://luajit.org/ 1. http://luajit.org/ext_ffi.html 1. http://luajit.org/dynasm.html diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md index 8b75033f5..aeb4bf827 100644 --- a/documentation/research/paradigm/probabilistic_programming.md +++ b/documentation/research/paradigm/probabilistic_programming.md @@ -1,3 +1,7 @@ +# Library + +1. [Soss](https://github.com/cscherrer/Soss.jl) + # Ranked Programming 1. [Ranked Programming](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf) @@ -59,6 +63,7 @@ # Language +1. [Reactive Probabilistic Programming](https://arxiv.org/abs/1908.07563) 1. https://hakaru-dev.github.io/ 1. http://probcomp.csail.mit.edu/venture/ 1. https://github.com/tjitze/RankPL/ diff --git a/documentation/research/web_framework.md b/documentation/research/web_framework.md index ed293a767..2e0e54977 100644 --- a/documentation/research/web_framework.md +++ b/documentation/research/web_framework.md @@ -25,6 +25,7 @@ # Exemplar +1. https://github.com/alpinejs/alpine 1. [Mint: The programming language for writing single page applications.](https://www.mint-lang.com/) 1. [root: A recursive UI resolver](https://github.com/den1k/root) 1. https://www.http4k.org/blog/meet_http4k/ diff --git a/stdlib/source/lux/abstract/apply.lux b/stdlib/source/lux/abstract/apply.lux index 5eb42b63d..febf31a73 100644 --- a/stdlib/source/lux/abstract/apply.lux +++ b/stdlib/source/lux/abstract/apply.lux @@ -1,8 +1,8 @@ (.module: - lux + [lux #*] [// - ["." functor (#+ Functor)] - [monad (#+ Monad)]]) + [monad (#+ Monad)] + ["." functor (#+ Functor)]]) (signature: #export (Apply f) {#.doc "Applicative functors."} diff --git a/stdlib/source/lux/control/pipe.lux b/stdlib/source/lux/control/pipe.lux index ed6b54311..691d5568b 100644 --- a/stdlib/source/lux/control/pipe.lux +++ b/stdlib/source/lux/control/pipe.lux @@ -11,7 +11,7 @@ ["n" nat] ["i" int]] [collection - ["." list ("#;." fold monad)]]] + ["." list ("#@." fold monad)]]] [macro (#+ with-gensyms) [syntax (#+ syntax:)] ["." code]]]) @@ -134,7 +134,7 @@ "Will become: [+50 +2 '+5']")} (with-gensyms [g!temp] (wrap (list (` (let [(~ g!temp) (~ prev)] - [(~+ (list;map (function (_ body) (` (|> (~ g!temp) (~+ body)))) + [(~+ (list@map (function (_ body) (` (|> (~ g!temp) (~+ body)))) paths))])))))) (syntax: #export (case> {branches (p.many (p.and s.any s.any))} @@ -154,5 +154,5 @@ +9 "nine" _ "???")))} (wrap (list (` (case (~ prev) - (~+ (list;join (list;map (function (_ [pattern body]) (list pattern body)) + (~+ (list@join (list@map (function (_ [pattern body]) (list pattern body)) branches)))))))) diff --git a/stdlib/source/lux/data/binary.lux b/stdlib/source/lux/data/binary.lux index 33e0bdac3..defb62049 100644 --- a/stdlib/source/lux/data/binary.lux +++ b/stdlib/source/lux/data/binary.lux @@ -129,6 +129,15 @@ (~~ (static @.js)) (|>> .nat-to-frac [] ArrayBuffer::new Uint8Array::new)}))) +(def: #export (fold f init binary) + (All [a] (-> (-> I64 a a) a Binary a)) + (let [size (..!size binary)] + (loop [idx 0 + output init] + (if (n.< size idx) + (recur (inc idx) (f (!read idx binary) output)) + output)))) + (def: #export (read/8 idx binary) (-> Nat Binary (Try I64)) (if (n.< (..!size binary) idx) diff --git a/stdlib/source/lux/data/format/binary.lux b/stdlib/source/lux/data/format/binary.lux index 90e3cc468..ece895c38 100644 --- a/stdlib/source/lux/data/format/binary.lux +++ b/stdlib/source/lux/data/format/binary.lux @@ -127,6 +127,19 @@ (Writer Frac) (|>> frac.to-bits ..bits/64)) +(def: #export (segment size) + (-> Nat (Writer Binary)) + (function (_ value) + [size + (function (_ [offset binary]) + [(n.+ size offset) + (try.assume + (binary.copy (n.min size (binary.size value)) + 0 + value + offset + binary))])])) + (template [<name> <bits> <size> <write>] [(def: #export <name> (Writer Binary) diff --git a/stdlib/source/lux/data/format/tar.lux b/stdlib/source/lux/data/format/tar.lux new file mode 100644 index 000000000..a9bb06954 --- /dev/null +++ b/stdlib/source/lux/data/format/tar.lux @@ -0,0 +1,565 @@ +(.module: + [lux (#- Mode Name and) + [abstract + [monad (#+ do)]] + [control + [pipe (#+ case>)] + ["." try (#+ Try)] + ["." exception (#+ exception:)] + ["<>" parser + ["<b>" binary (#+ Parser)]]] + [data + ["." binary (#+ Binary)] + ["." text (#+ Char) + ["%" format (#+ format)] + ["." encoding]] + ["." number + ["n" nat] + ["." i64]] + ["." format #_ + ["#" binary (#+ Writer) ("#@." monoid)]] + [collection + ["." list ("#@." fold)] + ["." row (#+ Row) ("#@." fold)]]] + [time + ["." instant (#+ Instant)] + ["." duration]] + [world + ["." file]] + [type + abstract]]) + +(type: Size Nat) + +(def: octal-size Size 8) + +(def: (octal-padding max-size number) + (-> Size Text Text) + (let [padding-size (n.- (text.size number) + max-size) + padding (|> "0" + (list.repeat padding-size) + (text.join-with ""))] + (format padding number))) + +(def: blank " ") +(def: null text.null) + +(def: small-size Size 6) +(def: big-size Size 11) + +(template [<exception> <maximum> <size> + <type> <in> <out> <writer> <suffix> + <coercion>] + [(def: <maximum> + (|> ..octal-size + (list.repeat <size>) + (list@fold n.* 1))) + + (exception: #export (<exception> {value Nat}) + (exception.report + ["Value" (%.nat value)] + ["Maximum" (%.nat <maximum>)])) + + (abstract: <type> + {} + + Nat + + (def: #export (<in> value) + (-> Nat (Try <type>)) + (if (|> value (n.% <maximum>) (n.= value)) + (#try.Success (:abstraction value)) + (exception.throw <exception> [value]))) + + (def: <out> + (-> <type> Nat) + (|>> :representation)) + + (def: <writer> + (Writer <type>) + (let [suffix <suffix> + padded-size (n.+ (text.size suffix) <size>)] + (|>> :representation + (:: n.octal encode) + (..octal-padding <size>) + (text.suffix suffix) + encoding.to-utf8 + (format.segment padded-size)))) + + (def: <coercion> + (-> Nat <type>) + (|>> (n.% <maximum>) + :abstraction)) + )] + + [not-a-small-number maximum-small-size ..small-size + Small small from-small + small-writer (format ..blank ..null) + coerce-small] + [not-a-big-number maximum-big-size ..big-size + Big big from-big + big-writer ..blank + coerce-big] + ) + +(abstract: Checksum + {} + + Text + + (def: dummy-checksum + Checksum + (:abstraction " ")) + + (def: checksum-suffix + (format ..blank ..null)) + + (def: checksum + (-> Binary Checksum) + (|>> (binary.fold n.+ 0) + ..coerce-small + ..from-small + (:: n.octal encode) + (..octal-padding ..small-size) + (text.suffix ..checksum-suffix) + :abstraction)) + + (def: checksum-writer + (Writer Checksum) + (let [padded-size (n.+ (text.size ..checksum-suffix) + ..small-size)] + (|>> :representation + encoding.to-utf8 + (format.segment padded-size)))) + ) + +(def: last-ascii + Char + (number.hex "007F")) + +(def: ascii? + (-> Text Bit) + (|>> encoding.to-utf8 + (binary.fold (function (_ char verdict) + (.and verdict + (n.<= ..last-ascii char))) + true))) + +(exception: #export (not-ascii {text Text}) + (exception.report + ["Text" (%.text text)])) + +(def: name-size Size 31) +(def: path-size Size 99) + +(template [<type> <representation> <size> <exception> <in> <out> <writer> <none>] + [(abstract: <type> + {} + + <representation> + + (exception: #export (<exception> {value Text}) + (exception.report + ["Value" (%.text value)] + ["Size" (%.nat (text.size value))] + ["Maximum" (%.nat <size>)])) + + (def: #export (<in> value) + (-> <representation> (Try <type>)) + (if (..ascii? value) + (if (|> value encoding.to-utf8 binary.size (n.< <size>)) + (#try.Success (:abstraction value)) + (exception.throw <exception> [value])) + (exception.throw ..not-ascii [value]))) + + (def: <out> + (-> <type> <representation>) + (|>> :representation)) + + (def: <writer> + (Writer <type>) + (let [suffix ..null + padded-size (n.+ (text.size suffix) <size>)] + (|>> :representation + (text.suffix suffix) + encoding.to-utf8 + (format.segment padded-size)))) + + (def: #export <none> + <type> + (try.assume (<in> ""))) + )] + + [Name Text ..name-size name-is-too-long name from-name name-writer anonymous] + [Path file.Path ..path-size path-is-too-long path from-path path-writer no-path] + ) + +(def: magic-size Size 7) + +(abstract: Magic + {} + + Text + + (def: ustar (:abstraction "ustar ")) + + (def: from-magic + (-> Magic Text) + (|>> :representation)) + + (def: magic-writer + (Writer Magic) + (let [padded-size (n.+ (text.size ..null) + ..magic-size)] + (|>> :representation + encoding.to-utf8 + (format.segment padded-size)))) + ) + +(def: block-size Size 512) + +(def: owner-id-size ..small-size) + +(def: blank-size Size (text.size ..blank)) +(def: null-size Size (text.size ..null)) +(def: mode-size Size ..small-size) +(def: content-size Size ..big-size) +(def: modification-time-size Size ..big-size) +(def: checksum-size Size ..small-size) +(def: link-flag-size Size 1) +(def: device-size Size ..small-size) + +(def: small-number + (-> Size Size) + (|>> ($_ n.+ ..blank-size ..null-size))) + +(def: big-number + (-> Size Size) + (|>> ($_ n.+ ..blank-size))) + +(def: string + (-> Size Size) + (|>> ($_ n.+ ..null-size))) + +(def: header-size + ($_ n.+ + ## name + (..string ..path-size) + ## mode + (..small-number ..mode-size) + ## uid + (..small-number ..owner-id-size) + ## gid + (..small-number ..owner-id-size) + ## size + (..big-number ..content-size) + ## mtime + (..big-number ..modification-time-size) + ## chksum + (..small-number ..checksum-size) + ## linkflag + ..link-flag-size + ## linkname + (..string ..path-size) + ## magic + (..string ..magic-size) + ## uname + (..string ..name-size) + ## gname + (..string ..name-size) + ## devmajor + (..small-number ..device-size) + ## devminor + (..small-number ..device-size))) + +(abstract: Link-Flag + {} + + Char + + (def: old-normal + Link-Flag + (:abstraction 0)) + + (template [<flag> <name>] + [(def: <name> + Link-Flag + (:abstraction (char <flag>)))] + + ["0" normal] + ["1" link] + ["2" symbolic-link] + ["3" character] + ["4" block] + ["5" directory] + ["6" fifo] + ["7" contiguous] + ) + + (def: link-flag-writer + (Writer Link-Flag) + (|>> :representation + format.bits/8)) + ) + +(abstract: #export Mode + {} + + Nat + + (template [<code> <name>] + [(def: #export <name> + Mode + (:abstraction (number.oct <code>)))] + + ["0001" execute-by-other] + ["0002" write-by-other] + ["0004" read-by-other] + + ["0010" execute-by-group] + ["0020" write-by-group] + ["0040" read-by-group] + + ["0100" execute-by-owner] + ["0200" write-by-owner] + ["0400" read-by-owner] + + ["1000" save-text] + ["2000" set-group-id-on-execution] + ["4000" set-user-id-on-execution] + ) + + (def: #export (and left right) + (-> Mode Mode Mode) + (:abstraction + (i64.or (:representation left) + (:representation right)))) + + (def: mode-writer + (Writer Mode) + (|>> :representation + ..small + try.assume + ..small-writer)) + ) + +(def: maximum-content-size + Nat + (|> ..octal-size + (list.repeat ..content-size) + (list@fold n.* 1))) + +(abstract: Content + {} + + [Big Binary] + + (def: #export (content content) + (-> Binary (Try Content)) + (do try.monad + [size (..big (binary.size content))] + (wrap (:abstraction [size content])))) + + (def: from-content + (-> Content [Big Binary]) + (|>> :representation)) + ) + +(type: #export ID + Small) + +(def: #export no-id + ID + (..coerce-small 0)) + +(type: #export Owner + {#name Name + #id ID}) + +(type: #export Ownership + {#user Owner + #group Owner}) + +(type: #export File + [Path Instant Mode Ownership Content]) + +(type: #export Directory + Path) + +(type: #export Entry + (#Normal File) + (#Symbolic-Link Path) + (#Directory Directory) + (#Contiguous File)) + +(type: #export Device + Small) + +(def: no-device + Device + (try.assume (..small 0))) + +(type: #export Tar + (Row Entry)) + +(def: (blocks size) + (-> Big Nat) + (n.+ (n./ ..block-size + (..from-big size)) + (case (n.% ..block-size (..from-big size)) + 0 0 + _ 1))) + +(def: rounded-content-size + (-> Big Nat) + (|>> ..blocks + (n.* ..block-size))) + +(type: Header + {#path Path + #mode Mode + #user-id ID + #group-id ID + #size Big + #modification-time Big + #checksum Checksum + #link-flag Link-Flag + #link-name Path + #magic Magic + #user-name Name + #group-name Name + #major-device Device + #minor-device Device}) + +(def: header-writer' + (Writer Header) + ($_ format.and + ..path-writer + ..mode-writer + ..small-writer + ..small-writer + ..big-writer + ..big-writer + ..checksum-writer + ..link-flag-writer + ..path-writer + ..magic-writer + ..name-writer + ..name-writer + ..small-writer + ..small-writer + )) + +(def: (header-writer header) + (Writer Header) + (let [checksum (|> header + (set@ #checksum ..dummy-checksum) + (format.run ..header-writer') + ..checksum) + data (|> header + (set@ #checksum checksum) + (format.run ..header-writer'))] + (|> data + (format.segment ..block-size)))) + +(def: modification-time + (-> Instant Big) + (|>> instant.relative + (duration.query duration.second) + .nat + ..coerce-big)) + +(def: (file-writer link-flag) + (-> Link-Flag (Writer File)) + (function (_ [path modification-time mode ownership content]) + (let [[size content] (..from-content content) + writer ($_ format.and + ..header-writer + (format.segment (..rounded-content-size size)))] + (writer [{#path path + #mode mode + #user-id (get@ [#user #id] ownership) + #group-id (get@ [#group #id] ownership) + #size size + #modification-time (..modification-time modification-time) + #checksum ..dummy-checksum + #link-flag link-flag + #link-name ..no-path + #magic ..ustar + #user-name (get@ [#user #name] ownership) + #group-name (get@ [#group #name] ownership) + #major-device ..no-device + #minor-device ..no-device} + content])))) + +(def: normal-file-writer + (Writer File) + (..file-writer ..normal)) + +(def: contiguous-file-writer + (Writer File) + (..file-writer ..contiguous)) + +(def: (symbolic-link-writer path) + (Writer Path) + (..header-writer + {#path ..no-path + #mode ($_ ..and + ..read-by-other + ..read-by-group + ..read-by-owner) + #user-id ..no-id + #group-id ..no-id + #size (..coerce-big 0) + #modification-time (..coerce-big 0) + #checksum ..dummy-checksum + #link-flag ..symbolic-link + #link-name path + #magic ..ustar + #user-name ..anonymous + #group-name ..anonymous + #major-device ..no-device + #minor-device ..no-device})) + +(def: (directory-writer path) + (Writer Directory) + (..header-writer + {#path path + #mode ($_ ..and + ..read-by-other + ..read-by-group + ..read-by-owner) + #user-id ..no-id + #group-id ..no-id + #size (..coerce-big 0) + #modification-time (..coerce-big 0) + #checksum ..dummy-checksum + #link-flag ..directory + #link-name ..no-path + #magic ..ustar + #user-name ..anonymous + #group-name ..anonymous + #major-device ..no-device + #minor-device ..no-device})) + +(def: entry-writer + (Writer Entry) + (|>> (case> (#Normal value) (..normal-file-writer value) + (#Symbolic-Link value) (..symbolic-link-writer value) + (#Directory value) (..directory-writer value) + (#Contiguous value) (..contiguous-file-writer value)))) + +(def: end-of-archive-size Size (n.* 2 ..block-size)) + +(def: end-of-archive + Binary + (binary.create ..end-of-archive-size)) + +(def: #export (writer tar) + (Writer Tar) + (format@compose (row@fold (function (_ next total) + (format@compose total (..entry-writer next))) + format@identity + tar) + (format.segment ..end-of-archive-size ..end-of-archive))) diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux index 9b8381491..07e093849 100644 --- a/stdlib/source/lux/data/number.lux +++ b/stdlib/source/lux/data/number.lux @@ -73,10 +73,10 @@ [bin /nat.binary /int.binary /rev.binary /frac.binary "Invalid binary syntax." - (encoding-doc "binary" (bin "+11001001") (bin "+11,00,10,01"))] + (encoding-doc "binary" (bin "11001001") (bin "11,00,10,01"))] [oct /nat.octal /int.octal /rev.octal /frac.octal "Invalid octal syntax." - (encoding-doc "octal" (oct "+615243") (oct "+615,243"))] + (encoding-doc "octal" (oct "615243") (oct "615,243"))] [hex /nat.hex /int.hex /rev.hex /frac.hex "Invalid hexadecimal syntax." (encoding-doc "hexadecimal" (hex "deadBEEF") (hex "dead,BEEF"))] diff --git a/stdlib/source/lux/data/text/encoding.lux b/stdlib/source/lux/data/text/encoding.lux index 59e5efcc2..9e94f25af 100644 --- a/stdlib/source/lux/data/text/encoding.lux +++ b/stdlib/source/lux/data/text/encoding.lux @@ -219,6 +219,8 @@ (#try.Success (|> (TextDecoder::new [(..name ..utf-8)]) (TextDecoder::decode [value])))}))) -(structure: #export UTF-8 (Codec Binary Text) +(structure: #export UTF-8 + (Codec Binary Text) + (def: encode ..to-utf8) (def: decode ..from-utf8)) diff --git a/stdlib/source/lux/time/duration.lux b/stdlib/source/lux/time/duration.lux index 58d06ee2d..47a480ab9 100644 --- a/stdlib/source/lux/time/duration.lux +++ b/stdlib/source/lux/time/duration.lux @@ -86,12 +86,12 @@ (template [<name> <scale> <base>] [(def: #export <name> (scale-up <scale> <base>))] - [second 1,000 milli-second] - [minute 60 second] - [hour 60 minute] - [day 24 hour] - [week 7 day] - [normal-year 365 day] + [second 1,000 milli-second] + [minute 60 second] + [hour 60 minute] + [day 24 hour] + [week 7 day] + [normal-year 365 day] ) (def: #export leap-year (merge day normal-year)) diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux index 6cd802296..8ef16a276 100644 --- a/stdlib/source/lux/world/file.lux +++ b/stdlib/source/lux/world/file.lux @@ -387,6 +387,7 @@ (structure: #export system (System IO) + (~~ (template [<name> <method> <capability> <exception>] [(def: <name> (..can-open @@ -562,7 +563,9 @@ (function (discard _) (io.io (Fs::rmdirSync [path] (!fs))))))) - (structure: #export system (System IO) + (structure: #export system + (System IO) + (~~ (template [<name> <method> <capability> <exception>] [(def: <name> (..can-open diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index b9aa18c9c..ef7cb0774 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -2,11 +2,14 @@ [lux #* ["_" test (#+ Test)]] ["." / #_ + ["#." apply] ["#." codec] + ["#." comonad] ["#." enum] ["#." equivalence] ["#." fold] ["#." functor] + ["#." hash] ["#." interval] ["#." monad] ["#." monoid] @@ -16,11 +19,14 @@ (def: #export test Test ($_ _.and + /apply.test /codec.test + /comonad.test /enum.test /equivalence.test /fold.test /functor.test + /hash.test /interval.test /monad.test /monoid.test diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 29e3e9d6f..eb8fd4e52 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -2,8 +2,11 @@ [lux #* [abstract/monad (#+ do)] [data + ["." maybe] [number - ["n" nat]]] + ["n" nat]] + [collection + ["." list]]] [control ["." function]] [math @@ -70,3 +73,22 @@ (..interchange injection comparison apply) (..composition injection comparison apply) ))) + +(def: #export test + Test + (do random.monad + [left random.nat + right random.nat] + (<| (_.covering /._) + ($_ _.and + (_.cover [/.compose] + (let [expected (n.+ left right)] + (case (:: (/.compose maybe.monad maybe.apply list.apply) apply + (#.Some (list (n.+ left))) + (#.Some (list right))) + (^ (#.Some (list actual))) + (n.= expected actual) + + _ + false))) + )))) diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux new file mode 100644 index 000000000..2e63b4eb8 --- /dev/null +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -0,0 +1,27 @@ +(.module: + [lux #* + [abstract + [monad (#+ do)]] + [data + ["." identity (#+ Identity)] + [number + ["n" nat]]] + [math + ["." random]] + ["_" test (#+ Test)]] + {1 + ["." /]}) + +(def: #export test + Test + (do random.monad + [sample random.nat] + (<| (_.covering /._) + ($_ _.and + (_.cover [/.be] + (n.= (inc sample) + (: (Identity Nat) + (/.be identity.comonad + [value (unwrap sample)] + (unwrap (inc value)))))) + )))) diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index fcceca39b..faef439c6 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -1,7 +1,6 @@ (.module: [lux #* ["_" test (#+ Test)] - ["%" data/text/format (#+ format)] [abstract [equivalence (#+ Equivalence)] [monad (#+ do)]] diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux new file mode 100644 index 000000000..f7f82ffe2 --- /dev/null +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -0,0 +1,35 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." bit ("#@." equivalence)] + [number + ["n" nat] + ["i" int]]] + [math + ["." random]]] + {1 + ["." /]}) + +(def: #export test + Test + (do random.monad + [left random.nat + right random.int + other-left random.nat + other-right random.int] + (<| (_.covering /._) + ($_ _.and + (_.cover [/.product] + (and (n.= (:: (/.product n.hash i.hash) hash [left right]) + (n.* (:: n.hash hash left) + (:: i.hash hash right))) + (bit@= (:: (/.product n.hash i.hash) = [left right] [left right]) + (and (:: n.hash = left left) + (:: i.hash = right right))) + (bit@= (:: (/.product n.hash i.hash) = [left right] [other-left other-right]) + (and (:: n.hash = left other-left) + (:: i.hash = right other-right))))) + )))) |