diff options
Diffstat (limited to 'stdlib/source/lux/data')
45 files changed, 445 insertions, 364 deletions
diff --git a/stdlib/source/lux/data/bool.lux b/stdlib/source/lux/data/bool.lux index 09aa2686b..b75663ad5 100644 --- a/stdlib/source/lux/data/bool.lux +++ b/stdlib/source/lux/data/bool.lux @@ -1,10 +1,11 @@ (.module: - lux - (lux (control [monoid (#+ Monoid)] - [equivalence (#+ Equivalence)] - hash - [codec (#+ Codec)]) - function)) + [lux #* + [control + [monoid (#+ Monoid)] + [equivalence (#+ Equivalence)] + hash + [codec (#+ Codec)]] + function]) ## [Structures] (structure: #export _ (Equivalence Bool) diff --git a/stdlib/source/lux/data/collection/array.lux b/stdlib/source/lux/data/collection/array.lux index fa261318f..684988954 100644 --- a/stdlib/source/lux/data/collection/array.lux +++ b/stdlib/source/lux/data/collection/array.lux @@ -1,12 +1,14 @@ (.module: - lux - (lux (control [monoid (#+ Monoid)] - [functor (#+ Functor)] - [equivalence (#+ Equivalence)] - fold) - (data (collection [list ("list/" Fold<List>)]) - [product]) - )) + [lux #* + [control + [monoid (#+ Monoid)] + [functor (#+ Functor)] + [equivalence (#+ Equivalence)] + fold] + [data + [collection [list ("list/" Fold<List>)]] + [product]] + ]) (def: #export (new size) (All [a] (-> Nat (Array a))) diff --git a/stdlib/source/lux/data/collection/bits.lux b/stdlib/source/lux/data/collection/bits.lux index 74a3e4189..78d5b4b7d 100644 --- a/stdlib/source/lux/data/collection/bits.lux +++ b/stdlib/source/lux/data/collection/bits.lux @@ -1,11 +1,13 @@ (.module: - [lux (#- not and or)] - (lux (control [equivalence (#+ Equivalence)] - pipe) - (data [maybe] - [bit] - (collection [array ("array/" Fold<Array>)]) - text/format))) + [lux (#- not and or) + [control + [equivalence (#+ Equivalence)] + pipe] + [data + [maybe] + [bit] + [text format] + [collection [array ("array/" Fold<Array>)]]]]) (type: #export Chunk I64) diff --git a/stdlib/source/lux/data/collection/dictionary.lux b/stdlib/source/lux/data/collection/dictionary.lux index 6712b57fb..a3e4be1d6 100644 --- a/stdlib/source/lux/data/collection/dictionary.lux +++ b/stdlib/source/lux/data/collection/dictionary.lux @@ -1,14 +1,17 @@ (.module: - lux - (lux (control hash - [equivalence (#+ Equivalence)]) - (data [maybe] - (collection [list ("list/" Fold<List> Functor<List> Monoid<List>)] - [array ("array/" Functor<Array> Fold<Array>)]) - [bit] - [product] - [number]) - )) + [lux #* + [control + hash + [equivalence (#+ Equivalence)]] + [data + [maybe] + [bit] + [product] + [number] + [collection + [list ("list/" Fold<List> Functor<List> Monoid<List>)] + [array ("array/" Functor<Array> Fold<Array>)]]] + ]) ## This implementation of Hash Array Mapped Trie (HAMT) is based on ## Clojure's PersistentHashMap implementation. diff --git a/stdlib/source/lux/data/collection/dictionary/ordered.lux b/stdlib/source/lux/data/collection/dictionary/ordered.lux index 6c0b645fc..963f178b3 100644 --- a/stdlib/source/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/lux/data/collection/dictionary/ordered.lux @@ -1,14 +1,16 @@ (.module: - lux - (lux (control [monad (#+ do Monad)] - equivalence - [order (#+ Order)]) - (data (collection [list ("list/" Monoid<List> Fold<List>)]) - ["p" product] - [maybe]) - [macro] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]))) + [lux #* + [control + [monad (#+ do Monad)] + equivalence + [order (#+ Order)]] + [data + ["p" product] + [maybe] + [collection [list ("list/" Monoid<List> Fold<List>)]]] + ["." macro + [code] + ["s" syntax (#+ syntax: Syntax)]]]) (def: error-message Text "Invariant violation") diff --git a/stdlib/source/lux/data/collection/dictionary/plist.lux b/stdlib/source/lux/data/collection/dictionary/plist.lux index 6ef26d51d..f1a6dff7e 100644 --- a/stdlib/source/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/lux/data/collection/dictionary/plist.lux @@ -1,6 +1,7 @@ (.module: - lux - (lux (data [text ("text/" Equivalence<Text>)]))) + [lux #* + [data + [text ("text/" Equivalence<Text>)]]]) (type: #export (PList a) (List [Text a])) diff --git a/stdlib/source/lux/data/collection/list.lux b/stdlib/source/lux/data/collection/list.lux index 549074d99..7ea58354e 100644 --- a/stdlib/source/lux/data/collection/list.lux +++ b/stdlib/source/lux/data/collection/list.lux @@ -1,14 +1,16 @@ (.module: - lux - (lux (control [monoid (#+ Monoid)] - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ do Monad)] - [equivalence (#+ Equivalence)] - [fold]) - (data [number ("nat/" Codec<Text,Nat>)] - bool - [product]))) + [lux #* + [control + [monoid (#+ Monoid)] + [functor (#+ Functor)] + [apply (#+ Apply)] + [monad (#+ do Monad)] + [equivalence (#+ Equivalence)] + [fold]] + [data + [number ("nat/" Codec<Text,Nat>)] + bool + [product]]]) ## [Types] ## (type: (List a) diff --git a/stdlib/source/lux/data/collection/queue.lux b/stdlib/source/lux/data/collection/queue.lux index bbb2c8721..cf3587ece 100644 --- a/stdlib/source/lux/data/collection/queue.lux +++ b/stdlib/source/lux/data/collection/queue.lux @@ -1,8 +1,9 @@ (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - ["F" functor]) - (data (collection [list ("list/" Monoid<List> Functor<List>)])))) + [lux #* + [control + [equivalence (#+ Equivalence)] + ["F" functor]] + [data [collection [list ("list/" Monoid<List> Functor<List>)]]]]) (type: #export (Queue a) {#front (List a) diff --git a/stdlib/source/lux/data/collection/queue/priority.lux b/stdlib/source/lux/data/collection/queue/priority.lux index ba087428c..6765c6708 100644 --- a/stdlib/source/lux/data/collection/queue/priority.lux +++ b/stdlib/source/lux/data/collection/queue/priority.lux @@ -1,10 +1,12 @@ (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - [monad (#+ do Monad)]) - (data (collection (tree [finger (#+ Tree)])) - [number ("nat/" Interval<Nat>)] - [maybe]))) + [lux #* + [control + [equivalence (#+ Equivalence)] + [monad (#+ do Monad)]] + [data + [number ("nat/" Interval<Nat>)] + [maybe] + [collection [tree [finger (#+ Tree)]]]]]) (type: #export Priority Nat) diff --git a/stdlib/source/lux/data/collection/row.lux b/stdlib/source/lux/data/collection/row.lux index a32b08aae..1dce1d4c5 100644 --- a/stdlib/source/lux/data/collection/row.lux +++ b/stdlib/source/lux/data/collection/row.lux @@ -1,21 +1,24 @@ (.module: - lux - (lux (control [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ do Monad)] - [equivalence (#+ Equivalence)] - monoid - fold - ["p" parser]) - (data [maybe] - (collection [list ("list/" Fold<List> Functor<List> Monoid<List>)] - [array ("array/" Functor<Array> Fold<Array>)]) - [bit] - [product]) - [macro (#+ with-gensyms)] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]) - )) + [lux #* + [control + [functor (#+ Functor)] + [apply (#+ Apply)] + [monad (#+ do Monad)] + [equivalence (#+ Equivalence)] + monoid + fold + ["p" parser]] + [data + [maybe] + [bit] + [product] + [collection + [list ("list/" Fold<List> Functor<List> Monoid<List>)] + [array ("array/" Functor<Array> Fold<Array>)]]] + [macro (#+ with-gensyms) + [code] + ["s" syntax (#+ syntax: Syntax)]] + ]) ## [Utils] (type: (Node a) diff --git a/stdlib/source/lux/data/collection/sequence.lux b/stdlib/source/lux/data/collection/sequence.lux index a148d745c..dc8f4a802 100644 --- a/stdlib/source/lux/data/collection/sequence.lux +++ b/stdlib/source/lux/data/collection/sequence.lux @@ -1,15 +1,17 @@ (.module: - lux - (lux (control functor - monad - comonad - [continuation (#+ pending Cont)] - ["p" parser]) - [macro (#+ with-gensyms)] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]) - (data (collection [list ("list/" Monad<List>)]) - bool))) + [lux #* + [control + functor + monad + comonad + [continuation (#+ pending Cont)] + ["p" parser]] + [macro (#+ with-gensyms) + [code] + ["s" syntax (#+ syntax: Syntax)]] + [data + bool + [collection [list ("list/" Monad<List>)]]]]) ## [Types] (type: #export (Sequence a) diff --git a/stdlib/source/lux/data/collection/set.lux b/stdlib/source/lux/data/collection/set.lux index 39585982a..5fa774e9e 100644 --- a/stdlib/source/lux/data/collection/set.lux +++ b/stdlib/source/lux/data/collection/set.lux @@ -1,10 +1,13 @@ (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - [hash (#+ Hash)]) - (data (collection ["dict" dictionary (#+ Dictionary)] - [list ("list/" Fold<List>)])) - (type abstract))) + [lux #* + [control + [equivalence (#+ Equivalence)] + [hash (#+ Hash)]] + [data + [collection + ["dict" dictionary (#+ Dictionary)] + [list ("list/" Fold<List>)]]] + [type abstract]]) (abstract: #export (Set a) {} diff --git a/stdlib/source/lux/data/collection/set/multi.lux b/stdlib/source/lux/data/collection/set/multi.lux index 0695bd0ff..5aff87021 100644 --- a/stdlib/source/lux/data/collection/set/multi.lux +++ b/stdlib/source/lux/data/collection/set/multi.lux @@ -1,14 +1,16 @@ ## https://en.wikipedia.org/wiki/Multiset (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - [hash (#+ Hash)]) - [function] - (language [type (#+ :share)]) - (type abstract)) - (//// [maybe]) - (/// [list ("list/" Fold<List>)] - [dictionary (#+ Dictionary)]) + [lux #* + [control + [equivalence (#+ Equivalence)] + [hash (#+ Hash)]] + [function] + [language [type (#+ :share)]] + [type abstract]] + [//// [maybe]] + [/// + [list ("list/" Fold<List>)] + [dictionary (#+ Dictionary)]] [//]) (abstract: #export (Set a) diff --git a/stdlib/source/lux/data/collection/set/ordered.lux b/stdlib/source/lux/data/collection/set/ordered.lux index 5ec88fb4a..7e43d2a4e 100644 --- a/stdlib/source/lux/data/collection/set/ordered.lux +++ b/stdlib/source/lux/data/collection/set/ordered.lux @@ -1,10 +1,13 @@ (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - [order (#+ Order)]) - (data (collection [list ("list/" Fold<List>)] - (dictionary ["//" ordered]))) - (type abstract))) + [lux #* + [control + [equivalence (#+ Equivalence)] + [order (#+ Order)]] + [data + [collection + [list ("list/" Fold<List>)] + [dictionary ["//" ordered]]]] + [type abstract]]) (abstract: #export (Set a) {} diff --git a/stdlib/source/lux/data/collection/stack.lux b/stdlib/source/lux/data/collection/stack.lux index c0e1af182..409993ef1 100644 --- a/stdlib/source/lux/data/collection/stack.lux +++ b/stdlib/source/lux/data/collection/stack.lux @@ -1,6 +1,8 @@ (.module: - lux - (lux (data (collection [list])))) + [lux #* + [data + [collection + [list]]]]) ## [Types] (type: #export (Stack a) diff --git a/stdlib/source/lux/data/collection/tree/finger.lux b/stdlib/source/lux/data/collection/tree/finger.lux index ea1ff0eee..1ce6d63fc 100644 --- a/stdlib/source/lux/data/collection/tree/finger.lux +++ b/stdlib/source/lux/data/collection/tree/finger.lux @@ -1,7 +1,7 @@ (.module: - lux - (lux (control ["m" monoid]) - (data text/format))) + [lux #* + [control ["m" monoid]] + [data [text format]]]) (type: #export (Node m a) (#Leaf m a) diff --git a/stdlib/source/lux/data/collection/tree/rose.lux b/stdlib/source/lux/data/collection/tree/rose.lux index 72b2bf340..86f1fc49f 100644 --- a/stdlib/source/lux/data/collection/tree/rose.lux +++ b/stdlib/source/lux/data/collection/tree/rose.lux @@ -1,14 +1,15 @@ (.module: - lux - (lux (control functor - [monad (#+ do Monad)] - equivalence - ["p" parser] - fold) - (data (collection [list ("list/" Monad<List> Fold<List>)])) - [macro] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]))) + [lux #* + [control + functor + [monad (#+ do Monad)] + equivalence + ["p" parser] + fold] + [data [collection [list ("list/" Monad<List> Fold<List>)]]] + ["." macro + [code] + ["s" syntax (#+ syntax: Syntax)]]]) ## [Types] (type: #export (Tree a) diff --git a/stdlib/source/lux/data/collection/tree/rose/parser.lux b/stdlib/source/lux/data/collection/tree/rose/parser.lux index 3696266dd..a2dd954b9 100644 --- a/stdlib/source/lux/data/collection/tree/rose/parser.lux +++ b/stdlib/source/lux/data/collection/tree/rose/parser.lux @@ -1,10 +1,12 @@ (.module: - lux - (lux (control ["p" parser] - ["ex" exception (#+ exception:)]) - (data ["E" error])) - [// (#+ Tree)] - (// [zipper (#+ Zipper)])) + [lux #* + [control + ["p" parser] + ["ex" exception (#+ exception:)]] + [data + ["E" error]]] + [// (#+ Tree) + [zipper (#+ Zipper)]]) (type: #export (Parser t a) (p.Parser (Zipper t) a)) diff --git a/stdlib/source/lux/data/collection/tree/rose/zipper.lux b/stdlib/source/lux/data/collection/tree/rose/zipper.lux index 8c8d67007..f9a33ce0e 100644 --- a/stdlib/source/lux/data/collection/tree/rose/zipper.lux +++ b/stdlib/source/lux/data/collection/tree/rose/zipper.lux @@ -1,14 +1,17 @@ (.module: - lux - (lux (control functor - comonad) - (data (collection [list ("list/" Functor<List> Fold<List> Monoid<List>)] - (tree [rose (#+ Tree) ("tree/" Functor<Tree>)]) - [stack (#+ Stack)]) - [maybe ("maybe/" Monad<Maybe>)]) - [macro] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]))) + [lux #* + [control + functor + comonad] + [data + [collection + [list ("list/" Functor<List> Fold<List> Monoid<List>)] + [tree [rose (#+ Tree) ("tree/" Functor<Tree>)]] + [stack (#+ Stack)]] + [maybe ("maybe/" Monad<Maybe>)]] + ["." macro + [code] + ["s" syntax (#+ syntax: Syntax)]]]) ## Adapted from the clojure.zip namespace in the Clojure standard library. diff --git a/stdlib/source/lux/data/color.lux b/stdlib/source/lux/data/color.lux index 9312429b8..a7b9fa0c3 100644 --- a/stdlib/source/lux/data/color.lux +++ b/stdlib/source/lux/data/color.lux @@ -1,9 +1,9 @@ (.module: - lux - (lux (control ["eq" equivalence]) - (data (collection [list ("list/" Functor<List>)])) - [math] - (type abstract))) + [lux #* + [control ["eq" equivalence]] + [data [collection [list ("list/" Functor<List>)]]] + [math] + [type abstract]]) (def: rgb Nat +256) (def: top Nat (dec rgb)) diff --git a/stdlib/source/lux/data/env.lux b/stdlib/source/lux/data/env.lux index 68d0affc0..134220215 100644 --- a/stdlib/source/lux/data/env.lux +++ b/stdlib/source/lux/data/env.lux @@ -1,7 +1,7 @@ (.module: - lux - (lux (control ["F" functor] - comonad))) + [lux #* + [control ["F" functor] + comonad]]) (type: #export (Env e a) {#env e diff --git a/stdlib/source/lux/data/error.lux b/stdlib/source/lux/data/error.lux index 456df0b0c..0baeecc73 100644 --- a/stdlib/source/lux/data/error.lux +++ b/stdlib/source/lux/data/error.lux @@ -1,8 +1,9 @@ (.module: - lux - (lux (control ["F" functor] - ["A" apply] - ["M" monad (#+ do Monad)]))) + [lux #* + [control + ["F" functor] + ["A" apply] + ["M" monad (#+ do Monad)]]]) ## [Types] (type: #export (Error a) diff --git a/stdlib/source/lux/data/format/binary.lux b/stdlib/source/lux/data/format/binary.lux index 8cc389e5e..4503f21dd 100644 --- a/stdlib/source/lux/data/format/binary.lux +++ b/stdlib/source/lux/data/format/binary.lux @@ -1,14 +1,17 @@ (.module: - [lux (#- nat int rev list type)] - (lux (control [monad (#+ do Monad)] - ["p" parser] - ["ex" exception (#+ exception:)] - [equivalence (#+ Equivalence)]) - (data [error] - (text [encoding] - [format (#+ %n)]) - [number]) - (world [blob (#+ Blob)]))) + [lux (#- nat int rev list type) + [control + [monad (#+ do Monad)] + ["p" parser] + ["ex" exception (#+ exception:)] + [equivalence (#+ Equivalence)]] + [data + [error] + [text + [encoding] + [format (#+ %n)]] + [number]] + [world [blob (#+ Blob)]]]) ## Exceptions (exception: #export (blob-was-not-fully-read {length Nat} {read Nat}) diff --git a/stdlib/source/lux/data/format/context.lux b/stdlib/source/lux/data/format/context.lux index 176fed9f8..0cc7d0da8 100644 --- a/stdlib/source/lux/data/format/context.lux +++ b/stdlib/source/lux/data/format/context.lux @@ -1,10 +1,12 @@ (.module: - lux - (lux (control ["p" parser] - ["ex" exception (#+ exception:)] - [monad (#+ do)]) - (data ["E" error] - (collection ["dict" dictionary (#+ Dictionary)])))) + [lux #* + [control + ["p" parser] + ["ex" exception (#+ exception:)] + [monad (#+ do)]] + [data + ["E" error] + [collection ["dict" dictionary (#+ Dictionary)]]]]) (exception: #export (unknown-property {property Text}) property) diff --git a/stdlib/source/lux/data/format/css.lux b/stdlib/source/lux/data/format/css.lux index 3ef030241..6afbe164e 100644 --- a/stdlib/source/lux/data/format/css.lux +++ b/stdlib/source/lux/data/format/css.lux @@ -1,10 +1,11 @@ (.module: - lux - (lux (data [color (#+ Color)] - [number] - [text] - text/format - (collection [list ("list/" Functor<List> Monoid<List>)])))) + [lux #* + [data + [color (#+ Color)] + [number] + ["." text + format] + [collection [list ("list/" Functor<List> Monoid<List>)]]]]) (type: #export Selector Text) diff --git a/stdlib/source/lux/data/format/html.lux b/stdlib/source/lux/data/format/html.lux index c3821027d..b63993b3b 100644 --- a/stdlib/source/lux/data/format/html.lux +++ b/stdlib/source/lux/data/format/html.lux @@ -1,8 +1,9 @@ (.module: - [lux (#- comment)] - (lux (data [text] - text/format - (collection [list ("list/" Functor<List>)])))) + [lux (#- comment) + [data + ["." text + format] + [collection [list ("list/" Functor<List>)]]]]) (type: #export Attributes {#.doc "Attributes for an HTML tag."} diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index cd7b82be0..0316b5a9b 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -1,25 +1,28 @@ (.module: {#.doc "Functionality for reading and writing values in the JSON format. For more information, please see: http://www.json.org/"} - [lux (#- Array)] - (lux (control [monad (#+ do Monad)] - [equivalence (#+ Equivalence)] - codec - ["p" parser ("parser/" Monad<Parser>)]) - (data [bool] - [text ("text/" Equivalence<Text> Monoid<Text>)] - (text ["l" lexer]) - [number ("frac/" Codec<Text,Frac>) ("nat/" Codec<Text,Nat>)] - [maybe] - ["e" error] - [sum] - [product] - (collection [list ("list/" Fold<List> Monad<List>)] - [row (#+ Row row) ("row/" Monad<Row>)] - ["dict" dictionary (#+ Dictionary)])) - [macro (#+ Monad<Meta> with-gensyms)] - (macro ["s" syntax (#+ syntax:)] - [code]))) + [lux (#- Array) + [control + [monad (#+ do Monad)] + [equivalence (#+ Equivalence)] + codec + ["p" parser ("parser/" Monad<Parser>)]] + [data + [bool] + [text ("text/" Equivalence<Text> Monoid<Text>) + ["l" lexer]] + [number ("frac/" Codec<Text,Frac>) ("nat/" Codec<Text,Nat>)] + [maybe] + ["e" error] + [sum] + [product] + [collection + [list ("list/" Fold<List> Monad<List>)] + [row (#+ Row row) ("row/" Monad<Row>)] + ["dict" dictionary (#+ Dictionary)]]] + [macro (#+ Monad<Meta> with-gensyms) + ["s" syntax (#+ syntax:)] + [code]]]) (do-template [<name> <type>] [(type: #export <name> <type>)] diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux index 76b4b1710..fcdca14c8 100644 --- a/stdlib/source/lux/data/format/xml.lux +++ b/stdlib/source/lux/data/format/xml.lux @@ -1,18 +1,21 @@ (.module: {#.doc "Functionality for reading, generating and processing values in the XML format."} - lux - (lux (control monad - [equivalence (#+ Equivalence)] - codec - ["p" parser ("parser/" Monad<Parser>)] - ["ex" exception (#+ exception:)]) - (data [text ("text/" Equivalence<Text> Monoid<Text>)] - (text ["l" lexer]) - [number] - ["E" error] - [product] - [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)] - (collection [list ("list/" Monad<List>)] - ["d" dictionary])))) + [lux #* + [control + monad + [equivalence (#+ Equivalence)] + codec + ["p" parser ("parser/" Monad<Parser>)] + ["ex" exception (#+ exception:)]] + [data + [text ("text/" Equivalence<Text> Monoid<Text>) + ["l" lexer]] + [number] + ["E" error] + [product] + [ident ("ident/" Equivalence<Ident> Codec<Text,Ident>)] + [collection + [list ("list/" Monad<List>)] + ["d" dictionary]]]]) (type: #export Tag Ident) (type: #export Attrs (d.Dictionary Ident Text)) diff --git a/stdlib/source/lux/data/ident.lux b/stdlib/source/lux/data/ident.lux index ce2c08042..545b22a65 100644 --- a/stdlib/source/lux/data/ident.lux +++ b/stdlib/source/lux/data/ident.lux @@ -1,9 +1,10 @@ (.module: - lux - (lux (control [equivalence (#+ Equivalence)] - [codec (#+ Codec)] - hash) - (data [text ("text/" Monoid<Text> Equivalence<Text>)]))) + [lux #* + [control + [equivalence (#+ Equivalence)] + [codec (#+ Codec)] + hash] + [data [text ("text/" Monoid<Text> Equivalence<Text>)]]]) ## [Types] ## (type: Ident diff --git a/stdlib/source/lux/data/identity.lux b/stdlib/source/lux/data/identity.lux index 969b89e4d..7a41cb69f 100644 --- a/stdlib/source/lux/data/identity.lux +++ b/stdlib/source/lux/data/identity.lux @@ -1,9 +1,10 @@ (.module: - lux - (lux/control ["F" functor] - ["A" apply] - (monad #as M #refer #all) - (comonad #as CM #refer #all))) + [lux #* + [control + ["F" functor] + ["A" apply] + ["M" monad #*] + ["CM" comonad #*]]]) ## [Types] (type: #export (Identity a) diff --git a/stdlib/source/lux/data/lazy.lux b/stdlib/source/lux/data/lazy.lux index efe202e21..df48114d8 100644 --- a/stdlib/source/lux/data/lazy.lux +++ b/stdlib/source/lux/data/lazy.lux @@ -1,13 +1,14 @@ (.module: - lux - (lux [io] - (control [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad do)]) - (concurrency [atom]) - [macro (#+ with-gensyms)] - (macro ["s" syntax (#+ syntax:)]) - (type abstract))) + [lux #* + [io] + [control + [functor (#+ Functor)] + [apply (#+ Apply)] + [monad (#+ Monad do)]] + [concurrency [atom]] + [macro (#+ with-gensyms) + ["s" syntax (#+ syntax:)]] + [type abstract]]) (abstract: #export (Lazy a) (-> [] a) diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux index c3da0c2a9..90712968b 100644 --- a/stdlib/source/lux/data/maybe.lux +++ b/stdlib/source/lux/data/maybe.lux @@ -1,10 +1,11 @@ (.module: - lux - (lux (control ["m" monoid] - ["F" functor] - ["A" apply] - [monad (#+ do Monad)] - [equivalence (#+ Equivalence)]))) + [lux #* + [control + ["m" monoid] + ["F" functor] + ["A" apply] + [monad (#+ do Monad)] + [equivalence (#+ Equivalence)]]]) ## [Types] ## (type: (Maybe a) diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux index d598fbe41..615565c16 100644 --- a/stdlib/source/lux/data/number.lux +++ b/stdlib/source/lux/data/number.lux @@ -1,16 +1,18 @@ (.module: {#.doc "Implementations of common structures for Lux's primitive number types."} - lux - (lux (control number - [monoid (#+ Monoid)] - [equivalence (#+ Equivalence)] - hash - [order] - enum - interval - [codec (#+ Codec)]) - (data ["e" error] - [maybe] - [bit]))) + [lux #* + [control + number + [monoid (#+ Monoid)] + [equivalence (#+ Equivalence)] + hash + [order] + enum + interval + [codec (#+ Codec)]] + [data + ["e" error] + [maybe] + [bit]]]) ## [Structures] (do-template [<type> <test>] diff --git a/stdlib/source/lux/data/number/complex.lux b/stdlib/source/lux/data/number/complex.lux index 58818de8c..134801015 100644 --- a/stdlib/source/lux/data/number/complex.lux +++ b/stdlib/source/lux/data/number/complex.lux @@ -1,18 +1,20 @@ (.module: {#.doc "Complex arithmetic."} - lux - (lux [math] - (control [equivalence (#+ Equivalence)] - number - codec - ["M" monad (#+ do Monad)] - ["p" parser]) - (data [number ("frac/" Number<Frac>)] - [text ("text/" Monoid<Text>)] - [maybe] - (collection [list ("list/" Functor<List>)])) - [macro] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]))) + [lux #* + [math] + [control + [equivalence (#+ Equivalence)] + number + codec + ["M" monad (#+ do Monad)] + ["p" parser]] + [data + [number ("frac/" Number<Frac>)] + [text ("text/" Monoid<Text>)] + [maybe] + [collection [list ("list/" Functor<List>)]]] + ["." macro + [code] + ["s" syntax (#+ syntax: Syntax)]]]) (type: #export Complex {#real Frac diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux index b364dec92..b1aed0cba 100644 --- a/stdlib/source/lux/data/number/ratio.lux +++ b/stdlib/source/lux/data/number/ratio.lux @@ -1,21 +1,23 @@ (.module: {#.doc "Rational arithmetic."} - lux - (lux [math] - (control [equivalence (#+ Equivalence)] - [order] - number - codec - monad - ["p" parser]) - (data [number ("nat/" Codec<Text,Nat>)] - [text ("text/" Monoid<Text>)] - text/format - ["E" error] - [product] - [maybe]) - [macro] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]))) + [lux #* + [math] + [control + [equivalence (#+ Equivalence)] + [order] + number + codec + monad + ["p" parser]] + [data + [number ("nat/" Codec<Text,Nat>)] + [text ("text/" Monoid<Text>) + format] + ["E" error] + [product] + [maybe]] + ["." macro + [code] + ["s" syntax (#+ syntax: Syntax)]]]) (type: #export Ratio {#numerator Nat diff --git a/stdlib/source/lux/data/store.lux b/stdlib/source/lux/data/store.lux index 96e4988b3..c1b974840 100644 --- a/stdlib/source/lux/data/store.lux +++ b/stdlib/source/lux/data/store.lux @@ -1,8 +1,9 @@ (.module: - lux - (lux (control ["F" functor] - comonad) - (type implicit))) + [lux #* + [control + ["F" functor] + comonad] + [type implicit]]) (type: #export (Store s a) {#cursor s diff --git a/stdlib/source/lux/data/tainted.lux b/stdlib/source/lux/data/tainted.lux index b3f883fdf..903b777d6 100644 --- a/stdlib/source/lux/data/tainted.lux +++ b/stdlib/source/lux/data/tainted.lux @@ -1,7 +1,9 @@ (.module: - lux - (lux (data [product]) - (type abstract))) + [lux #* + [data + [product]] + [type + abstract]]) (abstract: #export (Tainted a) a diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux index 3ceceb171..a7fbd8a18 100644 --- a/stdlib/source/lux/data/text.lux +++ b/stdlib/source/lux/data/text.lux @@ -1,13 +1,15 @@ (.module: - lux - (lux (control [monoid (#+ Monoid)] - [equivalence (#+ Equivalence)] - [order] - [monad (#+ do Monad)] - [codec (#+ Codec)] - hash) - (data (collection [list]) - [maybe]))) + [lux #* + [control + [monoid (#+ Monoid)] + [equivalence (#+ Equivalence)] + [order] + [monad (#+ do Monad)] + [codec (#+ Codec)] + hash] + [data + [collection [list]] + [maybe]]]) ## [Functions] (def: #export (size x) diff --git a/stdlib/source/lux/data/text/buffer.lux b/stdlib/source/lux/data/text/buffer.lux index 5b8f8e56e..33708932e 100644 --- a/stdlib/source/lux/data/text/buffer.lux +++ b/stdlib/source/lux/data/text/buffer.lux @@ -1,11 +1,14 @@ (.module: - lux - (lux (data [product] - text/format - (collection [row (#+ Row) ("row/" Fold<Row>)])) - (language ["_" host]) - (type abstract) - [host (#+ import:)]) + [lux #* + [data + [product] + [text format] + [collection [row (#+ Row) ("row/" Fold<Row>)]]] + [language + ["_" host]] + [type + abstract] + [host (#+ import:)]] [//]) (`` (for {(~~ (static _.jvm)) diff --git a/stdlib/source/lux/data/text/encoding.lux b/stdlib/source/lux/data/text/encoding.lux index 7442faa68..2ea8e4a76 100644 --- a/stdlib/source/lux/data/text/encoding.lux +++ b/stdlib/source/lux/data/text/encoding.lux @@ -1,9 +1,9 @@ (.module: - lux - (lux (data [error (#+ Error)]) - (world [blob (#+ Blob)]) - (language ["_" host]) - [host (#+ import:)])) + [lux #* + [data [error (#+ Error)]] + [world [blob (#+ Blob)]] + [language ["_" host]] + [host (#+ import:)]]) (`` (for {(~~ (static _.jvm)) (as-is (def: utf8 Text "UTF-8") diff --git a/stdlib/source/lux/data/text/format.lux b/stdlib/source/lux/data/text/format.lux index 977592479..d32862024 100644 --- a/stdlib/source/lux/data/text/format.lux +++ b/stdlib/source/lux/data/text/format.lux @@ -1,23 +1,27 @@ (.module: - lux - (lux (control [monad (#+ do Monad)] - ["p" parser]) - (data [bool] - [number] - [text] - [ident] - (collection [list ("list/" Monad<List>)]) - (format [xml] - [json])) - (time [instant] - [duration] - [date]) - (math [modular]) - [macro] - (macro [code] - ["s" syntax (#+ syntax: Syntax)]) - (language [type]) - )) + [lux #* + [control + [monad (#+ do Monad)] + ["p" parser]] + [data + [bool] + [number] + [text] + [ident] + [collection [list ("list/" Monad<List>)]] + [format + [xml] + [json]]] + [time + [instant] + [duration] + [date]] + [math [modular]] + ["." macro + [code] + ["s" syntax (#+ syntax: Syntax)]] + [language [type]] + ]) ## [Syntax] (syntax: #export (format {fragments (p.many s.any)}) diff --git a/stdlib/source/lux/data/text/lexer.lux b/stdlib/source/lux/data/text/lexer.lux index c45361800..13c49ef8f 100644 --- a/stdlib/source/lux/data/text/lexer.lux +++ b/stdlib/source/lux/data/text/lexer.lux @@ -1,13 +1,15 @@ (.module: - [lux (#- not)] - (lux (control [monad (#+ do Monad)] - ["p" parser]) - (data [text ("text/" Monoid<Text>)] - [product] - [maybe] - ["e" error] - (collection [list])) - (macro [code]))) + [lux (#- not) + [control + [monad (#+ do Monad)] + ["p" parser]] + [data + [text ("text/" Monoid<Text>)] + [product] + [maybe] + ["e" error] + [collection [list]]] + [macro [code]]]) (type: Offset Nat) diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux index 6a71ca24d..8b35b770c 100644 --- a/stdlib/source/lux/data/text/regex.lux +++ b/stdlib/source/lux/data/text/regex.lux @@ -1,18 +1,20 @@ (.module: - lux - (lux (control monad - ["p" parser ("parser/" Monad<Parser>)]) - (data [text] - ["l" text/lexer] - text/format - [number ("int/" Codec<Text,Int>)] - [product] - ["e" error] - [maybe] - (collection [list ("list/" Fold<List> Monad<List>)])) - [macro (#+ with-gensyms)] - (macro [code] - ["s" syntax (#+ syntax:)]))) + [lux #* + [control + monad + ["p" parser ("parser/" Monad<Parser>)]] + [data + [number ("int/" Codec<Text,Int>)] + [product] + ["e" error] + [maybe] + ["." text + ["l" lexer] + format] + [collection [list ("list/" Fold<List> Monad<List>)]]] + [macro (#+ with-gensyms) + [code] + ["s" syntax (#+ syntax:)]]]) ## [Utils] (def: regex-char^ diff --git a/stdlib/source/lux/data/text/unicode.lux b/stdlib/source/lux/data/text/unicode.lux index 5c946c84f..10b9692ee 100644 --- a/stdlib/source/lux/data/text/unicode.lux +++ b/stdlib/source/lux/data/text/unicode.lux @@ -1,11 +1,14 @@ (.module: - lux - (lux (control [interval (#+ Interval)] - [monoid (#+ Monoid)]) - (data [number (#+ hex) ("nat/" Interval<Nat>)] - (collection [list] - (tree [finger (#+ Tree)]))) - (type abstract))) + [lux #* + [control + [interval (#+ Interval)] + [monoid (#+ Monoid)]] + [data + [number (#+ hex) ("nat/" Interval<Nat>)] + [collection + [list] + [tree [finger (#+ Tree)]]]] + [type abstract]]) (type: #export Char Nat) diff --git a/stdlib/source/lux/data/trace.lux b/stdlib/source/lux/data/trace.lux index f86219be7..a0c366199 100644 --- a/stdlib/source/lux/data/trace.lux +++ b/stdlib/source/lux/data/trace.lux @@ -1,9 +1,10 @@ (.module: - lux - (lux (control [monoid (#+ Monoid)] - [functor (#+ Functor)] - comonad) - function)) + [lux #* + [control + [monoid (#+ Monoid)] + [functor (#+ Functor)] + comonad] + function]) (type: #export (Trace t a) {#monoid (Monoid t) |