aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/security/policy.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-07-02 05:38:27 -0400
committerEduardo Julian2022-07-02 05:38:27 -0400
commitb96beb587c11fcfbce86ce2d62351600cf6cad1b (patch)
treec9a558ab1391ac97cb11e8777ea78299f1ab5555 /stdlib/source/library/lux/control/security/policy.lux
parent104130efba46a875eba566384578f8aa8593ad37 (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.lux6
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))