diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/documentation/lux.lux | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'stdlib/source/documentation/lux.lux')
| -rw-r--r-- | stdlib/source/documentation/lux.lux | 24 |
1 files changed, 12 insertions, 12 deletions
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) |