From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 .../library/lux/control/security/capability.lux    | 10 ++++-----
 .../source/library/lux/control/security/policy.lux | 26 +++++++++++-----------
 2 files changed, 18 insertions(+), 18 deletions(-)

(limited to 'stdlib/source/library/lux/control/security')

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 482f61161..6df5eaf19 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -26,20 +26,20 @@
 (primitive .public (Capability brand input output)
   (-> input output)
 
-  (def: capability
+  (def capability
     (All (_ brand input output)
       (-> (-> input output)
           (Capability brand input output)))
     (|>> abstraction))
 
-  (def: .public (use capability input)
+  (def .public (use capability input)
     (All (_ brand input output)
       (-> (Capability brand input output)
           input
           output))
     ((representation capability) input))
 
-  (def: .public capability:
+  (def .public capability:
     (syntax (_ [[export_policy declaration [forger input output]]
                 (|export|.parser
                  (all <>.and
@@ -55,14 +55,14 @@
           (in (list (` (type: (~ export_policy)
                          (~ (|declaration|.format declaration))
                          (~ capability)))
-                    (` (def: (~ (code.local forger))
+                    (` (def (~ (code.local forger))
                          (All ((~ g!_) (~+ (list#each code.local vars)))
                            (-> (-> (~ input) (~ output))
                                (~ capability)))
                          (~! ..capability)))
                     ))))))
 
-  (def: .public (async capability)
+  (def .public (async capability)
     (All (_ brand input output)
       (-> (Capability brand input (IO output))
           (Capability brand input (Async output))))
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index f8856c593..fe683cf05 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -27,7 +27,7 @@
       (-> (Policy brand value from)
           (Policy brand value to))))
 
-  (def: .public (delegation downgrade upgrade)
+  (def .public (delegation downgrade upgrade)
     (All (_ brand from to)
       (-> (Can_Downgrade brand from) (Can_Upgrade brand to)
           (Delegation brand from to)))
@@ -37,43 +37,43 @@
     (-> (Privilege brand label)
         (scope label)))
 
-  (def: privilege
+  (def privilege
     Privilege
     [#can_upgrade (|>> abstraction)
      #can_downgrade (|>> representation)])
 
-  (def: .public (with_policy context)
+  (def .public (with_policy context)
     (All (_ brand scope)
       (Ex (_ label)
         (-> (Context brand scope label)
             (scope label))))
     (context ..privilege))
 
-  (def: (of_policy constructor)
+  (def (of_policy constructor)
     (-> Type Type)
     (type (All (_ brand label)
             (constructor (All (_ value) (Policy brand value label))))))
 
-  (def: .public functor
+  (def .public functor
     (~ (..of_policy Functor))
     (implementation
-     (def: (each f fa)
+     (def (each f fa)
        (|> fa representation f abstraction))))
 
-  (def: .public apply
+  (def .public apply
     (~ (..of_policy Apply))
     (implementation
-     (def: functor ..functor)
+     (def functor ..functor)
      
-     (def: (on fa ff)
+     (def (on fa ff)
        (abstraction ((representation ff) (representation fa))))))
 
-  (def: .public monad
+  (def .public monad
     (~ (..of_policy Monad))
     (implementation
-     (def: functor ..functor)
-     (def: in (|>> abstraction))
-     (def: conjoint (|>> representation))))
+     (def functor ..functor)
+     (def in (|>> abstraction))
+     (def conjoint (|>> representation))))
   )
 
 (with_template [<brand> <value> <upgrade> <downgrade>]
-- 
cgit v1.2.3