diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux.lux | 16 | ||||
| -rw-r--r-- | stdlib/source/lux/control/codec.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/lux/control/cont.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/lux/control/functor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/lux/data/bool.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/lux/data/coll/array.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/lux/data/coll/list.lux | 28 | ||||
| -rw-r--r-- | stdlib/source/lux/data/coll/ordered/set.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/lux/data/ident.lux | 16 | ||||
| -rw-r--r-- | stdlib/source/lux/data/number.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/lux/data/text.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/lux/data/text/regex.lux | 122 | ||||
| -rw-r--r-- | stdlib/source/lux/data/trace.lux | 15 | ||||
| -rw-r--r-- | stdlib/source/lux/function.lux | 12 | ||||
| -rw-r--r-- | stdlib/source/lux/host.jvm.lux | 9 | ||||
| -rw-r--r-- | stdlib/source/lux/macro.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/lux/type/implicit.lux | 70 |
17 files changed, 166 insertions, 159 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 6470e5c3b..0087a8d89 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -2095,7 +2095,7 @@ _ (fail "Wrong syntax for <|")})) -(def:''' #export (. f g) +(def:''' (compose f g) (list [(tag$ ["lux" "doc"]) (text$ "Function composition.")]) (All [a b c] @@ -2208,7 +2208,7 @@ (if (every? (function' [sample] ("lux nat =" num-bindings sample)) (map list/size data')) (|> data' - (join-map (. apply (make-env bindings'))) + (join-map (compose apply (make-env bindings'))) return) (fail "Irregular arguments tuples for do-template."))) @@ -5011,7 +5011,7 @@ (let [apply (: (-> RepEnv (List Code)) (function [env] (map (apply-template env) templates)))] (|> data' - (join-map (. apply (make-env bindings'))) + (join-map (compose apply (make-env bindings'))) wrap)) #;None))) (#Some output) @@ -5055,8 +5055,8 @@ [[_ _ column] (#Record pairs)] (list/fold n/min column - (list/compose (map (. find-baseline-column first) pairs) - (map (. find-baseline-column second) pairs))) + (list/compose (map (|>> first find-baseline-column) pairs) + (map (|>> second find-baseline-column) pairs))) )) (type: Doc-Fragment @@ -5100,7 +5100,7 @@ (def: tag/encode (-> Ident Text) - (. (text/compose "#") ident/encode)) + (|>> ident/encode (text/compose "#"))) (do-template [<name> <op> <from> <to>] [(def: #export (<name> input) @@ -5141,7 +5141,7 @@ (def: rejoin-all-pairs (-> (List [Code Code]) (List Code)) - (. list/join (map rejoin-pair))) + (|>> (map rejoin-pair) list/join)) (def: (doc-example->Text prev-cursor baseline example) (-> Cursor Nat Code [Cursor Text]) @@ -5212,7 +5212,7 @@ x)))"} (return (list (` [(~ cursor-code) (#;Text (~ (|> tokens - (map (. doc-fragment->Text identify-doc-fragment)) + (map (|>> identify-doc-fragment doc-fragment->Text)) text/join text$)))])))) diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux index fdd571a10..6af4fda10 100644 --- a/stdlib/source/lux/control/codec.lux +++ b/stdlib/source/lux/control/codec.lux @@ -1,14 +1,14 @@ (;module: lux (lux (control monad) - (data ["E" error]))) + (data ["e" error]))) ## [Signatures] (sig: #export (Codec m a) {#;doc "A way to move back-and-forth between a type and an alternative representation for it."} (: (-> a m) encode) - (: (-> m (E;Error a)) + (: (-> m (e;Error a)) decode)) ## [Values] @@ -22,7 +22,7 @@ (:: Codec<c,b> encode))) (def: (decode cy) - (do E;Monad<Error> + (do e;Monad<Error> [by (:: Codec<c,b> decode cy)] (:: Codec<b,a> decode by))) ) diff --git a/stdlib/source/lux/control/cont.lux b/stdlib/source/lux/control/cont.lux index 81f62eccb..1d5576ca0 100644 --- a/stdlib/source/lux/control/cont.lux +++ b/stdlib/source/lux/control/cont.lux @@ -1,7 +1,7 @@ (;module: lux - (lux (control ["F" functor] - ["A" applicative] + (lux (control [functor #+ Functor] + [applicative #+ Applicative] monad) function [macro #+ with-gensyms] @@ -22,11 +22,11 @@ (All [a] (-> (Cont a a) a)) (cont id)) -(struct: #export Functor<Cont> (All [o] (F;Functor (All [i] (Cont i o)))) +(struct: #export Functor<Cont> (All [o] (Functor (All [i] (Cont i o)))) (def: (map f fv) - (function [k] (fv (. k f))))) + (function [k] (fv (compose k f))))) -(struct: #export Applicative<Cont> (All [o] (A;Applicative (All [i] (Cont i o)))) +(struct: #export Applicative<Cont> (All [o] (Applicative (All [i] (Cont i o)))) (def: functor Functor<Cont>) (def: (wrap value) diff --git a/stdlib/source/lux/control/functor.lux b/stdlib/source/lux/control/functor.lux index 3c1f33eb8..756cec583 100644 --- a/stdlib/source/lux/control/functor.lux +++ b/stdlib/source/lux/control/functor.lux @@ -14,7 +14,7 @@ (type: #export (<|> f g) (All [a] (| (f a) (g a)))) -(type: #export (<.> f g) +(type: #export (<$> f g) (All [a] (f (g a)))) (struct: #export (compose Functor<F> Functor<G>) diff --git a/stdlib/source/lux/data/bool.lux b/stdlib/source/lux/data/bool.lux index c5b345ce1..e737c6118 100644 --- a/stdlib/source/lux/data/bool.lux +++ b/stdlib/source/lux/data/bool.lux @@ -3,7 +3,8 @@ (lux (control [monoid #+ Monoid] [eq #+ Eq] hash - codec))) + [codec #+ Codec]) + function)) ## [Structures] (struct: #export _ (Eq Bool) @@ -46,4 +47,4 @@ {#;doc "Generates the complement of a predicate. That is a predicate that returns the oposite of the original predicate."} (All [a] (-> (-> a Bool) (-> a Bool))) - (. not)) + (compose not)) diff --git a/stdlib/source/lux/data/coll/array.lux b/stdlib/source/lux/data/coll/array.lux index 1eeb1342c..ac15bfe9d 100644 --- a/stdlib/source/lux/data/coll/array.lux +++ b/stdlib/source/lux/data/coll/array.lux @@ -1,6 +1,6 @@ (;module: lux - (lux (control monoid + (lux (control [monoid #+ Monoid] [functor #+ Functor] [eq #+ Eq] fold) diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux index 6de9eeaa2..28deea034 100644 --- a/stdlib/source/lux/data/coll/list.lux +++ b/stdlib/source/lux/data/coll/list.lux @@ -1,12 +1,12 @@ (;module: lux (lux (control [monoid #+ Monoid] - ["F" functor] - ["A" applicative] - ["M" monad #+ do Monad] + [functor #+ Functor] + [applicative #+ Applicative] + [monad #+ do Monad] [eq #+ Eq] [fold]) - (data [number "Nat/" Codec<Text,Nat>] + (data [number "nat/" Codec<Text,Nat>] bool [product]))) @@ -260,7 +260,7 @@ (open Monoid<List>) -(struct: #export _ (F;Functor List) +(struct: #export _ (Functor List) (def: (map f ma) (case ma #;Nil #;Nil @@ -268,7 +268,7 @@ (open Functor<List>) -(struct: #export _ (A;Applicative List) +(struct: #export _ (Applicative List) (def: functor Functor<List>) (def: (wrap a) @@ -358,7 +358,7 @@ (if (n/> +0 num-lists) (let [(^open) Functor<List> indices (n/range +0 (n/dec num-lists)) - type-vars (: (List Code) (map (. symbol$ Nat/encode) indices)) + type-vars (: (List Code) (map (|>> nat/encode symbol$) indices)) zip-type (` (All [(~@ type-vars)] (-> (~@ (map (: (-> Code Code) (function [var] (` (List (~ var))))) type-vars)) @@ -366,7 +366,7 @@ vars+lists (|> indices (map n/inc) (map (function [idx] - (let [base (Nat/encode idx)] + (let [base (nat/encode idx)] [(symbol$ base) (symbol$ ("lux text concat" base "'"))])))) pattern (` [(~@ (map (function [[v vs]] (` (#;Cons (~ v) (~ vs)))) @@ -404,7 +404,7 @@ indices (n/range +0 (n/dec num-lists)) g!return-type (symbol$ "\treturn-type\t") g!func (symbol$ "\tfunc\t") - type-vars (: (List Code) (map (. symbol$ Nat/encode) indices)) + type-vars (: (List Code) (map (|>> nat/encode symbol$) indices)) zip-type (` (All [(~@ type-vars) (~ g!return-type)] (-> (-> (~@ type-vars) (~ g!return-type)) (~@ (map (: (-> Code Code) (function [var] (` (List (~ var))))) @@ -413,7 +413,7 @@ vars+lists (|> indices (map n/inc) (map (function [idx] - (let [base (Nat/encode idx)] + (let [base (nat/encode idx)] [(symbol$ base) (symbol$ ("lux text concat" base "'"))])))) pattern (` [(~@ (map (function [[v vs]] (` (#;Cons (~ v) (~ vs)))) @@ -478,19 +478,19 @@ (struct: #export (ListT Monad<M>) (All [M] (-> (Monad M) (Monad (All [a] (M (List a)))))) - (def: applicative (A;compose (get@ #M;applicative Monad<M>) Applicative<List>)) + (def: applicative (applicative;compose (get@ #monad;applicative Monad<M>) Applicative<List>)) (def: (join MlMla) (do Monad<M> [lMla MlMla lla (: (($ +0) (List (List ($ +1)))) - (M;seq @ lMla)) - ## lla (M;seq @ lMla) + (monad;seq @ lMla)) + ## lla (monad;seq @ lMla) ] (wrap (concat lla))))) (def: #export (lift Monad<M>) (All [M a] (-> (Monad M) (-> (M a) (M (List a))))) - (M;lift Monad<M> (:: Monad<List> wrap))) + (monad;lift Monad<M> (:: Monad<List> wrap))) (def: (enumerate' idx xs) (All [a] (-> Nat (List a) (List [Nat a]))) diff --git a/stdlib/source/lux/data/coll/ordered/set.lux b/stdlib/source/lux/data/coll/ordered/set.lux index 376624033..a8f5ed45d 100644 --- a/stdlib/source/lux/data/coll/ordered/set.lux +++ b/stdlib/source/lux/data/coll/ordered/set.lux @@ -69,7 +69,7 @@ (def: #export (difference param subject) (All [a] (-> (Set a) (Set a) (Set a))) (|> (to-list subject) - (list;filter (. not (member? param))) + (list;filter (|>> (member? param) not)) (from-list (get@ #d;order subject)))) (def: #export (sub? super sub) diff --git a/stdlib/source/lux/data/ident.lux b/stdlib/source/lux/data/ident.lux index 24fe97221..57e742433 100644 --- a/stdlib/source/lux/data/ident.lux +++ b/stdlib/source/lux/data/ident.lux @@ -1,9 +1,9 @@ (;module: lux (lux (control [eq #+ Eq] - codec + [codec #+ Codec] hash) - (data [text "Text/" Monoid<Text> Eq<Text>]))) + (data [text "text/" Monoid<Text> Eq<Text>]))) ## [Types] ## (type: Ident @@ -22,18 +22,18 @@ ## [Structures] (struct: #export _ (Eq Ident) (def: (= [xmodule xname] [ymodule yname]) - (and (Text/= xmodule ymodule) - (Text/= xname yname)))) + (and (text/= xmodule ymodule) + (text/= xname yname)))) (struct: #export _ (Codec Text Ident) (def: (encode [module name]) (case module "" name - _ ($_ Text/compose module ";" name))) + _ ($_ text/compose module ";" name))) (def: (decode input) - (if (Text/= "" input) - (#;Left (Text/compose "Invalid format for Ident: " input)) + (if (text/= "" input) + (#;Left (text/compose "Invalid format for Ident: " input)) (case (text;split-all-with ";" input) (^ (list name)) (#;Right ["" name]) @@ -42,7 +42,7 @@ (#;Right [module name]) _ - (#;Left (Text/compose "Invalid format for Ident: " input)))))) + (#;Left (text/compose "Invalid format for Ident: " input)))))) (struct: #export _ (Hash Ident) (def: eq Eq<Ident>) diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux index 8e330e9d5..de8ba5242 100644 --- a/stdlib/source/lux/data/number.lux +++ b/stdlib/source/lux/data/number.lux @@ -7,7 +7,7 @@ [order] enum interval - codec) + [codec #+ Codec]) (data ["e" error] [maybe] [bit]))) diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux index 534901e98..bf05df201 100644 --- a/stdlib/source/lux/data/text.lux +++ b/stdlib/source/lux/data/text.lux @@ -3,8 +3,8 @@ (lux (control [monoid #+ Monoid] [eq #+ Eq] [order] - ["M" monad #+ do Monad] - codec + [monad #+ do Monad] + [codec #+ Codec] hash) (data (coll [list]) [maybe]))) diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux index 37cb091ee..4dccf7855 100644 --- a/stdlib/source/lux/data/text/regex.lux +++ b/stdlib/source/lux/data/text/regex.lux @@ -5,11 +5,11 @@ (data [text] ["l" text/lexer] text/format - [number "Int/" Codec<Text,Int>] + [number "int/" Codec<Text,Int>] [product] - ["E" error] + ["e" error] [maybe] - (coll [list "L/" Fold<List> Monad<List>])) + (coll [list "list/" Fold<List> Monad<List>])) [macro #- run] (macro [code] ["s" syntax #+ syntax:]))) @@ -112,10 +112,10 @@ [_ (wrap []) init re-user-class^' rest (p;some (p;after (l;this "&&") (l;enclosed ["[" "]"] re-user-class^')))] - (wrap (L/fold (function [refinement base] - (` (refine^ (~ refinement) (~ base)))) - init - rest)))) + (wrap (list/fold (function [refinement base] + (` (refine^ (~ refinement) (~ base)))) + init + rest)))) (def: #hidden blank^ (l;Lexer Text) @@ -188,7 +188,7 @@ (p;either (do p;Monad<Parser> [_ (l;this "\\") id number^] - (wrap (` (;;copy (~ (code;symbol ["" (Int/encode (nat-to-int id))])))))) + (wrap (` (;;copy (~ (code;symbol ["" (int/encode (nat-to-int id))])))))) (do p;Monad<Parser> [_ (l;this "\\k<") captured-name identifier-part^ @@ -253,7 +253,7 @@ (re-quantified^ current-module) (re-simple^ current-module))) -(def: #hidden _Text/compose_ +(def: #hidden _text/compose_ (-> Text Text Text) (:: text;Monoid<Text> compose)) @@ -271,44 +271,44 @@ (re-scoped^ current-module))) #let [g!total (code;symbol ["" "0total"]) g!temp (code;symbol ["" "0temp"]) - [_ names steps] (L/fold (: (-> (Either Code [Re-Group Code]) - [Int (List Code) (List (List Code))] - [Int (List Code) (List (List Code))]) - (function [part [idx names steps]] - (case part - (^or (#E;Error complex) (#E;Success [#Non-Capturing complex])) - [idx - names - (list& (list g!temp complex - (' #let) (` [(~ g!total) (_Text/compose_ (~ g!total) (~ g!temp))])) - steps)] - - (#E;Success [(#Capturing [?name num-captures]) scoped]) - (let [[idx! name!] (case ?name - (#;Some _name) - [idx (code;symbol ["" _name])] - - #;None - [(i/inc idx) (code;symbol ["" (Int/encode idx)])]) - access (if (n/> +0 num-captures) - (` (product;left (~ name!))) - name!)] - [idx! - (list& name! names) - (list& (list name! scoped - (' #let) (` [(~ g!total) (_Text/compose_ (~ g!total) (~ access))])) - steps)]) - ))) - [0 - (: (List Code) (list)) - (: (List (List Code)) (list))] - parts)]] + [_ names steps] (list/fold (: (-> (Either Code [Re-Group Code]) + [Int (List Code) (List (List Code))] + [Int (List Code) (List (List Code))]) + (function [part [idx names steps]] + (case part + (^or (#e;Error complex) (#e;Success [#Non-Capturing complex])) + [idx + names + (list& (list g!temp complex + (' #let) (` [(~ g!total) (_text/compose_ (~ g!total) (~ g!temp))])) + steps)] + + (#e;Success [(#Capturing [?name num-captures]) scoped]) + (let [[idx! name!] (case ?name + (#;Some _name) + [idx (code;symbol ["" _name])] + + #;None + [(i/inc idx) (code;symbol ["" (int/encode idx)])]) + access (if (n/> +0 num-captures) + (` (product;left (~ name!))) + name!)] + [idx! + (list& name! names) + (list& (list name! scoped + (' #let) (` [(~ g!total) (_text/compose_ (~ g!total) (~ access))])) + steps)]) + ))) + [0 + (: (List Code) (list)) + (: (List (List Code)) (list))] + parts)]] (wrap [(if capturing? (list;size names) +0) (` (do p;Monad<Parser> [(~ (' #let)) [(~ g!total) ""] - (~@ (|> steps list;reverse L/join))] + (~@ (|> steps list;reverse list/join))] ((~ (' wrap)) [(~ g!total) (~@ (list;reverse names))])))]) )) @@ -320,31 +320,31 @@ (All [l r] (-> (l;Lexer [Text l]) (l;Lexer [Text r]) (l;Lexer [Text (| l r)]))) (function [input] (case (left input) - (#E;Success [input' [lt lv]]) - (#E;Success [input' [lt (+0 lv)]]) + (#e;Success [input' [lt lv]]) + (#e;Success [input' [lt (+0 lv)]]) - (#E;Error _) + (#e;Error _) (case (right input) - (#E;Success [input' [rt rv]]) - (#E;Success [input' [rt (+1 rv)]]) + (#e;Success [input' [rt rv]]) + (#e;Success [input' [rt (+1 rv)]]) - (#E;Error error) - (#E;Error error))))) + (#e;Error error) + (#e;Error error))))) (def: #hidden (|||_^ left right) (All [l r] (-> (l;Lexer [Text l]) (l;Lexer [Text r]) (l;Lexer Text))) (function [input] (case (left input) - (#E;Success [input' [lt lv]]) - (#E;Success [input' lt]) + (#e;Success [input' [lt lv]]) + (#e;Success [input' lt]) - (#E;Error _) + (#e;Error _) (case (right input) - (#E;Success [input' [rt rv]]) - (#E;Success [input' rt]) + (#e;Success [input' [rt rv]]) + (#e;Success [input' rt]) - (#E;Error error) - (#E;Error error))))) + (#e;Error error) + (#e;Error error))))) (def: (prep-alternative [num-captures alt]) (-> [Nat Code] Code) @@ -366,8 +366,8 @@ (` |||_^))]] (if (list;empty? tail) (wrap head) - (wrap [(L/fold n/max (product;left head) (L/map product;left tail)) - (` ($_ (~ g!op) (~ (prep-alternative head)) (~@ (L/map prep-alternative tail))))])))) + (wrap [(list/fold n/max (product;left head) (list/map product;left tail)) + (` ($_ (~ g!op) (~ (prep-alternative head)) (~@ (list/map prep-alternative tail))))])))) (def: (re-scoped^ current-module) (-> Text (l;Lexer [Re-Group Code])) @@ -462,11 +462,11 @@ (case (|> (regex^ current-module) (p;before l;end) (l;run pattern)) - (#E;Error error) + (#e;Error error) (macro;fail (format "Error while parsing regular-expression:\n" error)) - (#E;Success regex) + (#e;Success regex) (wrap (list regex)) ))) @@ -488,7 +488,7 @@ [g!temp (macro;gensym "temp")] (wrap (list& (` (^multi (~ g!temp) [(l;run (~ g!temp) (regex (~ (code;text pattern)))) - (#E;Success (~ (maybe;default g!temp + (#e;Success (~ (maybe;default g!temp bindings)))])) body branches)))) diff --git a/stdlib/source/lux/data/trace.lux b/stdlib/source/lux/data/trace.lux index acb059dc0..d34ab0a0a 100644 --- a/stdlib/source/lux/data/trace.lux +++ b/stdlib/source/lux/data/trace.lux @@ -1,23 +1,24 @@ (;module: lux - (lux (control ["m" monoid] - ["F" functor] - comonad))) + (lux (control [monoid #+ Monoid] + [functor #+ Functor] + comonad) + function)) (type: #export (Trace t a) - {#monoid (m;Monoid t) + {#monoid (Monoid t) #trace (-> t a)}) -(struct: #export Functor<Trace> (All [t] (F;Functor (Trace t))) +(struct: #export Functor<Trace> (All [t] (Functor (Trace t))) (def: (map f fa) - (update@ #trace (. f) fa))) + (update@ #trace (compose f) fa))) (struct: #export CoMonad<Trace> (All [t] (CoMonad (Trace t))) (def: functor Functor<Trace>) (def: (unwrap wa) ((get@ #trace wa) - (get@ [#monoid #m;identity] wa))) + (get@ [#monoid #monoid;identity] wa))) (def: (split wa) (let [monoid (get@ #monoid wa)] diff --git a/stdlib/source/lux/function.lux b/stdlib/source/lux/function.lux index 1872b3085..a6df64891 100644 --- a/stdlib/source/lux/function.lux +++ b/stdlib/source/lux/function.lux @@ -1,8 +1,13 @@ (;module: lux - (lux (control monoid))) + (lux (control [monoid #+ Monoid]))) + +(def: #export (compose f g) + {#;doc "Function composition."} + (All [a b c] + (-> (-> b c) (-> a b) (-> a c))) + (|>> g f)) -## [Functions] (def: #export (const c) {#;doc "Create constant functions."} (All [a b] (-> a (-> b a))) @@ -14,7 +19,6 @@ (-> (-> a b c) (-> b a c))) (function [x y] (f y x))) -## [Structures] (struct: #export Monoid<Function> (Monoid (All [a] (-> a a))) (def: identity id) - (def: compose .)) + (def: compose ;;compose)) diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux index 200ae1ec3..de67b2a64 100644 --- a/stdlib/source/lux/host.jvm.lux +++ b/stdlib/source/lux/host.jvm.lux @@ -4,6 +4,7 @@ [enum] ["p" parser]) [io #+ IO Monad<IO> io] + function (data (coll [list "list/" Monad<List> Fold<List> Monoid<List>]) number [maybe] @@ -576,7 +577,7 @@ (do p;Monad<Parser> [[_ args] (: (Syntax [Unit (List Code)]) (s;form ($_ p;seq (s;this (' ::new!)) (s;tuple (p;exactly (list;size arg-decls) s;any))))) - #let [arg-decls' (: (List Text) (list/map (. (simple-class$ params) product;right) arg-decls))]] + #let [arg-decls' (: (List Text) (list/map (|>> product;right (simple-class$ params)) arg-decls))]] (wrap (` ((~ (code;text (format "jvm new" ":" class-name ":" (text;join-with "," arg-decls')))) (~@ args)))))) @@ -586,7 +587,7 @@ [#let [dotted-name (format "::" method-name "!")] [_ args] (: (Syntax [Unit (List Code)]) (s;form ($_ p;seq (s;this (code;symbol ["" dotted-name])) (s;tuple (p;exactly (list;size arg-decls) s;any))))) - #let [arg-decls' (: (List Text) (list/map (. (simple-class$ params) product;right) arg-decls))]] + #let [arg-decls' (: (List Text) (list/map (|>> product;right (simple-class$ params)) arg-decls))]] (wrap (`' ((~ (code;text (format "jvm invokestatic" ":" class-name ":" method-name ":" (text;join-with "," arg-decls')))) (~@ args)))))) @@ -597,7 +598,7 @@ [#let [dotted-name (format "::" method-name "!")] [_ args] (: (Syntax [Unit (List Code)]) (s;form ($_ p;seq (s;this (code;symbol ["" dotted-name])) (s;tuple (p;exactly (list;size arg-decls) s;any))))) - #let [arg-decls' (: (List Text) (list/map (. (simple-class$ params) product;right) arg-decls))]] + #let [arg-decls' (: (List Text) (list/map (|>> product;right (simple-class$ params)) arg-decls))]] (wrap (`' ((~ (code;text (format <jvm-op> ":" class-name ":" method-name ":" (text;join-with "," arg-decls')))) (~' _jvm_this) (~@ args))))))] @@ -1202,7 +1203,7 @@ (let [super-replacer (parser->replacer (s;form (do p;Monad<Parser> [_ (s;this (' ::super!)) args (s;tuple (p;exactly (list;size arg-decls) s;any)) - #let [arg-decls' (: (List Text) (list/map (. (simple-class$ (list)) product;right) + #let [arg-decls' (: (List Text) (list/map (|>> product;right (simple-class$ (list))) arg-decls))]] (wrap (`' ((~ (code;text (format "jvm invokespecial" ":" (get@ #super-class-name super-class) ":" name ":" (text;join-with "," arg-decls')))) (~' _jvm_this) (~@ args)))))))] diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux index 8040d6ea5..dcf509e65 100644 --- a/stdlib/source/lux/macro.lux +++ b/stdlib/source/lux/macro.lux @@ -656,14 +656,14 @@ token)) (do Monad<Meta> [output (<func> token) - #let [_ (list/map (. log! code;to-text) + #let [_ (list/map (|>> code;to-text log!) output)]] (wrap (list))) (^ (list token)) (do Monad<Meta> [output (<func> token) - #let [_ (list/map (. log! code;to-text) + #let [_ (list/map (|>> code;to-text log!) output)]] (wrap output)) diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux index 4e3c9e161..fd772c103 100644 --- a/stdlib/source/lux/type/implicit.lux +++ b/stdlib/source/lux/type/implicit.lux @@ -1,12 +1,12 @@ (;module: lux - (lux (control ["M" monad #+ do Monad] + (lux (control [monad #+ do Monad] [eq] ["p" parser]) - (data [text "Text/" Eq<Text>] + (data [text "text/" Eq<Text>] text/format [number] - (coll [list "List/" Monad<List> Fold<List>] + (coll [list "list/" Monad<List> Fold<List>] [dict]) [bool] [product] @@ -84,9 +84,9 @@ (do Monad<Meta> [this-module-name macro;current-module-name imp-mods (macro;imported-modules this-module-name) - tag-lists (M;map @ macro;tag-lists imp-mods) - #let [tag-lists (|> tag-lists List/join (List/map product;left) List/join) - candidates (list;filter (. (Text/= simple-name) product;right) + tag-lists (monad;map @ macro;tag-lists imp-mods) + #let [tag-lists (|> tag-lists list/join (list/map product;left) list/join) + candidates (list;filter (|>> product;right (text/= simple-name)) tag-lists)]] (case candidates #;Nil @@ -113,21 +113,21 @@ (|> defs (list;filter (function [[name [def-type def-anns def-value]]] (macro;struct? def-anns))) - (List/map (function [[name [def-type def-anns def-value]]] + (list/map (function [[name [def-type def-anns def-value]]] [[this-module-name name] def-type])))) (def: local-env (Meta (List [Ident Type])) (do Monad<Meta> [local-batches macro;locals - #let [total-locals (List/fold (function [[name type] table] + #let [total-locals (list/fold (function [[name type] table] (dict;put~ name type table)) (: (dict;Dict Text Type) (dict;new text;Hash<Text>)) - (List/join local-batches))]] + (list/join local-batches))]] (wrap (|> total-locals dict;entries - (List/map (function [[name type]] [["" name] type])))))) + (list/map (function [[name type]] [["" name] type])))))) (def: local-structs (Meta (List [Ident Type])) @@ -141,12 +141,12 @@ (do Monad<Meta> [this-module-name macro;current-module-name imp-mods (macro;imported-modules this-module-name) - export-batches (M;map @ (function [imp-mod] - (do @ - [exports (macro;exports imp-mod)] - (wrap (prepare-defs imp-mod exports)))) - imp-mods)] - (wrap (List/join export-batches)))) + export-batches (monad;map @ (function [imp-mod] + (do @ + [exports (macro;exports imp-mod)] + (wrap (prepare-defs imp-mod exports)))) + imp-mods)] + (wrap (list/join export-batches)))) (def: (apply-function-type func arg) (-> Type Type (Check Type)) @@ -184,11 +184,11 @@ (def: (check-apply member-type input-types output-type) (-> Type (List Type) Type (Check [])) (do Monad<Check> - [member-type' (M;fold Monad<Check> - (function [input member] - (apply-function-type member input)) - member-type - input-types)] + [member-type' (monad;fold Monad<Check> + (function [input member] + (apply-function-type member input)) + member-type + input-types)] (tc;check output-type member-type'))) (type: #rec Instance @@ -202,21 +202,21 @@ (do Monad<Meta> [compiler macro;get-compiler] (case (|> alts - (List/map (function [[alt-name alt-type]] + (list/map (function [[alt-name alt-type]] (case (tc;run context (do Monad<Check> [[tvars alt-type] (concrete-type alt-type) #let [[deps alt-type] (type;flatten-function alt-type)] _ (tc;check dep alt-type) context' tc;get-context - =deps (M;map @ (provision compiler context') deps)] + =deps (monad;map @ (provision compiler context') deps)] (wrap =deps))) (#;Left error) (list) (#;Right =deps) (list [alt-name =deps])))) - List/join) + list/join) #;Nil (macro;fail (format "No candidates for provisioning: " (%type dep))) @@ -242,7 +242,7 @@ (:: Monad<Check> wrap winner) _ - (tc;fail (format "Too many candidates for provisioning: " (%type dep) " --- " (%list (. %ident product;left) candidates)))) + (tc;fail (format "Too many candidates for provisioning: " (%type dep) " --- " (%list (|>> product;left %ident) candidates)))) )) (def: (test-alternatives sig-type member-idx input-types output-type alts) @@ -251,7 +251,7 @@ [compiler macro;get-compiler context macro;type-context] (case (|> alts - (List/map (function [[alt-name alt-type]] + (list/map (function [[alt-name alt-type]] (case (tc;run context (do Monad<Check> [[tvars alt-type] (concrete-type alt-type) @@ -260,14 +260,14 @@ member-type (find-member-type member-idx alt-type) _ (check-apply member-type input-types output-type) context' tc;get-context - =deps (M;map @ (provision compiler context') deps)] + =deps (monad;map @ (provision compiler context') deps)] (wrap =deps))) (#;Left error) (list) (#;Right =deps) (list [alt-name =deps])))) - List/join) + list/join) #;Nil (macro;fail (format "No alternatives for " (%type (type;function input-types output-type)))) @@ -302,7 +302,7 @@ (code;symbol constructor) _ - (` ((~ (code;symbol constructor)) (~@ (List/map instance$ dependencies)))))) + (` ((~ (code;symbol constructor)) (~@ (list/map instance$ dependencies)))))) (syntax: #export (::: [member s;symbol] [args (p;alt (p;seq (p;some s;symbol) s;end!) @@ -334,7 +334,7 @@ (#;Left [args _]) (do @ [[member-idx sig-type] (resolve-member member) - input-types (M;map @ resolve-type args) + input-types (monad;map @ resolve-type args) output-type macro;expected-type chosen-ones (find-alternatives sig-type member-idx input-types output-type)] (case chosen-ones @@ -344,20 +344,20 @@ (#;Cons chosen #;Nil) (wrap (list (` (:: (~ (instance$ chosen)) (~ (code;local-symbol (product;right member))) - (~@ (List/map code;symbol args)))))) + (~@ (list/map code;symbol args)))))) _ (macro;fail (format "Too many options available: " (|> chosen-ones - (List/map (. %ident product;left)) + (list/map (|>> product;left %ident)) (text;join-with ", ")) " --- for type: " (%type sig-type))))) (#;Right [args _]) (do @ - [labels (M;seq @ (list;repeat (list;size args) - (macro;gensym ""))) - #let [retry (` (let [(~@ (|> (list;zip2 labels args) (List/map join-pair) List/join))] + [labels (monad;seq @ (list;repeat (list;size args) + (macro;gensym ""))) + #let [retry (` (let [(~@ (|> (list;zip2 labels args) (list/map join-pair) list/join))] (;;::: (~ (code;symbol member)) (~@ labels))))]] (wrap (list retry))) )) |