De-sigil-ification: suffix : [Part 13]

10 files changed, 54 insertions, 54 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index bdb87cb95..b3b213099 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -76,16 +76,16 @@
    [#next module.ID
     #resolver (Dictionary descriptor.Module [module.ID (Maybe (Entry Any))])])
 
-  (def: next
+  (def next
     (-> Archive module.ID)
     (|>> representation (the #next)))
 
-  (def: .public empty
+  (def .public empty
     Archive
     (abstraction [#next 0
                   #resolver (dictionary.empty text.hash)]))
 
-  (def: .public (id module archive)
+  (def .public (id module archive)
     (-> descriptor.Module Archive (Try module.ID))
     (let [(open "/[0]") (representation archive)]
       (case (dictionary.value module /#resolver)
@@ -96,7 +96,7 @@
         (exception.except ..unknown_document [module
                                               (dictionary.keys /#resolver)]))))
 
-  (def: .public (reserve module archive)
+  (def .public (reserve module archive)
     (-> descriptor.Module Archive (Try [module.ID Archive]))
     (let [(open "/[0]") (representation archive)]
       (case (dictionary.value module /#resolver)
@@ -111,7 +111,7 @@
                            (revised #next ++)
                            abstraction)]})))
 
-  (def: .public (has module entry archive)
+  (def .public (has module entry archive)
     (-> descriptor.Module (Entry Any) Archive (Try Archive))
     (let [(open "/[0]") (representation archive)]
       (case (dictionary.value module /#resolver)
@@ -131,7 +131,7 @@
         {.#None}
         (exception.except ..module_must_be_reserved_before_it_can_be_added [module]))))
 
-  (def: .public entries
+  (def .public entries
     (-> Archive (List [descriptor.Module [module.ID (Entry Any)]]))
     (|>> representation
          (the #resolver)
@@ -139,7 +139,7 @@
          (list.all (function (_ [module [module_id entry]])
                      (at maybe.monad each (|>> [module_id] [module]) entry)))))
 
-  (def: .public (find module archive)
+  (def .public (find module archive)
     (-> descriptor.Module Archive (Try (Entry Any)))
     (let [(open "/[0]") (representation archive)]
       (case (dictionary.value module /#resolver)
@@ -152,7 +152,7 @@
         {.#None}
         (exception.except ..unknown_document [module (dictionary.keys /#resolver)]))))
 
-  (def: .public (archived? archive module)
+  (def .public (archived? archive module)
     (-> Archive descriptor.Module Bit)
     (case (..find module archive)
       {try.#Success _}
@@ -161,7 +161,7 @@
       {try.#Failure _}
       false))
 
-  (def: .public archived
+  (def .public archived
     (-> Archive (List descriptor.Module))
     (|>> representation
          (the #resolver)
@@ -171,7 +171,7 @@
                        {.#Some _} {.#Some module}
                        {.#None} {.#None})))))
 
-  (def: .public (reserved? archive module)
+  (def .public (reserved? archive module)
     (-> Archive descriptor.Module Bit)
     (let [(open "/[0]") (representation archive)]
       (case (dictionary.value module /#resolver)
@@ -181,13 +181,13 @@
         {.#None}
         false)))
 
-  (def: .public reserved
+  (def .public reserved
     (-> Archive (List descriptor.Module))
     (|>> representation
          (the #resolver)
          dictionary.keys))
 
-  (def: .public reservations
+  (def .public reservations
     (-> Archive (List [descriptor.Module module.ID]))
     (|>> representation
          (the #resolver)
@@ -195,7 +195,7 @@
          (list#each (function (_ [module [id _]])
                       [module id]))))
 
-  (def: .public (composite additions archive)
+  (def .public (composite additions archive)
     (-> Archive Archive Archive)
     (let [[+next +resolver] (representation additions)]
       (|> archive
@@ -219,21 +219,21 @@
   (type: Frozen
     [Version module.ID (List Reservation)])
   
-  (def: reader
+  (def reader
     (Parser ..Frozen)
     (all <>.and
          <binary>.nat
          <binary>.nat
          (<binary>.list (<>.and <binary>.text <binary>.nat))))
 
-  (def: writer
+  (def writer
     (Writer ..Frozen)
     (all \\format.and
          \\format.nat
          \\format.nat
          (\\format.list (\\format.and \\format.text \\format.nat))))
   
-  (def: .public (export version archive)
+  (def .public (export version archive)
     (-> Version Archive Binary)
     (let [(open "/[0]") (representation archive)]
       (|> /#resolver
@@ -251,7 +251,7 @@
      "Expected" (%.nat expected)
      "Actual" (%.nat actual)))
 
-  (def: .public (import expected binary)
+  (def .public (import expected binary)
     (-> Version Binary (Try Archive))
     (do try.monad
       [[actual next reservations] (<binary>.result ..reader binary)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index f66a0a42f..252776c37 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -23,7 +23,7 @@
     #category Category
     #mandatory? Bit]))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Artifact)
   (all product.equivalence
        nat.equivalence
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
index 9e00a5b51..d9801694c 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -19,7 +19,7 @@
 (type: .public Definition
   [Text (Maybe [Arity [Nat Nat]])])
 
-(def: .public definition_equivalence
+(def .public definition_equivalence
   (Equivalence Definition)
   (all product.equivalence
        text.equivalence
@@ -40,10 +40,10 @@
    {#Directive Text}
    {#Custom Text}))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Category)
   (implementation
-   (def: (= left right)
+   (def (= left right)
      (case [left right]
        [{#Anonymous} {#Anonymous}]
        true
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
index 445e44c72..0e35d6528 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
@@ -9,11 +9,11 @@
 (primitive .public (Key k)
   Signature
 
-  (def: .public signature
+  (def .public signature
     (All (_ ?) (-> (Key ?) Signature))
     (|>> representation))
 
-  (def: .public (key signature sample)
+  (def .public (key signature sample)
     (All (_ d) (-> Signature d (Key d)))
     (abstraction signature))
   )
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux
index 868009871..4e2757bb8 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux
@@ -8,7 +8,7 @@
 (type: .public ID
   Nat)
 
-(def: .public runtime
+(def .public runtime
   ID
   0)
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux
index b661a1587..92e8dcc60 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux
@@ -24,7 +24,7 @@
 (type: .public Module
   Text)
 
-(def: .public runtime
+(def .public runtime
   Module
   "")
 
@@ -36,10 +36,10 @@
     #state Module_State
     #references (Set Module)]))
 
-(def: module_state_equivalence
+(def module_state_equivalence
   (Equivalence Module_State)
   (implementation
-   (def: (= left right)
+   (def (= left right)
      (case [left right]
        (^.with_template [<tag>]
          [[{<tag>} {<tag>}]
@@ -51,7 +51,7 @@
        _
        false))))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Descriptor)
   (all product.equivalence
        text.equivalence
@@ -61,7 +61,7 @@
        set.equivalence
        ))
 
-(def: .public writer
+(def .public writer
   (Writer Descriptor)
   (all \\format.and
        \\format.text
@@ -71,7 +71,7 @@
        (\\format.set \\format.text)
        ))
 
-(def: .public parser
+(def .public parser
   (Parser Descriptor)
   (all <>.and
        <binary>.text
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
index 56dd787be..fe4977e8d 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
@@ -30,7 +30,7 @@
    [#signature Signature
     #content d])
 
-  (def: .public (content key document)
+  (def .public (content key document)
     (All (_ d) (-> (Key d) (Document Any) (Try d)))
     (let [[document//signature document//content] (representation document)]
       (if (at signature.equivalence =
@@ -44,29 +44,29 @@
         (exception.except ..invalid_signature [(key.signature key)
                                                document//signature]))))
 
-  (def: .public (document key content)
+  (def .public (document key content)
     (All (_ d) (-> (Key d) d (Document d)))
     (abstraction [#signature (key.signature key)
                   #content content]))
 
-  (def: .public (marked? key document)
+  (def .public (marked? key document)
     (All (_ d) (-> (Key d) (Document Any) (Try (Document d))))
     (do try.monad
       [_ (..content key document)]
       (in (as_expected document))))
 
-  (def: .public signature
+  (def .public signature
     (-> (Document Any) Signature)
     (|>> representation (the #signature)))
 
-  (def: .public (writer content)
+  (def .public (writer content)
     (All (_ d) (-> (Writer d) (Writer (Document d))))
     (let [writer (all binary.and
                       signature.writer
                       content)]
       (|>> representation writer)))
 
-  (def: .public (parser key it)
+  (def .public (parser key it)
     (All (_ d) (-> (Key d) (Parser d) (Parser (Document d))))
     (do <>.monad
       [actual signature.parser
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index 09cfc1190..9f23cad2e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -34,20 +34,20 @@
    [#artifacts (Sequence [Artifact (Set unit.ID)])
     #resolver (Dictionary Text [ID (Maybe //category.Definition)])])
 
-  (def: .public empty
+  (def .public empty
     Registry
     (abstraction [#artifacts sequence.empty
                   #resolver (dictionary.empty text.hash)]))
 
-  (def: .public artifacts
+  (def .public artifacts
     (-> Registry (Sequence [Artifact (Set unit.ID)]))
     (|>> representation (the #artifacts)))
 
-  (def: next
+  (def next
     (-> Registry ID)
     (|>> ..artifacts sequence.size))
 
-  (def: .public (resource mandatory? dependencies registry)
+  (def .public (resource mandatory? dependencies registry)
     (-> Bit (Set unit.ID) Registry [ID Registry])
     (let [id (..next registry)]
       [id
@@ -60,7 +60,7 @@
            abstraction)]))
 
   (with_template [<tag> <create> <fetch> <type> <name> <+resolver>]
-    [(def: .public (<create> it mandatory? dependencies registry)
+    [(def .public (<create> it mandatory? dependencies registry)
        (-> <type> Bit (Set unit.ID) Registry [ID Registry])
        (let [id (..next registry)]
          [id
@@ -73,7 +73,7 @@
               (revised #resolver (dictionary.has (<name> it) [id (is (Maybe //category.Definition) <+resolver>)]))
               abstraction)]))
 
-     (def: .public (<fetch> registry)
+     (def .public (<fetch> registry)
        (-> Registry (List <type>))
        (|> registry
            representation
@@ -94,17 +94,17 @@
     [//category.#Custom custom customs Text |> {.#None}]
     )
 
-  (def: .public (find_definition name registry)
+  (def .public (find_definition name registry)
     (-> Text Registry (Maybe [ID (Maybe //category.Definition)]))
     (|> (representation registry)
         (the #resolver)
         (dictionary.value name)))
 
-  (def: .public (id name registry)
+  (def .public (id name registry)
     (-> Text Registry (Maybe ID))
     (maybe#each product.left (find_definition name registry)))
 
-  (def: .public writer
+  (def .public writer
     (Writer Registry)
     (let [definition (is (Writer //category.Definition)
                          (all binary.and
@@ -148,7 +148,7 @@
     (exception.report
      "Tag" (%.nat tag)))
 
-  (def: .public parser
+  (def .public parser
     (Parser Registry)
     (let [definition (is (Parser //category.Definition)
                          (all <>.and
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
index ac6a22c49..075e12c77 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
@@ -25,23 +25,23 @@
    [#name Symbol
     #version Version]))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Signature)
   (all product.equivalence
        symbol.equivalence
        nat.equivalence))
 
-(def: .public (description signature)
+(def .public (description signature)
   (-> Signature Text)
   (format (%.symbol (the #name signature)) " " (version.format (the #version signature))))
 
-(def: .public writer
+(def .public writer
   (Writer Signature)
   (all binary.and
        (binary.and binary.text binary.text)
        binary.nat))
 
-(def: .public parser
+(def .public parser
   (Parser Signature)
   (all <>.and
        (<>.and <binary>.text <binary>.text)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
index 9ce35e1b5..937f87043 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
@@ -22,21 +22,21 @@
    [#module module.ID
     #artifact artifact.ID]))
 
-(def: .public hash
+(def .public hash
   (Hash ID)
   (all product.hash
        nat.hash
        nat.hash))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence ID)
   (at ..hash equivalence))
 
-(def: .public none
+(def .public none
   (Set ID)
   (set.empty ..hash))
 
-(def: .public (format it)
+(def .public (format it)
   (%.Format ID)
   (%.format (%.nat (the #module it))
             "."