diff options
author | Eduardo Julian | 2022-07-02 05:38:27 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-02 05:38:27 -0400 |
commit | b96beb587c11fcfbce86ce2d62351600cf6cad1b (patch) | |
tree | c9a558ab1391ac97cb11e8777ea78299f1ab5555 /stdlib/source/library/lux/control/security/policy.lux | |
parent | 104130efba46a875eba566384578f8aa8593ad37 (diff) |
More traditional names for unquoting macros.
Diffstat (limited to 'stdlib/source/library/lux/control/security/policy.lux')
-rw-r--r-- | stdlib/source/library/lux/control/security/policy.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux index 2aa55af59..58c895a05 100644 --- a/stdlib/source/library/lux/control/security/policy.lux +++ b/stdlib/source/library/lux/control/security/policy.lux @@ -56,13 +56,13 @@ (constructor (All (_ value) (Policy brand value label)))))) (def .public functor - (~ (..of_policy Functor)) + (, (..of_policy Functor)) (implementation (def (each f fa) (|> fa representation f abstraction)))) (def .public apply - (~ (..of_policy Apply)) + (, (..of_policy Apply)) (implementation (def functor ..functor) @@ -70,7 +70,7 @@ (abstraction ((representation ff) (representation fa)))))) (def .public monad - (~ (..of_policy Monad)) + (, (..of_policy Monad)) (implementation (def functor ..functor) (def in (|>> abstraction)) |