diff options
Diffstat (limited to 'stdlib/source/test/lux/control/security/privacy.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/security/privacy.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/security/privacy.lux b/stdlib/source/test/lux/control/security/privacy.lux index e624ace99..3bc41e6a9 100644 --- a/stdlib/source/test/lux/control/security/privacy.lux +++ b/stdlib/source/test/lux/control/security/privacy.lux @@ -8,9 +8,9 @@ ["!" capability]] {[0 #test] [/ - [".T" functor (#+ Injection Comparison)] - [".T" apply] - [".T" monad]]}] + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]}] [data ["." text ("#;." equivalence) format]] @@ -73,6 +73,10 @@ raw-password (r.ascii 10) #let [password (:: policy-0 password raw-password)]] ($_ _.and + ($functor.spec (..injection (:: policy-0 can-conceal)) (..comparison (:: policy-0 can-reveal)) /.functor) + ($apply.spec (..injection (:: policy-0 can-conceal)) (..comparison (:: policy-0 can-reveal)) /.apply) + ($monad.spec (..injection (:: policy-0 can-conceal)) (..comparison (:: policy-0 can-reveal)) /.monad) + (_.test "Can work with private values under the same label." (and (:: policy-0 = password password) (n/= (:: text.hash hash raw-password) @@ -81,7 +85,4 @@ delegate (/.delegation (:: policy-0 can-reveal) (:: policy-1 can-conceal))] (_.test "Can use delegation to share private values between policies." (:: policy-1 = (delegate password) (delegate password)))) - (functorT.laws (..injection (:: policy-0 can-conceal)) (..comparison (:: policy-0 can-reveal)) /.functor) - (applyT.laws (..injection (:: policy-0 can-conceal)) (..comparison (:: policy-0 can-reveal)) /.apply) - (monadT.laws (..injection (:: policy-0 can-conceal)) (..comparison (:: policy-0 can-reveal)) /.monad) )))) |