From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 25 Jun 2022 20:24:43 -0400 Subject: De-sigil-ification: suffix : [Part 15] --- stdlib/source/documentation/lux.lux | 24 +++++++++++----------- .../documentation/lux/control/security/policy.lux | 4 ++-- .../documentation/lux/data/format/binary.lux | 2 +- .../source/documentation/lux/data/format/json.lux | 2 +- .../source/documentation/lux/data/format/xml.lux | 2 +- stdlib/source/documentation/lux/data/identity.lux | 2 +- .../source/documentation/lux/data/text/format.lux | 2 +- stdlib/source/documentation/lux/ffi.js.lux | 2 +- stdlib/source/documentation/lux/ffi.jvm.lux | 2 +- stdlib/source/documentation/lux/ffi.lua.lux | 2 +- stdlib/source/documentation/lux/ffi.old.lux | 2 +- stdlib/source/documentation/lux/ffi.py.lux | 2 +- stdlib/source/documentation/lux/ffi.rb.lux | 2 +- stdlib/source/documentation/lux/meta.lux | 2 +- stdlib/source/documentation/lux/meta/symbol.lux | 2 +- stdlib/source/documentation/lux/type.lux | 2 +- stdlib/source/documentation/lux/type/quotient.lux | 2 +- .../source/documentation/lux/type/refinement.lux | 2 +- 18 files changed, 30 insertions(+), 30 deletions(-) (limited to 'stdlib/source/documentation') diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 0106fc515..72fa36c45 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -301,8 +301,8 @@ (documentation /.type "Takes a type expression and returns its representation as data-structure." - [(type (All (_ a) - (Maybe (List a))))]) + [(type_literal (All (_ a) + (Maybe (List a))))]) (documentation /.is "The type-annotation macro." @@ -320,8 +320,8 @@ (Rec Int_List (Or Any [Int Int_List]))] - ["Can also be used with type: and labelled-type definitions." - (type: Type + ["Can also be used with type and labelled-type definitions." + (type Type (Rec @ (Variant {#Primitive Text (List @)} @@ -369,7 +369,7 @@ ... (documentation /.^or ... (format "Or-patterns." ... \n "It's a special macro meant to be used with 'case'.") - ... [(type: Weekday + ... [(type Weekday ... (Variant ... {#Monday} ... {#Tuesday} @@ -472,8 +472,8 @@ (documentation /.Variant (format "Syntax for defining labelled/tagged sum/union types." - \n "WARNING: Only use it within the type: macro.") - [(type: Referrals + \n "WARNING: Only use it within the type macro.") + [(type Referrals (Variant {#All} {#Only (List Text)} @@ -483,21 +483,21 @@ (documentation /.Record (format "Syntax for defining labelled/slotted product/tuple types." - \n "WARNING: Only use it within the type: macro.") - [(type: Refer + \n "WARNING: Only use it within the type macro.") + [(type Refer (Record [#refer_defs Referrals #refer_open (List Openings)]))]) - (documentation /.type: + (documentation /.type "The type-definition macro." - [(type: (List a) + [(type (List a) {#End} {#Item a (List a)})]) (documentation /.Interface "Interface definition." - [(type: .public (Order a) + [(type .public (Order a) (Interface (is (Equivalence a) equivalence) diff --git a/stdlib/source/documentation/lux/control/security/policy.lux b/stdlib/source/documentation/lux/control/security/policy.lux index 6b1aa6f74..a2da0b92f 100644 --- a/stdlib/source/documentation/lux/control/security/policy.lux +++ b/stdlib/source/documentation/lux/control/security/policy.lux @@ -34,10 +34,10 @@ (documentation: /.with_policy "Activates a security context with the priviledge to enforce it's policy." - [(type: Password + [(type Password (Private Text)) - (type: (Policy %) + (type (Policy %) (Interface (is (-> Text (Password %)) password) diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux index 9b415289a..64ece5b0b 100644 --- a/stdlib/source/documentation/lux/data/format/binary.lux +++ b/stdlib/source/documentation/lux/data/format/binary.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except nat int rev list type or and symbol) + [lux (.except nat int rev list or and symbol) ["$" documentation (.only documentation:)] [data [text (.only \n) diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux index 27ae612b5..bda2246e2 100644 --- a/stdlib/source/documentation/lux/data/format/json.lux +++ b/stdlib/source/documentation/lux/data/format/json.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except nat int rev list type or and has) + [lux (.except nat int rev list or and has) ["$" documentation (.only documentation:)] [data [text (.only \n) diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux index b433ceb20..afb0bc9ee 100644 --- a/stdlib/source/documentation/lux/data/format/xml.lux +++ b/stdlib/source/documentation/lux/data/format/xml.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except nat int rev list type or and) + [lux (.except nat int rev list or and) ["$" documentation (.only documentation:)] [data [text (.only \n) diff --git a/stdlib/source/documentation/lux/data/identity.lux b/stdlib/source/documentation/lux/data/identity.lux index c63c92e7c..f5a0d9589 100644 --- a/stdlib/source/documentation/lux/data/identity.lux +++ b/stdlib/source/documentation/lux/data/identity.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except nat int rev list type or and) + [lux (.except nat int rev list or and) ["$" documentation (.only documentation:)] [data [text (.only \n) diff --git a/stdlib/source/documentation/lux/data/text/format.lux b/stdlib/source/documentation/lux/data/text/format.lux index 35d677e8b..c7dbb68b5 100644 --- a/stdlib/source/documentation/lux/data/text/format.lux +++ b/stdlib/source/documentation/lux/data/text/format.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except nat int rev type list symbol) + [lux (.except nat int rev list symbol) ["$" documentation (.only documentation:)] [macro ["[0]" template]]]] diff --git a/stdlib/source/documentation/lux/ffi.js.lux b/stdlib/source/documentation/lux/ffi.js.lux index 460448c1e..6797208c8 100644 --- a/stdlib/source/documentation/lux/ffi.js.lux +++ b/stdlib/source/documentation/lux/ffi.js.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except int char type) + [lux (.except int char) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux index 0aed47fd6..da10cb3d6 100644 --- a/stdlib/source/documentation/lux/ffi.jvm.lux +++ b/stdlib/source/documentation/lux/ffi.jvm.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except int char type is as) + [lux (.except int char is as) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/ffi.lua.lux b/stdlib/source/documentation/lux/ffi.lua.lux index b437e24a9..5edd5c9e0 100644 --- a/stdlib/source/documentation/lux/ffi.lua.lux +++ b/stdlib/source/documentation/lux/ffi.lua.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except int char type) + [lux (.except int char) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux index 8bcec68f2..805f9ec8c 100644 --- a/stdlib/source/documentation/lux/ffi.old.lux +++ b/stdlib/source/documentation/lux/ffi.old.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except int char type) + [lux (.except int char) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/ffi.py.lux b/stdlib/source/documentation/lux/ffi.py.lux index 339d9407d..3feb67e74 100644 --- a/stdlib/source/documentation/lux/ffi.py.lux +++ b/stdlib/source/documentation/lux/ffi.py.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except int char type) + [lux (.except int char) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux index b40599a19..86cff83d3 100644 --- a/stdlib/source/documentation/lux/ffi.rb.lux +++ b/stdlib/source/documentation/lux/ffi.rb.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except int char type) + [lux (.except int char) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux index 327154e3a..651c465ea 100644 --- a/stdlib/source/documentation/lux/meta.lux +++ b/stdlib/source/documentation/lux/meta.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except type macro) + [lux (.except macro) ["$" documentation (.only documentation:)] [data ["[0]" text (.only \n) diff --git a/stdlib/source/documentation/lux/meta/symbol.lux b/stdlib/source/documentation/lux/meta/symbol.lux index afdf77bf2..6bdb746c3 100644 --- a/stdlib/source/documentation/lux/meta/symbol.lux +++ b/stdlib/source/documentation/lux/meta/symbol.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except nat int rev list type or and) + [lux (.except) ["$" documentation (.only documentation:)] [data [text (.only \n) diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux index 0cb392108..16b7f238a 100644 --- a/stdlib/source/documentation/lux/type.lux +++ b/stdlib/source/documentation/lux/type.lux @@ -146,7 +146,7 @@ (foo expression))) (Bar a b c))) "=>" - (.type (Bar Bit Nat Text))]) + (.type_literal (Bar Bit Nat Text))]) (documentation: /.let "Local bindings for types." diff --git a/stdlib/source/documentation/lux/type/quotient.lux b/stdlib/source/documentation/lux/type/quotient.lux index c9f8c8586..2546996d7 100644 --- a/stdlib/source/documentation/lux/type/quotient.lux +++ b/stdlib/source/documentation/lux/type/quotient.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except type) + [lux (.except) ["$" documentation (.only documentation:)] [control ["<>" parser diff --git a/stdlib/source/documentation/lux/type/refinement.lux b/stdlib/source/documentation/lux/type/refinement.lux index e2f28603f..0c2d8eec5 100644 --- a/stdlib/source/documentation/lux/type/refinement.lux +++ b/stdlib/source/documentation/lux/type/refinement.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except type) + [lux (.except) ["$" documentation (.only documentation:)] [control ["<>" parser -- cgit v1.2.3