diff options
| author | Eduardo Julian | 2019-03-22 21:38:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-03-22 21:38:04 -0400 |
| commit | a14cef9af5ddd60034152f94adad28352135350d (patch) | |
| tree | cd0fc5bbd9b99ee308c6d04b9a559167ffc47454 /stdlib/source/test/lux/control/security/integrity.lux | |
| parent | 36c09baf6d977d6bcb712459325b9c5c3e7589ae (diff) | |
Ported tests for number-related modules.
Diffstat (limited to 'stdlib/source/test/lux/control/security/integrity.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/security/integrity.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/security/integrity.lux b/stdlib/source/test/lux/control/security/integrity.lux index c57d9fde5..ad9b67f4f 100644 --- a/stdlib/source/test/lux/control/security/integrity.lux +++ b/stdlib/source/test/lux/control/security/integrity.lux @@ -6,9 +6,9 @@ [monad (#+ do)] {[0 #test] [/ - [".T" functor (#+ Injection Comparison)] - [".T" apply] - [".T" monad]]}] + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]}] [data ["." error] ["." text ("#;." equivalence) @@ -35,6 +35,10 @@ [raw (r.ascii 10) #let [dirty (/.taint raw)]] ($_ _.and + ($functor.spec ..injection ..comparison /.functor) + ($apply.spec ..injection ..comparison /.apply) + ($monad.spec ..injection ..comparison /.monad) + (_.test "Can clean a dirty value by trusting it." (text;= raw (/.trust dirty))) (_.test "Can validate a dirty value." @@ -48,7 +52,4 @@ (#error.Failure error) false)) - (functorT.laws ..injection ..comparison /.functor) - (applyT.laws ..injection ..comparison /.apply) - (monadT.laws ..injection ..comparison /.monad) )))) |