diff options
Diffstat (limited to '')
49 files changed, 318 insertions, 318 deletions
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux index c4dd05e8e..2f56f33aa 100644 --- a/stdlib/source/library/lux/data/binary.lux +++ b/stdlib/source/library/lux/data/binary.lux @@ -1,23 +1,23 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} ["@" target] ["." ffi] [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [monoid (#+ Monoid)]] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}] + [monoid {"+" [Monoid]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." array]]] [math - [number (#+ hex) + [number {"+" [hex]} ["n" nat] ["f" frac] ["." i64]]]]]) diff --git a/stdlib/source/library/lux/data/bit.lux b/stdlib/source/library/lux/data/bit.lux index 238f87e5d..b0fd566db 100644 --- a/stdlib/source/library/lux/data/bit.lux +++ b/stdlib/source/library/lux/data/bit.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monoid (#+ Monoid)] - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [codec (#+ Codec)]] + [monoid {"+" [Monoid]}] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [codec {"+" [Codec]}]] [control ["." function]]]]) diff --git a/stdlib/source/library/lux/data/collection/array.lux b/stdlib/source/library/lux/data/collection/array.lux index 92586e228..0574b2fe7 100644 --- a/stdlib/source/library/lux/data/collection/array.lux +++ b/stdlib/source/library/lux/data/collection/array.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} ["@" target] [abstract - [monoid (#+ Monoid)] - [functor (#+ Functor)] - [equivalence (#+ Equivalence)] - [mix (#+ Mix)] - [predicate (#+ Predicate)]] + [monoid {"+" [Monoid]}] + [functor {"+" [Functor]}] + [equivalence {"+" [Equivalence]}] + [mix {"+" [Mix]}] + [predicate {"+" [Predicate]}]] [control ["." maybe]] [data diff --git a/stdlib/source/library/lux/data/collection/bits.lux b/stdlib/source/library/lux/data/collection/bits.lux index 34e45b10f..b218e57bf 100644 --- a/stdlib/source/library/lux/data/collection/bits.lux +++ b/stdlib/source/library/lux/data/collection/bits.lux @@ -1,14 +1,14 @@ (.module: [library - [lux (#- not and or) + [lux {"-" [not and or]} [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [control pipe ["." maybe]] [data [collection - ["." array (#+ Array) ("#\." mix)]]] + ["." array {"+" [Array]} ("#\." mix)]]] [math [number ["n" nat] diff --git a/stdlib/source/library/lux/data/collection/dictionary.lux b/stdlib/source/library/lux/data/collection/dictionary.lux index becef793e..1418b56d6 100644 --- a/stdlib/source/library/lux/data/collection/dictionary.lux +++ b/stdlib/source/library/lux/data/collection/dictionary.lux @@ -1,19 +1,19 @@ (.module: [library - [lux #* + [lux "*" [abstract - [hash (#+ Hash)] - [equivalence (#+ Equivalence)] - [functor (#+ Functor)]] + [hash {"+" [Hash]}] + [equivalence {"+" [Equivalence]}] + [functor {"+" [Functor]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." product] [collection ["." list ("#\." mix functor monoid)] - ["." array (#+ Array) ("#\." functor mix)]]] + ["." array {"+" [Array]} ("#\." functor mix)]]] [math ["." number ["n" nat] diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux index 81096ddef..a18f5b7ce 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [abstract equivalence - [monad (#+ Monad do)] - ["." order (#+ Order)]] + [monad {"+" [Monad do]}] + ["." order {"+" [Order]}]] [control ["." maybe]] [data diff --git a/stdlib/source/library/lux/data/collection/dictionary/plist.lux b/stdlib/source/library/lux/data/collection/dictionary/plist.lux index b5f04aa4a..d26859f71 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/plist.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [data ["." product] ["." text ("#\." equivalence)] diff --git a/stdlib/source/library/lux/data/collection/list.lux b/stdlib/source/library/lux/data/collection/list.lux index 5649dacec..ce9b246bd 100644 --- a/stdlib/source/library/lux/data/collection/list.lux +++ b/stdlib/source/library/lux/data/collection/list.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" ["@" target] [abstract - [monoid (#+ Monoid)] - [apply (#+ Apply)] - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [mix (#+ Mix)] - [predicate (#+ Predicate)] - ["." functor (#+ Functor)] - ["." monad (#+ do Monad)] + [monoid {"+" [Monoid]}] + [apply {"+" [Apply]}] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [mix {"+" [Mix]}] + [predicate {"+" [Predicate]}] + ["." functor {"+" [Functor]}] + ["." monad {"+" [Monad do]}] ["." enum]] [data ["." bit] diff --git a/stdlib/source/library/lux/data/collection/queue.lux b/stdlib/source/library/lux/data/collection/queue.lux index deb07edb2..12bb5b68e 100644 --- a/stdlib/source/library/lux/data/collection/queue.lux +++ b/stdlib/source/library/lux/data/collection/queue.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [functor (#+ Functor)]] + [equivalence {"+" [Equivalence]}] + [functor {"+" [Functor]}]] [data [collection ["." list ("#\." monoid functor)]]] diff --git a/stdlib/source/library/lux/data/collection/queue/priority.lux b/stdlib/source/library/lux/data/collection/queue/priority.lux index d3fb97cbb..7d609c439 100644 --- a/stdlib/source/library/lux/data/collection/queue/priority.lux +++ b/stdlib/source/library/lux/data/collection/queue/priority.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}]] [control ["." maybe]] [data [collection - ["." tree #_ - ["#" finger (#+ Tree)]]]] + ["." tree "_" + ["#" finger {"+" [Tree]}]]]] [math [number ["n" nat ("#\." interval)]]] - [type (#+ :by_example) - [abstract (#+ abstract: :abstraction :representation)]]]]) + [type {"+" [:by_example]} + [abstract {"+" [abstract: :abstraction :representation]}]]]]) (type: .public Priority Nat) diff --git a/stdlib/source/library/lux/data/collection/row.lux b/stdlib/source/library/lux/data/collection/row.lux index 6c04e7dd4..1b2b0764d 100644 --- a/stdlib/source/library/lux/data/collection/row.lux +++ b/stdlib/source/library/lux/data/collection/row.lux @@ -3,29 +3,29 @@ ... https://hypirion.com/musings/understanding-persistent-vector-pt-3 (.module: [library - [lux (#- list) + [lux {"-" [list]} ["@" target] [abstract - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad do)] - [equivalence (#+ Equivalence)] - [monoid (#+ Monoid)] - [mix (#+ Mix)] - [predicate (#+ Predicate)]] + [functor {"+" [Functor]}] + [apply {"+" [Apply]}] + [monad {"+" [Monad do]}] + [equivalence {"+" [Equivalence]}] + [monoid {"+" [Monoid]}] + [mix {"+" [Mix]}] + [predicate {"+" [Predicate]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}] ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data ["." product] [collection ["." list ("#\." mix functor monoid)] - ["." array (#+ Array) ("#\." functor mix)]]] + ["." array {"+" [Array]} ("#\." functor mix)]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math [number diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index 72821bf95..35b9a1102 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" [abstract - [functor (#+ Functor)] - [comonad (#+ CoMonad)]] + [functor {"+" [Functor]}] + [comonad {"+" [CoMonad]}]] [control - ["//" continuation (#+ Cont)] + ["//" continuation {"+" [Cont]}] ["<>" parser - ["<.>" code (#+ Parser)]]] - [macro (#+ with_identifiers) - [syntax (#+ syntax:)] + ["<.>" code {"+" [Parser]}]]] + [macro {"+" [with_identifiers]} + [syntax {"+" [syntax:]}] ["." code]] [data ["." bit] diff --git a/stdlib/source/library/lux/data/collection/set.lux b/stdlib/source/library/lux/data/collection/set.lux index 62e155534..32fabd6b7 100644 --- a/stdlib/source/library/lux/data/collection/set.lux +++ b/stdlib/source/library/lux/data/collection/set.lux @@ -1,19 +1,19 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [predicate (#+ Predicate)] - [monoid (#+ Monoid)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [predicate {"+" [Predicate]}] + [monoid {"+" [Monoid]}]] [data [collection ["." list ("#\." mix)]]] [math [number ["n" nat]]]]] - ["." // #_ - ["#" dictionary (#+ Dictionary)]]) + ["." // "_" + ["#" dictionary {"+" [Dictionary]}]]) (type: .public (Set a) (Dictionary a Any)) diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index 62aa7a52f..abc0836c5 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -1,10 +1,10 @@ ... https://en.wikipedia.org/wiki/Multiset (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}]] [control ["." function] ["." maybe]] @@ -12,11 +12,11 @@ [number ["n" nat]]] [type - [abstract (#+ abstract: :abstraction :representation ^:representation)]]]] + [abstract {"+" [abstract: :abstraction :representation ^:representation]}]]]] ["." // [// ["." list ("#\." mix monoid)] - ["." dictionary (#+ Dictionary)]]]) + ["." dictionary {"+" [Dictionary]}]]]) (abstract: .public (Set a) {} diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux index ac8c54ac0..dc8a825e6 100644 --- a/stdlib/source/library/lux/data/collection/set/ordered.lux +++ b/stdlib/source/library/lux/data/collection/set/ordered.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- list) + [lux {"-" [list]} [abstract - [equivalence (#+ Equivalence)] - [order (#+ Order)]] + [equivalence {"+" [Equivalence]}] + [order {"+" [Order]}]] [data [collection ["." list ("#\." mix)] diff --git a/stdlib/source/library/lux/data/collection/stack.lux b/stdlib/source/library/lux/data/collection/stack.lux index 8bb20bff3..f8ed6aab6 100644 --- a/stdlib/source/library/lux/data/collection/stack.lux +++ b/stdlib/source/library/lux/data/collection/stack.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [functor (#+ Functor)]] + [equivalence {"+" [Equivalence]}] + [functor {"+" [Functor]}]] [data [collection ["//" list]]] diff --git a/stdlib/source/library/lux/data/collection/tree.lux b/stdlib/source/library/lux/data/collection/tree.lux index 26c385f7e..2216a7b11 100644 --- a/stdlib/source/library/lux/data/collection/tree.lux +++ b/stdlib/source/library/lux/data/collection/tree.lux @@ -1,19 +1,19 @@ (.module: [library - [lux #* + [lux "*" [abstract - [functor (#+ Functor)] - [equivalence (#+ Equivalence)] - [mix (#+ Mix)] - [monad (#+ do)]] + [functor {"+" [Functor]}] + [equivalence {"+" [Equivalence]}] + [mix {"+" [Mix]}] + [monad {"+" [do]}]] [control ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data [collection ["." list ("#\." monad mix)]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]]]]) (type: .public (Tree a) diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux index c675916aa..40a70ac2d 100644 --- a/stdlib/source/library/lux/data/collection/tree/finger.lux +++ b/stdlib/source/library/lux/data/collection/tree/finger.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [abstract - [predicate (#+ Predicate)] - ["." monoid (#+ Monoid)]] + [predicate {"+" [Predicate]}] + ["." monoid {"+" [Monoid]}]] [data [collection ["." list ("#\." monoid)]]] [type - [abstract (#+ abstract: :abstraction :representation)]]]]) + [abstract {"+" [abstract: :abstraction :representation]}]]]]) ... https://en.wikipedia.org/wiki/Finger_tree (abstract: .public (Tree @ t v) diff --git a/stdlib/source/library/lux/data/collection/tree/zipper.lux b/stdlib/source/library/lux/data/collection/tree/zipper.lux index 15265bf94..613e3aeed 100644 --- a/stdlib/source/library/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/library/lux/data/collection/tree/zipper.lux @@ -1,21 +1,21 @@ (.module: [library - [lux #* + [lux "*" ["@" target] [abstract - [functor (#+ Functor)] - [comonad (#+ CoMonad)] - [monad (#+ do)] - [equivalence (#+ Equivalence)]] + [functor {"+" [Functor]}] + [comonad {"+" [CoMonad]}] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}]] [control ["." maybe ("#\." monad)]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor monoid)]]]]] - ["." // (#+ Tree) ("#\." functor)]) + ["." // {"+" [Tree]} ("#\." functor)]) (type: (Family Zipper a) (Record diff --git a/stdlib/source/library/lux/data/color.lux b/stdlib/source/library/lux/data/color.lux index 11c31b184..52b4cfac0 100644 --- a/stdlib/source/library/lux/data/color.lux +++ b/stdlib/source/library/lux/data/color.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [monoid (#+ Monoid)] - ["." hash (#+ Hash)]] + [equivalence {"+" [Equivalence]}] + [monoid {"+" [Monoid]}] + ["." hash {"+" [Hash]}]] [control [parser ["<.>" code]]] diff --git a/stdlib/source/library/lux/data/color/named.lux b/stdlib/source/library/lux/data/color/named.lux index 5d6a92463..b2d26139a 100644 --- a/stdlib/source/library/lux/data/color/named.lux +++ b/stdlib/source/library/lux/data/color/named.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [math - [number (#+ hex)]]]] - ["." // (#+ Color)]) + [number {"+" [hex]}]]]] + ["." // {"+" [Color]}]) (template [<red> <green> <blue> <name>] [(`` (def: .public <name> diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux index 8ffed2724..e57bbf11c 100644 --- a/stdlib/source/library/lux/data/format/binary.lux +++ b/stdlib/source/library/lux/data/format/binary.lux @@ -1,27 +1,27 @@ (.module: [library - [lux (#- and or nat int rev list type) + [lux {"-" [and or nat int rev list type]} [abstract - [monoid (#+ Monoid)] - [monad (#+ Monad do)] - [equivalence (#+ Equivalence)]] + [monoid {"+" [Monoid]}] + [monad {"+" [Monad do]}] + [equivalence {"+" [Equivalence]}]] [control - [pipe (#+ case>)] + [pipe {"+" [case>]}] ["." function] - ["." try (#+ Try)] + ["." try {"+" [Try]}] ["<>" parser ("#\." monad) - ["/" binary (#+ Offset Size Parser)]]] + ["/" binary {"+" [Offset Size Parser]}]]] [data ["." product] - ["." binary (#+ Binary)] + ["." binary {"+" [Binary]}] [text - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list] - ["." row (#+ Row) ("#\." functor)] - ["." set (#+ Set)]]] + ["." row {"+" [Row]} ("#\." functor)] + ["." set {"+" [Set]}]]] [math [number ["." i64] diff --git a/stdlib/source/library/lux/data/format/css.lux b/stdlib/source/library/lux/data/format/css.lux index 36c94ef17..7fd5e28d9 100644 --- a/stdlib/source/library/lux/data/format/css.lux +++ b/stdlib/source/library/lux/data/format/css.lux @@ -1,26 +1,26 @@ (.module: [library - [lux (#- and) + [lux {"-" [and]} [control ["." maybe]] [data [number ["." nat]] ["." text - ["%" format (#+ format)] - ["." encoding (#+ Encoding)]] + ["%" format {"+" [format]}] + ["." encoding {"+" [Encoding]}]] [collection ["." list ("#\." functor)]]] [type abstract] [world - [net (#+ URL)]]]] - ["." / #_ - ["#." selector (#+ Selector Combinator)] - ["#." value (#+ Value Animation Percentage)] - ["#." font (#+ Font)] - ["#." style (#+ Style)] - ["#." query (#+ Query)]]) + [net {"+" [URL]}]]]] + ["." / "_" + ["#." selector {"+" [Selector Combinator]}] + ["#." value {"+" [Value Animation Percentage]}] + ["#." font {"+" [Font]}] + ["#." style {"+" [Style]}] + ["#." query {"+" [Query]}]]) (abstract: .public Common {} Any) (abstract: .public Special {} Any) diff --git a/stdlib/source/library/lux/data/format/css/font.lux b/stdlib/source/library/lux/data/format/css/font.lux index 198621e16..21f983a86 100644 --- a/stdlib/source/library/lux/data/format/css/font.lux +++ b/stdlib/source/library/lux/data/format/css/font.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [type abstract] [control [parser ["s" code]]] ["." macro - [syntax (#+ syntax:)]] + [syntax {"+" [syntax:]}]] [world - [net (#+ URL)]]]] - ["." // #_ - ["#." value (#+ Value Font_Stretch Font_Style Font_Weight)]]) + [net {"+" [URL]}]]]] + ["." // "_" + ["#." value {"+" [Value Font_Stretch Font_Style Font_Weight]}]]) (type: .public Unicode_Range (Record diff --git a/stdlib/source/library/lux/data/format/css/property.lux b/stdlib/source/library/lux/data/format/css/property.lux index 0bb70c48d..0f0553b77 100644 --- a/stdlib/source/library/lux/data/format/css/property.lux +++ b/stdlib/source/library/lux/data/format/css/property.lux @@ -1,6 +1,6 @@ (.module: [library - [lux (#- All Cursor) + [lux {"-" [All Cursor]} [control [parser ["s" code]]] @@ -9,48 +9,48 @@ [macro ["." template] ["." code] - [syntax (#+ syntax:)]]]] + [syntax {"+" [syntax:]}]]]] [// - [value (#+ All - Number - Length Thickness Time - Color - Location Fit - Slice - Alignment Animation_Direction - Animation Animation_Fill - Column_Fill Column_Span - Iteration Count - Play - Timing Visibility Attachment - Blend Span Image - Angle Repeat Border - Collapse Box_Decoration_Break Caption - Float Clear - Content - Cursor - Shadow Clip - Text_Direction - Display Empty - Filter - Flex_Direction Flex_Wrap - Font Font_Kerning Font_Size Font_Variant - Grid Grid_Content Grid_Flow Grid_Span Grid_Template - Hanging_Punctuation Hyphens Isolation - List_Style_Position List_Style_Type - Overflow Page_Break Pointer_Events - Position - Quotes - Resize Scroll_Behavior Table_Layout - Text_Align Text_Align_Last - Text_Decoration_Line Text_Decoration_Style - Text_Justification Text_Overflow Text_Transform - Transform Transform_Origin Transform_Style - Transition - Bidi User_Select - Vertical_Align - White_Space Word_Break Word_Wrap Writing_Mode - Z_Index)]]) + [value {"+" [All + Number + Length Thickness Time + Color + Location Fit + Slice + Alignment Animation_Direction + Animation Animation_Fill + Column_Fill Column_Span + Iteration Count + Play + Timing Visibility Attachment + Blend Span Image + Angle Repeat Border + Collapse Box_Decoration_Break Caption + Float Clear + Content + Cursor + Shadow Clip + Text_Direction + Display Empty + Filter + Flex_Direction Flex_Wrap + Font Font_Kerning Font_Size Font_Variant + Grid Grid_Content Grid_Flow Grid_Span Grid_Template + Hanging_Punctuation Hyphens Isolation + List_Style_Position List_Style_Type + Overflow Page_Break Pointer_Events + Position + Quotes + Resize Scroll_Behavior Table_Layout + Text_Align Text_Align_Last + Text_Decoration_Line Text_Decoration_Style + Text_Justification Text_Overflow Text_Transform + Transform Transform_Origin Transform_Style + Transition + Bidi User_Select + Vertical_Align + White_Space Word_Break Word_Wrap Writing_Mode + Z_Index]}]]) (syntax: (text_identifier [identifier s.text]) (in (list (code.local_identifier (text.replaced "-" "_" identifier))))) diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux index 3743b7033..e48c1716c 100644 --- a/stdlib/source/library/lux/data/format/css/query.lux +++ b/stdlib/source/library/lux/data/format/css/query.lux @@ -1,25 +1,25 @@ (.module: [library - [lux (#- and or not) + [lux {"-" [and or not]} [control [parser ["s" code]]] [data [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [macro ["." template] ["." code] - [syntax (#+ syntax:)]] + [syntax {"+" [syntax:]}]] [type abstract]]] - ["." // #_ - ["#." value (#+ Value Length Count Resolution Ratio - Orientation Scan Boolean Update - Block_Overflow Inline_Overflow - Display_Mode Color_Gamut Inverted_Colors - Pointer Hover - Light Scripting Motion Color_Scheme)]]) + ["." // "_" + ["#." value {"+" [Value Length Count Resolution Ratio + Orientation Scan Boolean Update + Block_Overflow Inline_Overflow + Display_Mode Color_Gamut Inverted_Colors + Pointer Hover + Light Scripting Motion Color_Scheme]}]]) (syntax: (text_identifier [identifier s.text]) (in (list (code.local_identifier (text.replaced "-" "_" identifier))))) diff --git a/stdlib/source/library/lux/data/format/css/selector.lux b/stdlib/source/library/lux/data/format/css/selector.lux index f8aab3f86..f73ddcd9c 100644 --- a/stdlib/source/library/lux/data/format/css/selector.lux +++ b/stdlib/source/library/lux/data/format/css/selector.lux @@ -1,16 +1,16 @@ (.module: [library - [lux (#- or and for same? not) + [lux {"-" [or and for same? not]} [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [number ["i" int]]] [type abstract] [macro ["." template]] - ["." locale (#+ Locale)]]]) + ["." locale {"+" [Locale]}]]]) (type: .public Label Text) diff --git a/stdlib/source/library/lux/data/format/css/style.lux b/stdlib/source/library/lux/data/format/css/style.lux index 5aae7d013..fa13ff2e1 100644 --- a/stdlib/source/library/lux/data/format/css/style.lux +++ b/stdlib/source/library/lux/data/format/css/style.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [data [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [type abstract]]] - ["." // #_ - ["#." value (#+ Value)] - ["#." property (#+ Property)]]) + ["." // "_" + ["#." value {"+" [Value]}] + ["#." property {"+" [Property]}]]) (abstract: .public Style {#.doc "The style associated with a CSS selector."} diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux index e49398298..037bec265 100644 --- a/stdlib/source/library/lux/data/format/css/value.lux +++ b/stdlib/source/library/lux/data/format/css/value.lux @@ -1,6 +1,6 @@ (.module: [library - [lux (#- All Cursor and static false true) + [lux {"-" [All Cursor and static false true]} [control ["." maybe] [parser @@ -14,7 +14,7 @@ ["r" rev] ["f" frac]] ["." text - ["%" format (#+ Format format)]] + ["%" format {"+" [Format format]}]] [collection ["." list ("#\." functor)]]] [type @@ -22,11 +22,11 @@ [macro ["." template] ["." code] - [syntax (#+ syntax:)]] + [syntax {"+" [syntax:]}]] [world - [net (#+ URL)]]]] + [net {"+" [URL]}]]]] [// - [selector (#+ Label)]]) + [selector {"+" [Label]}]]) (syntax: (text_identifier [identifier s.text]) (in (list (code.local_identifier (text.replaced "-" "_" identifier))))) diff --git a/stdlib/source/library/lux/data/format/html.lux b/stdlib/source/library/lux/data/format/html.lux index b47416398..c58187017 100644 --- a/stdlib/source/library/lux/data/format/html.lux +++ b/stdlib/source/library/lux/data/format/html.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- Meta Source comment and) + [lux {"-" [Meta Source comment and]} [control ["." function] ["." maybe ("#\." functor)]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [type @@ -17,12 +17,12 @@ [macro ["." template]] [world - [net (#+ URL)]]]] + [net {"+" [URL]}]]]] [// [css ["." selector] - ["." style (#+ Style)]] - ["." xml (#+ XML)]]) + ["." style {"+" [Style]}]] + ["." xml {"+" [XML]}]]) (type: .public Tag selector.Tag) (type: .public ID selector.ID) diff --git a/stdlib/source/library/lux/data/format/json.lux b/stdlib/source/library/lux/data/format/json.lux index 6aec38ce5..5c27a69af 100644 --- a/stdlib/source/library/lux/data/format/json.lux +++ b/stdlib/source/library/lux/data/format/json.lux @@ -1,18 +1,18 @@ (.module: [library - [lux #* - ["." meta (#+ monad)] + [lux "*" + ["." meta {"+" [monad]}] [abstract - [equivalence (#+ Equivalence)] - [codec (#+ Codec)] - [predicate (#+ Predicate)] - ["." monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [codec {"+" [Codec]}] + [predicate {"+" [Predicate]}] + ["." monad {"+" [do]}]] [control pipe ["." maybe] - ["." try (#+ Try)] + ["." try {"+" [Try]}] ["<>" parser ("#\." monad) - ["<.>" text (#+ Parser)] + ["<.>" text {"+" [Parser]}] ["<.>" code]]] [data ["." bit] @@ -20,10 +20,10 @@ ["." text ("#\." equivalence monoid)] [collection ["." list ("#\." mix functor)] - ["." row (#+ Row row) ("#\." monad)] - ["." dictionary (#+ Dictionary)]]] + ["." row {"+" [Row row]} ("#\." monad)] + ["." dictionary {"+" [Dictionary]}]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math [number diff --git a/stdlib/source/library/lux/data/format/markdown.lux b/stdlib/source/library/lux/data/format/markdown.lux index 88746a059..c2dd1778e 100644 --- a/stdlib/source/library/lux/data/format/markdown.lux +++ b/stdlib/source/library/lux/data/format/markdown.lux @@ -1,15 +1,15 @@ (.module: [library - [lux (#- and) + [lux {"-" [and]} [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]] [type abstract] [world - [net (#+ URL)]]]]) + [net {"+" [URL]}]]]]) ... https://www.markdownguide.org/basic-syntax/ diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index 6450bdf01..e8335ce9d 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -1,32 +1,32 @@ (.module: [library - [lux (#- Mode Name and) + [lux {"-" [Mode Name and]} [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - [pipe (#+ case>)] - ["." try (#+ Try)] - ["." exception (#+ exception:)] + [pipe {"+" [case>]}] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}] ["<>" parser - ["<.>" binary (#+ Parser)]]] + ["<.>" binary {"+" [Parser]}]]] [data ["." product] - ["." binary (#+ Binary)] - ["." text (#+ Char) - ["%" format (#+ format)] + ["." binary {"+" [Binary]}] + ["." text {"+" [Char]} + ["%" format {"+" [format]}] [encoding ["." utf8]]] - ["." format #_ - ["#" binary (#+ Writer) ("#\." monoid)]] + ["." format "_" + ["#" binary {"+" [Writer]} ("#\." monoid)]] [collection ["." list ("#\." mix)] - ["." row (#+ Row) ("#\." mix)]]] + ["." row {"+" [Row]} ("#\." mix)]]] [math ["." number ["n" nat] ["." i64]]] [time - ["." instant (#+ Instant)] + ["." instant {"+" [Instant]}] ["." duration]] [world ["." file]] diff --git a/stdlib/source/library/lux/data/format/xml.lux b/stdlib/source/library/lux/data/format/xml.lux index ab5981b4f..1cb7ecce4 100644 --- a/stdlib/source/library/lux/data/format/xml.lux +++ b/stdlib/source/library/lux/data/format/xml.lux @@ -1,21 +1,21 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [codec (#+ Codec)]] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}] + [codec {"+" [Codec]}]] [control - [try (#+ Try)] + [try {"+" [Try]}] ["<>" parser ("#\." monad) - ["<.>" text (#+ Parser)]]] + ["<.>" text {"+" [Parser]}]]] [data ["." product] ["." name ("#\." equivalence codec)] ["." text ("#\." equivalence monoid)] [collection ["." list ("#\." functor)] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [math [number ["n" nat] diff --git a/stdlib/source/library/lux/data/identity.lux b/stdlib/source/library/lux/data/identity.lux index ac82be699..68af3d52a 100644 --- a/stdlib/source/library/lux/data/identity.lux +++ b/stdlib/source/library/lux/data/identity.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [abstract - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad)] - [comonad (#+ CoMonad)]] + [functor {"+" [Functor]}] + [apply {"+" [Apply]}] + [monad {"+" [Monad]}] + [comonad {"+" [CoMonad]}]] [control ["." function]]]]) diff --git a/stdlib/source/library/lux/data/name.lux b/stdlib/source/library/lux/data/name.lux index bb0216ba5..7235c0a5c 100644 --- a/stdlib/source/library/lux/data/name.lux +++ b/stdlib/source/library/lux/data/name.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [order (#+ Order)] - [codec (#+ Codec)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [order {"+" [Order]}] + [codec {"+" [Codec]}]] [data ["." text ("#\." equivalence monoid)] ["." product]]]]) diff --git a/stdlib/source/library/lux/data/product.lux b/stdlib/source/library/lux/data/product.lux index 3ad1ba207..df2df9ed1 100644 --- a/stdlib/source/library/lux/data/product.lux +++ b/stdlib/source/library/lux/data/product.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)]]]]) + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}]]]]) (template [<name>] [(def: .public (<name> [left right]) diff --git a/stdlib/source/library/lux/data/store.lux b/stdlib/source/library/lux/data/store.lux index de09fe022..005c9d69c 100644 --- a/stdlib/source/library/lux/data/store.lux +++ b/stdlib/source/library/lux/data/store.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - [functor (#+ Functor)] + [functor {"+" [Functor]}] comonad] [type implicit]]]) diff --git a/stdlib/source/library/lux/data/sum.lux b/stdlib/source/library/lux/data/sum.lux index 7c8696012..85d27f12b 100644 --- a/stdlib/source/library/lux/data/sum.lux +++ b/stdlib/source/library/lux/data/sum.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)]]]]) + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}]]]]) (template [<right?> <name>] [(def: .public (<name> value) diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux index 31e42bfa5..e553d69b1 100644 --- a/stdlib/source/library/lux/data/text.lux +++ b/stdlib/source/library/lux/data/text.lux @@ -1,14 +1,14 @@ (.module: [library - [lux (#- char) + [lux {"-" [char]} ["@" target] [abstract - [hash (#+ Hash)] - [monoid (#+ Monoid)] - [equivalence (#+ Equivalence)] - [order (#+ Order)] - [monad (#+ do)] - [codec (#+ Codec)]] + [hash {"+" [Hash]}] + [monoid {"+" [Monoid]}] + [equivalence {"+" [Equivalence]}] + [order {"+" [Order]}] + [monad {"+" [do]}] + [codec {"+" [Codec]}]] [control ["." maybe]] [data diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux index ddbf123c6..a9c3c7a41 100644 --- a/stdlib/source/library/lux/data/text/buffer.lux +++ b/stdlib/source/library/lux/data/text/buffer.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" ["@" target] - ["." ffi (#+ import:)] + ["." ffi {"+" [import:]}] [control ["." function]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." array] - ["." row (#+ Row) ("#\." mix)]]] + ["." row {"+" [Row]} ("#\." mix)]]] [math [number ["n" nat]]] diff --git a/stdlib/source/library/lux/data/text/encoding.lux b/stdlib/source/library/lux/data/text/encoding.lux index b1947bf67..3e139fde1 100644 --- a/stdlib/source/library/lux/data/text/encoding.lux +++ b/stdlib/source/library/lux/data/text/encoding.lux @@ -1,6 +1,6 @@ (.module: [library - [lux #* + [lux "*" [macro ["." template]] [type diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux index b8c821afd..f95ce62c3 100644 --- a/stdlib/source/library/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" ["@" target] ["." ffi] [abstract - [codec (#+ Codec)]] + [codec {"+" [Codec]}]] [control - ["." try (#+ Try)]] + ["." try {"+" [Try]}]] [data - ["." binary (#+ Binary)]]]] + ["." binary {"+" [Binary]}]]]] ["." //]) (with_expansions [<jvm> (as_is (ffi.import: java/lang/String diff --git a/stdlib/source/library/lux/data/text/escape.lux b/stdlib/source/library/lux/data/text/escape.lux index 4d99b6c8c..2dcbbbece 100644 --- a/stdlib/source/library/lux/data/text/escape.lux +++ b/stdlib/source/library/lux/data/text/escape.lux @@ -1,23 +1,23 @@ (.module: [library - [lux #* + [lux "*" ["." meta] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}] ["<>" parser ["<.>" code]]] [math - [number (#+ hex) + [number {"+" [hex]} ["n" nat]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]]]] - ["." // (#+ Char) - ["%" format (#+ format)]]) + ["." // {"+" [Char]} + ["%" format {"+" [format]}]]) (def: sigil "\") diff --git a/stdlib/source/library/lux/data/text/format.lux b/stdlib/source/library/lux/data/text/format.lux index a41022153..d79aed559 100644 --- a/stdlib/source/library/lux/data/text/format.lux +++ b/stdlib/source/library/lux/data/text/format.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- list nat int rev type) + [lux {"-" [list nat int rev type]} [abstract - [monad (#+ do)] + [monad {"+" [do]}] [functor ["." contravariant]]] [control ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data ["." bit] ["." name] @@ -32,7 +32,7 @@ ["." frac] ["." ratio]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code] ["." template]] [meta diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux index bdab7c6a1..4b4339ebc 100644 --- a/stdlib/source/library/lux/data/text/regex.lux +++ b/stdlib/source/library/lux/data/text/regex.lux @@ -1,28 +1,28 @@ (.module: [library - [lux #* + [lux "*" ["." meta] [abstract monad] [control ["." maybe] ["." try] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["<>" parser ("#\." monad) - ["<.>" text (#+ Parser)] + ["<.>" text {"+" [Parser]}] ["<.>" code]]] [data ["." product] [collection ["." list ("#\." mix monad)]]] - [macro (#+ with_identifiers) - [syntax (#+ syntax:)] + [macro {"+" [with_identifiers]} + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["n" nat ("#\." decimal)]]]]] ["." // - ["%" format (#+ format)]]) + ["%" format {"+" [format]}]]) (def: regex_char^ (Parser Text) diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux index a4f4d9eb2..f001fe99b 100644 --- a/stdlib/source/library/lux/data/text/unicode/block.lux +++ b/stdlib/source/library/lux/data/text/unicode/block.lux @@ -1,18 +1,18 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [monoid (#+ Monoid)] - ["." interval (#+ Interval)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [monoid {"+" [Monoid]}] + ["." interval {"+" [Interval]}]] [math - [number (#+ hex) + [number {"+" [hex]} ["n" nat ("#\." interval)] ["." i64]]] [type abstract]]] - [/// (#+ Char)]) + [/// {"+" [Char]}]) (abstract: .public Block {} diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux index ef489af08..fe2f5d6fe 100644 --- a/stdlib/source/library/lux/data/text/unicode/set.lux +++ b/stdlib/source/library/lux/data/text/unicode/set.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [data [collection ["." list ("#\." mix functor)] ["." set ("#\." equivalence)] - ["." tree #_ - ["#" finger (#+ Tree)]]]] - [type (#+ :by_example) + ["." tree "_" + ["#" finger {"+" [Tree]}]]]] + [type {"+" [:by_example]} abstract]]] - ["." / #_ - ["/#" // #_ - [// (#+ Char)] - ["#." block (#+ Block)]]]) + ["." / "_" + ["/#" // "_" + [// {"+" [Char]}] + ["#." block {"+" [Block]}]]]) (def: builder (tree.builder //block.monoid)) diff --git a/stdlib/source/library/lux/data/trace.lux b/stdlib/source/library/lux/data/trace.lux index b0819574c..9d5698bbc 100644 --- a/stdlib/source/library/lux/data/trace.lux +++ b/stdlib/source/library/lux/data/trace.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monoid (#+ Monoid)] - [functor (#+ Functor)] + ["." monoid {"+" [Monoid]}] + [functor {"+" [Functor]}] comonad] function]]) |