diff options
Diffstat (limited to 'stdlib/source/library/lux/world')
21 files changed, 151 insertions, 151 deletions
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux index 00346ef03..75d963612 100644 --- a/stdlib/source/library/lux/world/console.lux +++ b/stdlib/source/library/lux/world/console.lux @@ -2,20 +2,20 @@ [library [lux "*" ["@" target] - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO io} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO io) ("[1]#[0]" functor)] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)] + ["[0]" async (.only Async) ("[1]#[0]" monad)] ["[0]" atom]]] [data - ["[0]" text {"+" Char} - ["%" format {"+" format}]]]]]) + ["[0]" text (.only Char) + ["%" format (.only format)]]]]]) (type: .public (Console !) (Interface diff --git a/stdlib/source/library/lux/world/db/jdbc.lux b/stdlib/source/library/lux/world/db/jdbc.lux index 748f2955d..ad9944425 100644 --- a/stdlib/source/library/lux/world/db/jdbc.lux +++ b/stdlib/source/library/lux/world/db/jdbc.lux @@ -2,28 +2,28 @@ [library [lux {"-" and int} [control - [functor {"+" Functor}] - [apply {"+" Apply}] - [monad {"+" Monad do}] - ["[0]" try {"+" Try}] + [functor (.only Functor)] + [apply (.only Apply)] + [monad (.only Monad do)] + ["[0]" try (.only Try)] ["ex" exception] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]] [security - ["!" capability {"+" capability:}]]] + ["!" capability (.only capability:)]]] [data ["[0]" product] [text - ["%" format {"+" format}]]] - ["[0]" io {"+" IO}] + ["%" format (.only format)]]] + ["[0]" io (.only IO)] [world - [net {"+" URL}]] - [host {"+" import:}]]] + [net (.only URL)]] + [host (.only import:)]]] [// ["[0]" sql]] ["[0]" / "_" - ["[1][0]" input {"+" Input}] - ["[1][0]" output {"+" Output}]]) + ["[1][0]" input (.only Input)] + ["[1][0]" output (.only Output)]]) (import: java/lang/String) diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux index 49f7557b1..742467b81 100644 --- a/stdlib/source/library/lux/world/db/jdbc/input.lux +++ b/stdlib/source/library/lux/world/db/jdbc/input.lux @@ -1,16 +1,16 @@ (.using - [library - [lux {"-" and int} - [ffi {"+" import:}] - [control - [functor {"+" Contravariant}] - [monad {"+" Monad do}] - ["[0]" try {"+" Try}]] - [time - ["[0]" instant {"+" Instant}]] - ["[0]" io {"+" IO}] - [world - [binary {"+" Binary}]]]]) + [library + [lux {"-" and int} + [ffi (.only import:)] + [control + [functor (.only Contravariant)] + [monad (.only Monad do)] + ["[0]" try (.only Try)]] + [time + ["[0]" instant (.only Instant)]] + ["[0]" io (.only IO)] + [world + [binary (.only Binary)]]]]) (import: java/lang/String) diff --git a/stdlib/source/library/lux/world/db/jdbc/output.lux b/stdlib/source/library/lux/world/db/jdbc/output.lux index 6de6b9d57..cf195b35c 100644 --- a/stdlib/source/library/lux/world/db/jdbc/output.lux +++ b/stdlib/source/library/lux/world/db/jdbc/output.lux @@ -1,18 +1,18 @@ (.using [library [lux {"-" and int} - [ffi {"+" import:}] + [ffi (.only import:)] [control - [functor {"+" Functor}] - [apply {"+" Apply}] - [monad {"+" Monad do}] + [functor (.only Functor)] + [apply (.only Apply)] + [monad (.only Monad do)] ["ex" exception] - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [time - ["[0]" instant {"+" Instant}]] - ["[0]" io {"+" IO}] + ["[0]" instant (.only Instant)]] + ["[0]" io (.only IO)] [world - [binary {"+" Binary}]]]]) + [binary (.only Binary)]]]]) (import: java/lang/String) diff --git a/stdlib/source/library/lux/world/db/sql.lux b/stdlib/source/library/lux/world/db/sql.lux index 218d64ccf..952bab958 100644 --- a/stdlib/source/library/lux/world/db/sql.lux +++ b/stdlib/source/library/lux/world/db/sql.lux @@ -2,12 +2,12 @@ [library [lux {"-" Source Definition function and or not type int} [control - [monad {"+" do}]] + [monad (.only do)]] [data [number ["i" int]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [macro diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux index 820ab92e0..300751aaa 100644 --- a/stdlib/source/library/lux/world/file.lux +++ b/stdlib/source/library/lux/world/file.lux @@ -3,27 +3,27 @@ [lux {"-" open} ["@" target] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO) ("[1]#[0]" functor)] ["[0]" function] [concurrency - ["[0]" async {"+" Async}] - ["[0]" stm {"+" Var STM}]]] + ["[0]" async (.only Async)] + ["[0]" stm (.only Var STM)]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" product] - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" array {"+" Array}] + ["[0]" array (.only Array)] ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] ["[0]" ffi (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js])) "{old}" (~~ (.these ["node_js" //control/thread])) @@ -35,7 +35,7 @@ ["i" int] ["f" frac]]] [time - ["[0]" instant {"+" Instant}] + ["[0]" instant (.only Instant)] ["[0]" duration]]]]))) (type: .public Path diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux index d9c070472..497af0a49 100644 --- a/stdlib/source/library/lux/world/file/watch.lux +++ b/stdlib/source/library/lux/world/file/watch.lux @@ -2,24 +2,24 @@ [library [lux {"-" all} ["@" target] - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [predicate {"+" Predicate}] - ["[0]" monad {"+" do}]] + [predicate (.only Predicate)] + ["[0]" monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] [concurrency - ["[0]" async {"+" Async}] - ["[0]" stm {"+" STM Var}]]] + ["[0]" async (.only Async)] + ["[0]" stm (.only STM Var)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" functor monoid mix)] ["[0]" set] ["[0]" array]]] @@ -27,9 +27,9 @@ [number ["n" nat]]] [time - ["[0]" instant {"+" Instant} ("[1]#[0]" equivalence)]] + ["[0]" instant (.only Instant) ("[1]#[0]" equivalence)]] [type - [primitive {"+" primitive: representation abstraction}]]]] + [primitive (.only primitive: representation abstraction)]]]] ["[0]" //]) (primitive: .public Concern diff --git a/stdlib/source/library/lux/world/net/http.lux b/stdlib/source/library/lux/world/net/http.lux index 514f8d6ff..950d1b982 100644 --- a/stdlib/source/library/lux/world/net/http.lux +++ b/stdlib/source/library/lux/world/net/http.lux @@ -1,16 +1,16 @@ (.using - [library - [lux "*" - [control - [try {"+" Try}] - [concurrency - [frp {"+" Channel}]] - [parser - ["[0]" environment {"+" Environment}]]] - [data - [binary {"+" Binary}]]]] - [// {"+" URL} - [uri {"+" URI}]]) + [library + [lux "*" + [control + [try (.only Try)] + [concurrency + [frp (.only Channel)]] + [parser + ["[0]" environment (.only Environment)]]] + [data + [binary (.only Binary)]]]] + [// (.only URL) + [uri (.only URI)]]) (type: .public Version Text) diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux index 35c6e9cac..da585e503 100644 --- a/stdlib/source/library/lux/world/net/http/client.lux +++ b/stdlib/source/library/lux/world/net/http/client.lux @@ -4,23 +4,23 @@ ["@" target] ["[0]" ffi] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser ["<[0]>" code]]] [data - ["[0]" binary {"+" Binary}] + ["[0]" binary (.only Binary)] ["[0]" text] [collection ["[0]" dictionary]]] [macro - [syntax {"+" syntax:}] + [syntax (.only syntax:)] ["[0]" code] ["[0]" template]] [math @@ -28,7 +28,7 @@ ["n" nat] ["i" int]]]]] ["[0]" // - [// {"+" URL}]]) + [// (.only URL)]]) (type: .public (Client !) (Interface diff --git a/stdlib/source/library/lux/world/net/http/cookie.lux b/stdlib/source/library/lux/world/net/http/cookie.lux index b3143c56e..fe47d45e5 100644 --- a/stdlib/source/library/lux/world/net/http/cookie.lux +++ b/stdlib/source/library/lux/world/net/http/cookie.lux @@ -2,22 +2,22 @@ [library [lux "*" [control - [monad {"+" do}] - ["[0]" try {"+" Try}] + [monad (.only do)] + ["[0]" try (.only Try)] ["p" parser ("[1]#[0]" monad) - ["l" text {"+" Parser}]]] + ["l" text (.only Parser)]]] [data [number ["i" int]] [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [format - ["[0]" context {"+" Context}]] + ["[0]" context (.only Context)]] [collection ["[0]" dictionary]]] [time - ["[0]" duration {"+" Duration}]]]] - ["[0]" // {"+" Header} + ["[0]" duration (.only Duration)]]]] + ["[0]" // (.only Header) ["[0]" header]]) (type: .public Directive diff --git a/stdlib/source/library/lux/world/net/http/header.lux b/stdlib/source/library/lux/world/net/http/header.lux index 61bd78dbc..1af3a8035 100644 --- a/stdlib/source/library/lux/world/net/http/header.lux +++ b/stdlib/source/library/lux/world/net/http/header.lux @@ -5,12 +5,12 @@ ["[0]" pipe]] [data [text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}]]]]] - [// {"+" Header} - ["[0]" mime {"+" MIME}] - [// {"+" URL}]]) + ["[0]" dictionary (.only Dictionary)]]]]] + [// (.only Header) + ["[0]" mime (.only MIME)] + [// (.only URL)]]) (def: .public (has name value) (-> Text Text Header) diff --git a/stdlib/source/library/lux/world/net/http/mime.lux b/stdlib/source/library/lux/world/net/http/mime.lux index a8578015c..45181ebc5 100644 --- a/stdlib/source/library/lux/world/net/http/mime.lux +++ b/stdlib/source/library/lux/world/net/http/mime.lux @@ -3,8 +3,8 @@ [lux "*" [data ["[0]" text - ["%" format {"+" format}] - ["[0]" encoding {"+" Encoding}]]] + ["%" format (.only format)] + ["[0]" encoding (.only Encoding)]]] [type [primitive "*"]]]]) diff --git a/stdlib/source/library/lux/world/net/http/query.lux b/stdlib/source/library/lux/world/net/http/query.lux index 445e28bfe..0f5e7ef45 100644 --- a/stdlib/source/library/lux/world/net/http/query.lux +++ b/stdlib/source/library/lux/world/net/http/query.lux @@ -3,17 +3,17 @@ [lux "*" [control pipe - [monad {"+" do}] - ["[0]" try {"+" Try}] + [monad (.only do)] + ["[0]" try (.only Try)] ["p" parser - ["l" text {"+" Parser}]]] + ["l" text (.only Parser)]]] [data [number ["[0]" nat]] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [format - ["[0]" context {"+" Context}]] + ["[0]" context (.only Context)]] [collection ["[0]" dictionary]]]]]) diff --git a/stdlib/source/library/lux/world/net/http/request.lux b/stdlib/source/library/lux/world/net/http/request.lux index bea2b0ffc..60e17d9b4 100644 --- a/stdlib/source/library/lux/world/net/http/request.lux +++ b/stdlib/source/library/lux/world/net/http/request.lux @@ -3,11 +3,11 @@ [lux "*" [control pipe - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" maybe] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [concurrency - ["[0]" async {"+" Async}] + ["[0]" async (.only Async)] ["[0]" frp]] [parser ["<[0]>" json]]] @@ -17,16 +17,16 @@ ["[0]" text ["[0]" encoding]] [format - ["[0]" json {"+" JSON}] - ["[0]" context {"+" Context Property}]] + ["[0]" json (.only JSON)] + ["[0]" context (.only Context Property)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" dictionary]]] [macro ["^" pattern]] [world - ["[0]" binary {"+" Binary}]]]] - ["[0]" // {"+" Body Response Server} + ["[0]" binary (.only Binary)]]]] + ["[0]" // (.only Body Response Server) ["[1][0]" response] ["[1][0]" query] ["[1][0]" cookie]]) diff --git a/stdlib/source/library/lux/world/net/http/response.lux b/stdlib/source/library/lux/world/net/http/response.lux index eeb67bcde..074f97cb4 100644 --- a/stdlib/source/library/lux/world/net/http/response.lux +++ b/stdlib/source/library/lux/world/net/http/response.lux @@ -10,17 +10,17 @@ ["[0]" encoding]] [format ["[0]" html] - ["[0]" css {"+" CSS}] + ["[0]" css (.only CSS)] ["[0]" context] - ["[0]" json {"+" JSON} ("[1]#[0]" codec)]]] + ["[0]" json (.only JSON) ("[1]#[0]" codec)]]] ["[0]" io] [world - ["[0]" binary {"+" Binary}]]]] - ["[0]" // {"+" Status Body Response Server} + ["[0]" binary (.only Binary)]]]] + ["[0]" // (.only Status Body Response Server) ["[0]" status] - ["[0]" mime {"+" MIME}] + ["[0]" mime (.only MIME)] ["[0]" header] - [// {"+" URL}]]) + [// (.only URL)]]) (def: .public (static response) (-> Response Server) diff --git a/stdlib/source/library/lux/world/net/http/route.lux b/stdlib/source/library/lux/world/net/http/route.lux index c94dd8235..10d8e37fc 100644 --- a/stdlib/source/library/lux/world/net/http/route.lux +++ b/stdlib/source/library/lux/world/net/http/route.lux @@ -2,7 +2,7 @@ [library [lux {"-" or} [control - [monad {"+" do}] + [monad (.only do)] ["[0]" maybe] [concurrency ["[0]" async]]] @@ -12,7 +12,7 @@ ["n" nat]]] [macro ["^" pattern]]]] - ["[0]" // {"+" URI Server} + ["[0]" // (.only URI Server) ["[1][0]" status] ["[1][0]" response]]) diff --git a/stdlib/source/library/lux/world/net/http/status.lux b/stdlib/source/library/lux/world/net/http/status.lux index af539d381..d949df181 100644 --- a/stdlib/source/library/lux/world/net/http/status.lux +++ b/stdlib/source/library/lux/world/net/http/status.lux @@ -1,7 +1,7 @@ (.using - [library - [lux "*"]] - [// {"+" Status}]) + [library + [lux "*"]] + [// (.only Status)]) ... https://en.wikipedia.org/wiki/List_of_HTTP_status_codes (template [<status> <name>] diff --git a/stdlib/source/library/lux/world/net/http/version.lux b/stdlib/source/library/lux/world/net/http/version.lux index acd7ac9fa..cd9d69217 100644 --- a/stdlib/source/library/lux/world/net/http/version.lux +++ b/stdlib/source/library/lux/world/net/http/version.lux @@ -1,7 +1,7 @@ (.using - [library - [lux "*"]] - [// {"+" Version}]) + [library + [lux "*"]] + [// (.only Version)]) (template [<name> <version>] [(def: .public <name> Version <version>)] diff --git a/stdlib/source/library/lux/world/output/video/resolution.lux b/stdlib/source/library/lux/world/output/video/resolution.lux index 8883460bc..2b4ba2d6b 100644 --- a/stdlib/source/library/lux/world/output/video/resolution.lux +++ b/stdlib/source/library/lux/world/output/video/resolution.lux @@ -2,8 +2,8 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [data ["[0]" product]] [math diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux index 0561a7c66..6d3c97cf5 100644 --- a/stdlib/source/library/lux/world/program.lux +++ b/stdlib/source/library/lux/world/program.lux @@ -3,27 +3,27 @@ [lux "*" ["@" target] [abstract - ["[0]" monad {"+" Monad do}]] + ["[0]" monad (.only Monad do)]] [control ["[0]" function] - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] [concurrency ["[0]" atom] - ["[0]" async {"+" Async}]] + ["[0]" async (.only Async)]] [parser - ["[0]" environment {"+" Environment}]]] + ["[0]" environment (.only Environment)]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" array {"+" Array}] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" array (.only Array)] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" functor)]]] - ["[0]" ffi {"+" import:} + ["[0]" ffi (.only import:) (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js])) "{old}" (~~ (.these ["node_js" //math])) (~~ (.these))))] @@ -33,8 +33,8 @@ [number ["i" int]]]]] [// - [file {"+" Path}] - [shell {"+" Exit}]]))) + [file (.only Path)] + [shell (.only Exit)]]))) (exception: .public (unknown_environment_variable [name Text]) (exception.report diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index 47302a81a..821806946 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -2,36 +2,36 @@ [library [lux "*" ["@" target] - ["[0]" ffi {"+" import:}] + ["[0]" ffi (.only import:)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" function] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] - ["[0]" io {"+" IO}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] + ["[0]" io (.only IO)] [security - ["?" policy {"+" Context Safety Safe}]] + ["?" policy (.only Context Safety Safe)]] [concurrency - ["[0]" atom {"+" Atom}] - ["[0]" async {"+" Async}]] + ["[0]" atom (.only Atom)] + ["[0]" async (.only Async)]] [parser - [environment {"+" Environment}]]] + [environment (.only Environment)]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" array {"+" Array}] + ["[0]" array (.only Array)] ["[0]" list ("[1]#[0]" mix functor)] ["[0]" dictionary]]] [math - [number {"+" hex} + [number (.only hex) ["n" nat]]]]] [// - [file {"+" Path}]]) + [file (.only Path)]]) (type: .public Exit Int) |