diff options
author | Eduardo Julian | 2018-12-09 17:11:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-12-09 17:11:38 -0400 |
commit | 93ac89e2f8a47e412dcb6b6944c5e39b3ea073f0 (patch) | |
tree | dee7bd196e74d70da947bb3e1ce9fdb09700ed69 /stdlib/source/lux/control/security/taint.lux | |
parent | 9f07e772cd9758ca5f4c516e78d50a1db581c910 (diff) |
Added some missing/necessary documentation.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/security/taint.lux | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/source/lux/control/security/taint.lux b/stdlib/source/lux/control/security/taint.lux index afdc1904c..9234baa97 100644 --- a/stdlib/source/lux/control/security/taint.lux +++ b/stdlib/source/lux/control/security/taint.lux @@ -10,17 +10,23 @@ abstract]]) (abstract: #export (Dirty a) + {#.doc (doc "A value which is considered untrustworthy due to its origin.")} + a (def: #export taint + {#.doc (doc "Mark a value as dirty/untrustworthy.")} (All [a] (-> a (Dirty a))) (|>> :abstraction)) (def: #export (validate validator dirty) + {#.doc (doc "Test a dirty/untrustworthy value." + "Potentially produces a 'clean' value.")} (All [a b] (-> (-> a (Error b)) (Dirty a) (Error b))) (validator (:representation dirty))) (def: #export trust + {#.doc (doc "Trusts a (previously thought as) dirty/untrustworthy value.")} (All [a] (-> (Dirty a) a)) (|>> :representation)) |