aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/concurrency/actor.lux24
-rw-r--r--stdlib/source/library/lux/control/concurrency/async.lux4
-rw-r--r--stdlib/source/library/lux/control/concurrency/atom.lux4
-rw-r--r--stdlib/source/library/lux/control/concurrency/frp.lux1
-rw-r--r--stdlib/source/library/lux/control/concurrency/semaphore.lux8
-rw-r--r--stdlib/source/library/lux/control/concurrency/stm.lux4
-rw-r--r--stdlib/source/library/lux/control/io.lux4
-rw-r--r--stdlib/source/library/lux/control/lazy.lux4
-rw-r--r--stdlib/source/library/lux/control/security/capability.lux4
-rw-r--r--stdlib/source/library/lux/control/security/policy.lux6
-rw-r--r--stdlib/source/library/lux/control/thread.lux4
-rw-r--r--stdlib/source/library/lux/data/collection/queue/priority.lux4
-rw-r--r--stdlib/source/library/lux/data/collection/set/multi.lux4
-rw-r--r--stdlib/source/library/lux/data/collection/set/ordered.lux4
-rw-r--r--stdlib/source/library/lux/data/collection/stack.lux4
-rw-r--r--stdlib/source/library/lux/data/collection/tree/finger.lux4
-rw-r--r--stdlib/source/library/lux/data/color.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css.lux8
-rw-r--r--stdlib/source/library/lux/data/format/css/class.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css/id.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css/property.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css/query.lux8
-rw-r--r--stdlib/source/library/lux/data/format/css/selector.lux16
-rw-r--r--stdlib/source/library/lux/data/format/css/style.lux4
-rw-r--r--stdlib/source/library/lux/data/format/css/value.lux18
-rw-r--r--stdlib/source/library/lux/data/format/html.lux10
-rw-r--r--stdlib/source/library/lux/data/format/markdown.lux8
-rw-r--r--stdlib/source/library/lux/data/format/tar.lux16
-rw-r--r--stdlib/source/library/lux/data/text/buffer.lux4
-rw-r--r--stdlib/source/library/lux/data/text/encoding.lux4
-rw-r--r--stdlib/source/library/lux/data/text/unicode/block.lux4
-rw-r--r--stdlib/source/library/lux/data/text/unicode/set.lux4
-rw-r--r--stdlib/source/library/lux/ffi.lux6
-rw-r--r--stdlib/source/library/lux/locale.lux4
-rw-r--r--stdlib/source/library/lux/locale/language.lux4
-rw-r--r--stdlib/source/library/lux/locale/territory.lux4
-rw-r--r--stdlib/source/library/lux/math/modular.lux4
-rw-r--r--stdlib/source/library/lux/math/modulus.lux4
-rw-r--r--stdlib/source/library/lux/target/common_lisp.lux8
-rw-r--r--stdlib/source/library/lux/target/js.lux8
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/address.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/instruction.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/constant/tag.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/name.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/signed.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/unsigned.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/index.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/modifier.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/category.lux20
-rw-r--r--stdlib/source/library/lux/target/jvm/type/descriptor.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/lux.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/reflection.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/signature.lux4
-rw-r--r--stdlib/source/library/lux/target/lua.lux8
-rw-r--r--stdlib/source/library/lux/target/php.lux8
-rw-r--r--stdlib/source/library/lux/target/python.lux10
-rw-r--r--stdlib/source/library/lux/target/r.lux10
-rw-r--r--stdlib/source/library/lux/target/ruby.lux8
-rw-r--r--stdlib/source/library/lux/target/scheme.lux8
-rw-r--r--stdlib/source/library/lux/time.lux4
-rw-r--r--stdlib/source/library/lux/time/date.lux4
-rw-r--r--stdlib/source/library/lux/time/duration.lux4
-rw-r--r--stdlib/source/library/lux/time/instant.lux4
-rw-r--r--stdlib/source/library/lux/time/year.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/key.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux4
-rw-r--r--stdlib/source/library/lux/type/dynamic.lux10
-rw-r--r--stdlib/source/library/lux/type/primitive.lux (renamed from stdlib/source/library/lux/type/abstract.lux)4
-rw-r--r--stdlib/source/library/lux/type/quotient.lux6
-rw-r--r--stdlib/source/library/lux/type/refinement.lux4
-rw-r--r--stdlib/source/library/lux/type/resource.lux10
-rw-r--r--stdlib/source/library/lux/type/unit.lux4
-rw-r--r--stdlib/source/library/lux/world/db/sql.lux6
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux4
-rw-r--r--stdlib/source/library/lux/world/net/http/mime.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/program/aedifex/hash.lux8
-rw-r--r--stdlib/source/test/lux/type.lux4
-rw-r--r--stdlib/source/test/lux/type/primitive.lux (renamed from stdlib/source/test/lux/type/abstract.lux)6
85 files changed, 250 insertions, 251 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux
index 25fad05eb..18b114cd1 100644
--- a/stdlib/source/library/lux/control/concurrency/actor.lux
+++ b/stdlib/source/library/lux/control/concurrency/actor.lux
@@ -29,7 +29,7 @@
["n" nat]]]
["[0]" meta {"+" monad}]
[type {"+" sharing}
- ["[0]" abstract {"+" abstract: representation abstraction}]]]]
+ ["[0]" primitive {"+" primitive: representation abstraction}]]]]
[//
["[0]" atom {"+" Atom atom}]
["[0]" async {"+" Async Resolver} ("[1]#[0]" monad)]
@@ -61,7 +61,7 @@
{.#None}
(in {.#End}))))
- (abstract: .public (Actor s)
+ (primitive: .public (Actor s)
(Record
[#obituary [(Async <Obituary>)
(Resolver <Obituary>)]
@@ -262,16 +262,16 @@
(syntax: .public (actor: [[export_policy [name vars] state_type [?on_mail messages]] ..actorP])
(with_symbols [g!_]
(do meta.monad
- [g!type (macro.symbol (format name "_abstract_type"))
+ [g!type (macro.symbol (format name "_primitive_type"))
.let [g!actor (code.local name)
g!vars (list#each code.local vars)]]
- (in (list (` ((~! abstract:) (~ export_policy) ((~ g!type) (~+ g!vars))
+ (in (list (` ((~! primitive:) (~ export_policy) ((~ g!type) (~+ g!vars))
(~ state_type)
(def: (~ export_policy) (~ g!actor)
(All ((~ g!_) (~+ g!vars))
(..Behavior (~ state_type) ((~ g!type) (~+ g!vars))))
- [..#on_init (|>> ((~! abstract.abstraction) (~ g!type)))
+ [..#on_init (|>> ((~! primitive.abstraction) (~ g!type)))
..#on_mail (~ (..on_mail g!_ ?on_mail))])
(~+ messages))))))))
@@ -319,10 +319,10 @@
(syntax: .public (message: [[export_policy signature output_type body] ..messageP])
(with_symbols [g!_ g!return]
(do meta.monad
- [actor_scope abstract.current
- .let [g!type (code.local (the abstract.#name actor_scope))
+ [actor_scope primitive.current
+ .let [g!type (code.local (the primitive.#name actor_scope))
g!message (code.local (the #name signature))
- g!actor_vars (the abstract.#type_vars actor_scope)
+ g!actor_vars (the primitive.#type_vars actor_scope)
g!all_vars (|> signature (the #vars) (list#each code.local) (list#composite g!actor_vars))
g!inputsC (|> signature (the #inputs) (list#each product.left))
g!inputsT (|> signature (the #inputs) (list#each product.right))
@@ -331,15 +331,15 @@
(in (list (` (def: (~ export_policy) ((~ g!message) (~+ g!inputsC))
(All ((~ g!_) (~+ g!all_vars))
(-> (~+ g!inputsT)
- (..Message (~ (the abstract.#abstraction actor_scope))
+ (..Message (~ (the primitive.#abstraction actor_scope))
(~ output_type))))
(function ((~ g!_) (~ g!state) (~ g!self))
- (let [(~ g!state) (as (~ (the abstract.#representation actor_scope))
+ (let [(~ g!state) (as (~ (the primitive.#representation actor_scope))
(~ g!state))]
(|> (~ body)
- (is ((~! async.Async) ((~! try.Try) [(~ (the abstract.#representation actor_scope))
+ (is ((~! async.Async) ((~! try.Try) [(~ (the primitive.#representation actor_scope))
(~ output_type)])))
- (as ((~! async.Async) ((~! try.Try) [(~ (the abstract.#abstraction actor_scope))
+ (as ((~! async.Async) ((~! try.Try) [(~ (the primitive.#abstraction actor_scope))
(~ output_type)]))))))))
)))))
diff --git a/stdlib/source/library/lux/control/concurrency/async.lux b/stdlib/source/library/lux/control/concurrency/async.lux
index f72f51abb..afd05d94b 100644
--- a/stdlib/source/library/lux/control/concurrency/async.lux
+++ b/stdlib/source/library/lux/control/concurrency/async.lux
@@ -15,13 +15,13 @@
[macro
["^" pattern]]
[type {"+" sharing}
- [abstract "*"]
+ [primitive "*"]
["[0]" variance {"+" Mutable}]]]]
[//
["[0]" thread]
["[0]" atom {"+" Atom atom}]])
-(abstract: .public (Async'' a)
+(primitive: .public (Async'' a)
(Atom [(Maybe a) (List (-> a (IO Any)))])
(type: .public (Async' r w)
diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux
index 8bef7b29b..d5f9299f7 100644
--- a/stdlib/source/library/lux/control/concurrency/atom.lux
+++ b/stdlib/source/library/lux/control/concurrency/atom.lux
@@ -14,7 +14,7 @@
["[0]" array "_"
["[1]" \\unsafe]]]]
[type
- [abstract "*"]
+ [primitive "*"]
["[0]" variance {"+" Mutable}]]]])
(with_expansions [<jvm> (these (ffi.import: (java/util/concurrent/atomic/AtomicReference a)
@@ -26,7 +26,7 @@
@.jvm <jvm>
(these)))
-(abstract: .public (Atom'' a)
+(primitive: .public (Atom'' a)
(with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference a)]
(for @.old <jvm>
@.jvm <jvm>
diff --git a/stdlib/source/library/lux/control/concurrency/frp.lux b/stdlib/source/library/lux/control/concurrency/frp.lux
index df890ccc1..d0f9799b1 100644
--- a/stdlib/source/library/lux/control/concurrency/frp.lux
+++ b/stdlib/source/library/lux/control/concurrency/frp.lux
@@ -12,7 +12,6 @@
["[0]" exception {"+" exception:}]
["[0]" io {"+" IO io}]]
[type {"+" sharing}
- [abstract "*"]
["[0]" variance {"+" Mutable}]]]]
[//
["[0]" atom {"+" Atom}]
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index e534fc2de..5661894ad 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -18,7 +18,7 @@
["n" nat]
["i" int]]]
[type
- ["[0]" abstract "*"]
+ ["[0]" primitive "*"]
["[0]" refinement]]]]
[//
["[0]" atom {"+" Atom}]
@@ -30,7 +30,7 @@
#open_positions Int
#waiting_list (Queue (Resolver Any))]))
-(abstract: .public Semaphore
+(primitive: .public Semaphore
(Atom State)
(def: most_positions_possible
@@ -94,7 +94,7 @@
(in {try.#Success (the #open_positions post)})))))))
)
-(abstract: .public Mutex
+(primitive: .public Mutex
Semaphore
(def: .public (mutex _)
@@ -124,7 +124,7 @@
(type: .public Limit
(~ (refinement.type limit)))
-(abstract: .public Barrier
+(primitive: .public Barrier
(Record
[#limit Limit
#count (Atom Nat)
diff --git a/stdlib/source/library/lux/control/concurrency/stm.lux b/stdlib/source/library/lux/control/concurrency/stm.lux
index 94365f4f4..f6d1423c3 100644
--- a/stdlib/source/library/lux/control/concurrency/stm.lux
+++ b/stdlib/source/library/lux/control/concurrency/stm.lux
@@ -16,7 +16,7 @@
[macro
["^" pattern]]
[type {"+" sharing}
- [abstract "*"]
+ [primitive "*"]
["[0]" variance {"+" Mutable}]]]]
[//
["[0]" atom {"+" Atom atom}]
@@ -26,7 +26,7 @@
(type: (Observer a)
(-> a (IO Any)))
-(abstract: .public (Var'' a)
+(primitive: .public (Var'' a)
(Atom [a (List (Sink a))])
(type: .public (Var' r w)
diff --git a/stdlib/source/library/lux/control/io.lux b/stdlib/source/library/lux/control/io.lux
index 96a1288f4..297442420 100644
--- a/stdlib/source/library/lux/control/io.lux
+++ b/stdlib/source/library/lux/control/io.lux
@@ -9,12 +9,12 @@
[parser
["<[0]>" code]]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[macro {"+" with_symbols}
[syntax {"+" syntax:}]
["[0]" template]]]])
-(abstract: .public (IO a)
+(primitive: .public (IO a)
(-> Any a)
(def: label
diff --git a/stdlib/source/library/lux/control/lazy.lux b/stdlib/source/library/lux/control/lazy.lux
index 25c821be5..3c0116e14 100644
--- a/stdlib/source/library/lux/control/lazy.lux
+++ b/stdlib/source/library/lux/control/lazy.lux
@@ -15,9 +15,9 @@
[macro {"+" with_symbols}
[syntax {"+" syntax:}]]
[type {"+" sharing}
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Lazy a)
+(primitive: .public (Lazy a)
(-> [] a)
(def: (lazy' generator)
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 9affbf537..84f146614 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -15,7 +15,7 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[type
- [abstract "*"]]
+ [primitive "*"]]
["[0]" meta]
["[0]" macro
["[0]" code]
@@ -23,7 +23,7 @@
["|[0]|" export]
["|[0]|" declaration]]]]])
-(abstract: .public (Capability brand input output)
+(primitive: .public (Capability brand input output)
(-> input output)
(def: capability
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index de357b6e2..a05faeae2 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -6,9 +6,9 @@
[apply {"+" Apply}]
[monad {"+" Monad}]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Policy brand value label)
+(primitive: .public (Policy brand value label)
value
(type: .public (Can_Upgrade brand label value)
@@ -77,7 +77,7 @@
)
(template [<brand> <value> <upgrade> <downgrade>]
- [(abstract: .public <brand>
+ [(primitive: .public <brand>
Any
(type: .public <value>
diff --git a/stdlib/source/library/lux/control/thread.lux b/stdlib/source/library/lux/control/thread.lux
index 94de4803a..cc65e598d 100644
--- a/stdlib/source/library/lux/control/thread.lux
+++ b/stdlib/source/library/lux/control/thread.lux
@@ -13,13 +13,13 @@
["[0]" array "_"
["[1]" \\unsafe {"+" Array}]]]]
[type
- [abstract "*"]
+ [primitive "*"]
["[0]" variance {"+" Mutable}]]]])
(type: .public (Thread ! a)
(-> ! a))
-(abstract: .public (Box'' t a)
+(primitive: .public (Box'' t a)
(Array a)
(type: .public (Box' t r w)
diff --git a/stdlib/source/library/lux/data/collection/queue/priority.lux b/stdlib/source/library/lux/data/collection/queue/priority.lux
index 904858147..b399fc342 100644
--- a/stdlib/source/library/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/library/lux/data/collection/queue/priority.lux
@@ -14,7 +14,7 @@
[number
["n" nat ("[1]#[0]" interval)]]]
[type {"+" by_example}
- [abstract {"+" abstract: abstraction representation}]]]])
+ [primitive {"+" primitive: abstraction representation}]]]])
(type: .public Priority
Nat)
@@ -37,7 +37,7 @@
@))
-(abstract: .public (Queue a)
+(primitive: .public (Queue a)
(Maybe (Tree :@: Priority a))
(def: .public empty
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux
index 7654c4239..7c741594e 100644
--- a/stdlib/source/library/lux/data/collection/set/multi.lux
+++ b/stdlib/source/library/lux/data/collection/set/multi.lux
@@ -14,13 +14,13 @@
[number
["n" nat]]]
[type
- ["[0]" abstract {"+" abstract: abstraction representation}]]]]
+ ["[0]" primitive {"+" primitive: abstraction representation}]]]]
["[0]" //
[//
["[0]" list ("[1]#[0]" mix monoid)]
["[0]" dictionary {"+" Dictionary}]]])
-(abstract: .public (Set a)
+(primitive: .public (Set a)
(Dictionary a Nat)
(def: .public empty
diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux
index f79a1b640..2852070ae 100644
--- a/stdlib/source/library/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/library/lux/data/collection/set/ordered.lux
@@ -10,9 +10,9 @@
[dictionary
["/" ordered]]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Set a)
+(primitive: .public (Set a)
(/.Dictionary a a)
(def: .public empty
diff --git a/stdlib/source/library/lux/data/collection/stack.lux b/stdlib/source/library/lux/data/collection/stack.lux
index 26dea90cc..1dc7266ad 100644
--- a/stdlib/source/library/lux/data/collection/stack.lux
+++ b/stdlib/source/library/lux/data/collection/stack.lux
@@ -8,9 +8,9 @@
[collection
["//" list]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Stack a)
+(primitive: .public (Stack a)
(List a)
(def: .public empty
diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux
index 3c8e5e1db..19e3dae15 100644
--- a/stdlib/source/library/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/library/lux/data/collection/tree/finger.lux
@@ -8,10 +8,10 @@
[collection
["[0]" list ("[1]#[0]" monoid)]]]
[type
- [abstract {"+" abstract: abstraction representation}]]]])
+ [primitive {"+" primitive: abstraction representation}]]]])
... https://en.wikipedia.org/wiki/Finger_tree
-(abstract: .public (Tree @ t v)
+(primitive: .public (Tree @ t v)
(Record
[#monoid (Monoid t)
#tag t
diff --git a/stdlib/source/library/lux/data/color.lux b/stdlib/source/library/lux/data/color.lux
index a6ce4338d..e29a9260d 100644
--- a/stdlib/source/library/lux/data/color.lux
+++ b/stdlib/source/library/lux/data/color.lux
@@ -16,7 +16,7 @@
["[0]" rev ("[1]#[0]" interval)]
["[0]" i64]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: rgb_limit 256)
(def: top (-- rgb_limit))
@@ -51,7 +51,7 @@
(type: .public HSB
[Frac Frac Frac])
-(abstract: .public Color
+(primitive: .public Color
RGB
(def: .public (of_rgb [red green blue])
diff --git a/stdlib/source/library/lux/data/format/css.lux b/stdlib/source/library/lux/data/format/css.lux
index 4fc18ca76..f3f5c445f 100644
--- a/stdlib/source/library/lux/data/format/css.lux
+++ b/stdlib/source/library/lux/data/format/css.lux
@@ -13,7 +13,7 @@
[number
["[0]" nat]]]
[type
- [abstract {"-" Frame pattern}]]
+ [primitive {"-" Frame pattern}]]
[world
[net {"+" URL}]]]]
["[0]" / "_"
@@ -24,10 +24,10 @@
["[1][0]" style]
["[1][0]" query {"+" Query}]])
-(abstract: .public Common Any)
-(abstract: .public Special Any)
+(primitive: .public Common Any)
+(primitive: .public Special Any)
-(abstract: .public (CSS brand)
+(primitive: .public (CSS brand)
Text
(def: .public css
diff --git a/stdlib/source/library/lux/data/format/css/class.lux b/stdlib/source/library/lux/data/format/css/class.lux
index 59aa80efb..4c9018688 100644
--- a/stdlib/source/library/lux/data/format/css/class.lux
+++ b/stdlib/source/library/lux/data/format/css/class.lux
@@ -11,9 +11,9 @@
[syntax {"+" syntax:}]
["[0]" code]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public Class
+(primitive: .public Class
Text
(def: .public class
diff --git a/stdlib/source/library/lux/data/format/css/id.lux b/stdlib/source/library/lux/data/format/css/id.lux
index ea1d66aa5..8eb73d0e7 100644
--- a/stdlib/source/library/lux/data/format/css/id.lux
+++ b/stdlib/source/library/lux/data/format/css/id.lux
@@ -11,9 +11,9 @@
[syntax {"+" syntax:}]
["[0]" code]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public ID
+(primitive: .public ID
Text
(def: .public id
diff --git a/stdlib/source/library/lux/data/format/css/property.lux b/stdlib/source/library/lux/data/format/css/property.lux
index 5035ee8de..821b4b03f 100644
--- a/stdlib/source/library/lux/data/format/css/property.lux
+++ b/stdlib/source/library/lux/data/format/css/property.lux
@@ -7,7 +7,7 @@
[data
["[0]" text]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[macro
["[0]" template]
["[0]" code]
@@ -57,7 +57,7 @@
(syntax: (text_symbol [symbol s.text])
(in (list (code.local (text.replaced "-" "_" symbol)))))
-(abstract: .public (Property brand)
+(primitive: .public (Property brand)
Text
(def: .public name
diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux
index 18ab53a99..697529704 100644
--- a/stdlib/source/library/lux/data/format/css/query.lux
+++ b/stdlib/source/library/lux/data/format/css/query.lux
@@ -12,7 +12,7 @@
["[0]" code]
[syntax {"+" syntax:}]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[1][0]" value {"+" Value Length Count Resolution Ratio
Orientation Scan Boolean Update
@@ -24,7 +24,7 @@
(syntax: (text_symbol [symbol s.text])
(in (list (code.local (text.replaced "-" "_" symbol)))))
-(abstract: .public Media
+(primitive: .public Media
Text
(def: .public media
@@ -42,7 +42,7 @@
["speech"]
))
-(abstract: .public Feature
+(primitive: .public Feature
Text
(def: .public feature
@@ -102,7 +102,7 @@
)
)
-(abstract: .public Query
+(primitive: .public Query
Text
(def: .public query
diff --git a/stdlib/source/library/lux/data/format/css/selector.lux b/stdlib/source/library/lux/data/format/css/selector.lux
index 405af9952..c1fece6e7 100644
--- a/stdlib/source/library/lux/data/format/css/selector.lux
+++ b/stdlib/source/library/lux/data/format/css/selector.lux
@@ -9,7 +9,7 @@
[number
["i" int]]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[macro
["[0]" template]]]]
["[0]" // "_"
@@ -21,21 +21,21 @@
(type: .public Tag Label)
(type: .public Attribute Label)
-(abstract: .public (Generic brand) Any)
+(primitive: .public (Generic brand) Any)
(template [<generic> <brand>]
- [(abstract: <brand> Any)
+ [(primitive: <brand> Any)
(type: .public <generic> (Generic <brand>))]
[Can_Chain Can_Chain']
[Cannot_Chain Cannot_Chain']
)
-(abstract: .public Unique Any)
-(abstract: .public Specific Any)
-(abstract: .public Composite Any)
+(primitive: .public Unique Any)
+(primitive: .public Specific Any)
+(primitive: .public Composite Any)
-(abstract: .public (Selector kind)
+(primitive: .public (Selector kind)
Text
(def: .public selector
@@ -167,7 +167,7 @@
(format ":not")
abstraction))
- (abstract: .public Index
+ (primitive: .public Index
Text
(def: .public index
diff --git a/stdlib/source/library/lux/data/format/css/style.lux b/stdlib/source/library/lux/data/format/css/style.lux
index 6404b2216..424a16d66 100644
--- a/stdlib/source/library/lux/data/format/css/style.lux
+++ b/stdlib/source/library/lux/data/format/css/style.lux
@@ -7,12 +7,12 @@
[collection
["[0]" list ("[1]#[0]" mix)]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[1][0]" value {"+" Value}]
["[1][0]" property {"+" Property}]])
-(abstract: .public Style
+(primitive: .public Style
Text
(def: .public empty
diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux
index 481d2996c..01c011ac3 100644
--- a/stdlib/source/library/lux/data/format/css/value.lux
+++ b/stdlib/source/library/lux/data/format/css/value.lux
@@ -23,7 +23,7 @@
["r" rev]
["f" frac]]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[world
[net {"+" URL}]]]]
[//
@@ -33,7 +33,7 @@
(in (list (code.local (text.replaced "-" "_" symbol)))))
(template: (enumeration: <abstraction> <representation> <out> <sample>+ <definition>+)
- [(abstract: .public <abstraction>
+ [(primitive: .public <abstraction>
<representation>
(def: .public <out>
@@ -62,7 +62,7 @@
raw
(|> raw (text.split_at 1) maybe.trusted product.right))))
-(abstract: .public (Value brand)
+(primitive: .public (Value brand)
Text
(def: .public value
@@ -77,11 +77,11 @@
[unset "unset"]
)
- (abstract: .public (Numeric kind) Any)
+ (primitive: .public (Numeric kind) Any)
(template [<name>]
[(with_expansions [<name>' (template.symbol [<name> "'"])]
- (abstract: .public <name>' Any)
+ (primitive: .public <name>' Any)
(type: .public <name>
(Numeric <name>')))]
@@ -92,7 +92,7 @@
)
(template [<brand> <alias>+ <value>+]
- [(abstract: .public <brand> Any)
+ [(primitive: .public <brand> Any)
(`` (template [<name> <value>]
[(def: .public <name>
@@ -892,7 +892,7 @@
(abstraction (format (%.nat horizontal) ..slice_separator
(%.nat vertical))))
- (abstract: .public Stop
+ (primitive: .public Stop
Text
(def: .public stop
@@ -912,7 +912,7 @@
(representation Value start) ..stop_separator
(representation Value end))))
- (abstract: .public Hint
+ (primitive: .public Hint
Text
(def: .public hint
@@ -931,7 +931,7 @@
(type: .public (List/1 a)
[a (List a)])
- (abstract: .public Angle
+ (primitive: .public Angle
Text
(def: .public angle
diff --git a/stdlib/source/library/lux/data/format/html.lux b/stdlib/source/library/lux/data/format/html.lux
index 0a1c861fc..b1ebb9a65 100644
--- a/stdlib/source/library/lux/data/format/html.lux
+++ b/stdlib/source/library/lux/data/format/html.lux
@@ -15,7 +15,7 @@
[target
["[0]" js]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[world
[net {"+" URL}]]]]
[//
@@ -79,11 +79,11 @@
(-> Tag Text)
(text.enclosed ["</" ">"]))
-(abstract: .public (HTML brand)
+(primitive: .public (HTML brand)
Text
(.template [<name> <brand>]
- [(abstract: <brand> Any)
+ [(primitive: <brand> Any)
(type: .public <name> (HTML <brand>))]
[Meta Meta']
@@ -101,11 +101,11 @@
)
(.template [<super> <super_raw> <sub>+]
- [(abstract: (<super_raw> brand) Any)
+ [(primitive: (<super_raw> brand) Any)
(type: .public <super> (HTML (<super_raw> Any)))
(`` (.template [<sub> <sub_raw>]
- [(abstract: <sub_raw> Any)
+ [(primitive: <sub_raw> Any)
(type: .public <sub> (HTML (<super_raw> <sub_raw>)))]
(~~ (template.spliced <sub>+))))]
diff --git a/stdlib/source/library/lux/data/format/markdown.lux b/stdlib/source/library/lux/data/format/markdown.lux
index f9acd6890..ed56b0853 100644
--- a/stdlib/source/library/lux/data/format/markdown.lux
+++ b/stdlib/source/library/lux/data/format/markdown.lux
@@ -7,7 +7,7 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[world
[net {"+" URL}]]]])
@@ -31,10 +31,10 @@
(text.replaced "." "\.")
(text.replaced "!" "\!")))
-(abstract: .public Span Any)
-(abstract: .public Block Any)
+(primitive: .public Span Any)
+(primitive: .public Block Any)
-(abstract: .public (Markdown brand)
+(primitive: .public (Markdown brand)
Text
(def: .public empty
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index b1ceb5bbf..7cdd1cf58 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -37,7 +37,7 @@
[world
["[0]" file]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(type: Size
Nat)
@@ -76,7 +76,7 @@
"Value" (%.nat value)
"Maximum" (%.nat (-- <limit>))))
- (abstract: .public <type>
+ (primitive: .public <type>
Nat
(def: .public (<in> value)
@@ -161,7 +161,7 @@
[value (# n.octal decoded digits)]
(..big value)))))
-(abstract: Checksum
+(primitive: Checksum
Text
(def: from_checksum
@@ -250,7 +250,7 @@
(binary!.slice 0 (++ end) string))))))))
(template [<type> <representation> <size> <exception> <in> <out> <writer> <parser> <none>]
- [(abstract: .public <type>
+ [(primitive: .public <type>
<representation>
(exception: .public (<exception> [value Text])
@@ -307,7 +307,7 @@
(def: magic_size Size 7)
-(abstract: Magic
+(primitive: Magic
Text
(def: ustar
@@ -394,7 +394,7 @@
... devminor
(..small_number ..device_size)))
-(abstract: Link_Flag
+(primitive: Link_Flag
Char
(def: link_flag
@@ -442,7 +442,7 @@
(exception.except ..invalid_link_flag [(.nat it)]))))))
)
-(abstract: .public Mode
+(primitive: .public Mode
Nat
(def: .public mode
@@ -530,7 +530,7 @@
(list.repeated ..content_size)
(list#mix n.* 1)))
-(abstract: .public Content
+(primitive: .public Content
[Big Binary]
(def: .public (content content)
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index 3aef48a85..4e51b721c 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -16,7 +16,7 @@
[number
["n" nat]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" //])
(with_expansions [<jvm> (these (import: java/lang/CharSequence
@@ -48,7 +48,7 @@
)
(these))))
-(`` (abstract: .public Buffer
+(`` (primitive: .public Buffer
(for @.old [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)]
@.jvm [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)]
@.js [Nat (-> (JS_Array Text) (JS_Array Text))]
diff --git a/stdlib/source/library/lux/data/text/encoding.lux b/stdlib/source/library/lux/data/text/encoding.lux
index 643c279ae..0286b4700 100644
--- a/stdlib/source/library/lux/data/text/encoding.lux
+++ b/stdlib/source/library/lux/data/text/encoding.lux
@@ -4,10 +4,10 @@
[macro
["[0]" template]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
... https://en.wikipedia.org/wiki/Character_encoding#Common_character_encodings
-(abstract: .public Encoding
+(primitive: .public Encoding
Text
(template [<name> <encoding>]
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux
index e0da6cb16..af1825a48 100644
--- a/stdlib/source/library/lux/data/text/unicode/block.lux
+++ b/stdlib/source/library/lux/data/text/unicode/block.lux
@@ -11,10 +11,10 @@
["n" nat ("[1]#[0]" interval)]
["[0]" i64]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
[/// {"+" Char}])
-(abstract: .public Block
+(primitive: .public Block
(Interval Char)
(implementation: .public monoid
diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux
index 155507178..1bd7ca2af 100644
--- a/stdlib/source/library/lux/data/text/unicode/set.lux
+++ b/stdlib/source/library/lux/data/text/unicode/set.lux
@@ -10,7 +10,7 @@
["[0]" tree "_"
["[1]" finger {"+" Tree}]]]]
[type {"+" by_example}
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" / "_"
["/[1]" // "_"
[// {"+" Char}]
@@ -26,7 +26,7 @@
@))
-(abstract: .public Set
+(primitive: .public Set
(Tree :@: Block [])
(def: .public (composite left right)
diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux
index 5d2b400a0..577eaec98 100644
--- a/stdlib/source/library/lux/ffi.lux
+++ b/stdlib/source/library/lux/ffi.lux
@@ -21,7 +21,7 @@
["[0]" code]
["[0]" template]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(with_expansions [<constant> (for @.js "js constant"
@.python "python constant"
@@ -51,7 +51,7 @@
@.python "python function"
@.lua "lua function"
(these))]
- (abstract: .public (Object brand) Any)
+ (primitive: .public (Object brand) Any)
(with_expansions [<un_common> (for @.js (these [Symbol]
[Null]
@@ -64,7 +64,7 @@
<un_common> <un_common>]
(template [<name>]
[(with_expansions [<brand> (template.symbol [<name> "'"])]
- (abstract: <brand>
+ (primitive: <brand>
Any
(type: .public <name>
diff --git a/stdlib/source/library/lux/locale.lux b/stdlib/source/library/lux/locale.lux
index 8519516a9..6500deb55 100644
--- a/stdlib/source/library/lux/locale.lux
+++ b/stdlib/source/library/lux/locale.lux
@@ -11,12 +11,12 @@
["%" format {"+" format}]
["[0]" encoding {"+" Encoding}]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
[/
["[0]" language {"+" Language}]
["[0]" territory {"+" Territory}]])
-(abstract: .public Locale
+(primitive: .public Locale
Text
(def: territory_separator "_")
diff --git a/stdlib/source/library/lux/locale/language.lux b/stdlib/source/library/lux/locale/language.lux
index cd51ac019..3a56db5cf 100644
--- a/stdlib/source/library/lux/locale/language.lux
+++ b/stdlib/source/library/lux/locale/language.lux
@@ -7,12 +7,12 @@
[data
["[0]" text]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[macro
["[0]" template]]]])
... https://en.wikipedia.org/wiki/List_of_ISO_639-2_codes
-(abstract: .public Language
+(primitive: .public Language
(Record
[#name Text
#code Text])
diff --git a/stdlib/source/library/lux/locale/territory.lux b/stdlib/source/library/lux/locale/territory.lux
index 8cc984ec7..c654d8650 100644
--- a/stdlib/source/library/lux/locale/territory.lux
+++ b/stdlib/source/library/lux/locale/territory.lux
@@ -7,12 +7,12 @@
[data
["[0]" text]]
[type
- [abstract "*"]]
+ [primitive "*"]]
[macro
["[0]" template]]]])
... https://en.wikipedia.org/wiki/ISO_3166-1
-(abstract: .public Territory
+(primitive: .public Territory
(Record
[#name Text
#short Text
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux
index 8808e01c2..4de567862 100644
--- a/stdlib/source/library/lux/math/modular.lux
+++ b/stdlib/source/library/lux/math/modular.lux
@@ -23,11 +23,11 @@
[number
["i" int ("[1]#[0]" decimal)]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[1]" modulus {"+" Modulus}]])
-(abstract: .public (Mod m)
+(primitive: .public (Mod m)
(Record
[#modulus (Modulus m)
#value Int])
diff --git a/stdlib/source/library/lux/math/modulus.lux b/stdlib/source/library/lux/math/modulus.lux
index dfc630966..f7f0ac6c1 100644
--- a/stdlib/source/library/lux/math/modulus.lux
+++ b/stdlib/source/library/lux/math/modulus.lux
@@ -16,11 +16,11 @@
[number
["i" int]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(exception: .public zero_cannot_be_a_modulus)
-(abstract: .public (Modulus %)
+(primitive: .public (Modulus %)
Int
(def: .public (modulus value)
diff --git a/stdlib/source/library/lux/target/common_lisp.lux b/stdlib/source/library/lux/target/common_lisp.lux
index ba8ce8d02..d410458f4 100644
--- a/stdlib/source/library/lux/target/common_lisp.lux
+++ b/stdlib/source/library/lux/target/common_lisp.lux
@@ -14,13 +14,13 @@
[number
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: as_form
(-> Text Text)
(text.enclosed ["(" ")"]))
-(abstract: .public (Code brand)
+(primitive: .public (Code brand)
Text
(def: .public manual
@@ -33,7 +33,7 @@
(template [<type> <super>]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (`` (abstract: .public (<brand> brand) Any))
+ (`` (primitive: .public (<brand> brand) Any))
(`` (type: .public (<type> brand)
(<super> (<brand> brand)))))]
@@ -47,7 +47,7 @@
(template [<type> <super>]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (`` (abstract: .public <brand> Any))
+ (`` (primitive: .public <brand> Any))
(`` (type: .public <type> (<super> <brand>))))]
[Label Code]
diff --git a/stdlib/source/library/lux/target/js.lux b/stdlib/source/library/lux/target/js.lux
index 5d24ab3d7..c0c178bc1 100644
--- a/stdlib/source/library/lux/target/js.lux
+++ b/stdlib/source/library/lux/target/js.lux
@@ -15,7 +15,7 @@
["i" int]
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: expression
(text.enclosed ["(" ")"]))
@@ -33,7 +33,7 @@
(|>> (format \n+)
(text.replaced text.new_line (format text.new_line text.tab))))
-(abstract: .public (Code brand)
+(primitive: .public (Code brand)
Text
(def: .public code
@@ -42,7 +42,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: (<brand> brand) Any)
+ (primitive: (<brand> brand) Any)
(`` (type: .public <type> (|> Any <brand> (~~ (template.spliced <super>+))))))]
[Expression [Code]]
@@ -53,7 +53,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: <brand> Any)
+ (primitive: <brand> Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Var [Location' Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
index 94f53c258..7edce6747 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
@@ -15,7 +15,7 @@
[number
["n" nat]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[jump {"+" Big_Jump}]
["/[1]" // "_"
@@ -23,7 +23,7 @@
["[1][0]" unsigned {"+" U2}]
["[1][0]" signed {"+" S4}]]]])
-(abstract: .public Address
+(primitive: .public Address
U2
(def: .public value
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
index cc99cdaed..334a2cb15 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
@@ -14,7 +14,7 @@
[number
["n" nat]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" ///// "_"
[encoding
["[1][0]" unsigned {"+" U1 U2}]]
@@ -28,7 +28,7 @@
(def: normal 1)
(def: wide 2)
-(abstract: .public Registry
+(primitive: .public Registry
U2
(def: .public registry
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
index 4722fde9e..414a74ddd 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
@@ -12,12 +12,12 @@
[format
[binary {"+" Writer}]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" ///// "_"
[encoding
["[1][0]" unsigned {"+" U2}]]])
-(abstract: .public Stack
+(primitive: .public Stack
U2
(template [<frames> <name>]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
index b899cd83d..90569a287 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
@@ -23,7 +23,7 @@
[number {"+" hex}
["n" nat]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[1][0]" address {"+" Address}]
["[1][0]" jump {"+" Jump Big_Jump}]
@@ -222,7 +222,7 @@
[(n.+ (///unsigned.value ..size/211) size)
(|>> mutation ((trinary/211' opcode input0 input1 input2)))])])
-(abstract: .public Primitive_Array_Type
+(primitive: .public Primitive_Array_Type
U1
(def: code
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index e1fc0337e..b0dfc7cda 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -22,7 +22,7 @@
["[0]" int]
["[0]" frac]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" / "_"
["[1][0]" tag]
["/[1]" // "_"
@@ -40,7 +40,7 @@
(Writer UTF8)
binaryF.utf8_16)
-(abstract: .public Class
+(primitive: .public Class
(Index UTF8)
(def: .public index
@@ -82,7 +82,7 @@
"[1]::[0]"
("static" doubleToRawLongBits [double] long))
-(abstract: .public (Value kind)
+(primitive: .public (Value kind)
kind
(def: .public value
diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux
index 21a53ae56..440dbc581 100644
--- a/stdlib/source/library/lux/target/jvm/constant/tag.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux
@@ -9,12 +9,12 @@
[format
[binary {"+" Writer}]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" /// "_"
[encoding
["[1][0]" unsigned {"+" U1} ("u1//[0]" equivalence)]]])
-(abstract: .public Tag
+(primitive: .public Tag
U1
(implementation: .public equivalence
diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux
index 666251728..1479e35dd 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/name.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux
@@ -5,7 +5,7 @@
["[0]" text
["%" format {"+" format}]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: .public internal_separator "/")
(def: .public external_separator ".")
@@ -13,7 +13,7 @@
(type: .public External
Text)
-(abstract: .public Internal
+(primitive: .public Internal
Text
(def: .public internal
diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
index c56ada38f..be0f564e3 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
@@ -20,9 +20,9 @@
["n" nat]
["i" int]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Signed brand)
+(primitive: .public (Signed brand)
Int
(def: .public value
@@ -49,7 +49,7 @@
(template [<bytes> <name> <size> <constructor> <maximum> <minimum> <+> <->]
[(with_expansions [<raw> (template.symbol [<name> "'"])]
- (abstract: <raw> Any)
+ (primitive: <raw> Any)
(type: .public <name> (Signed <raw>)))
(def: .public <size> <bytes>)
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
index ec8b7b068..66506f3b0 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
@@ -19,9 +19,9 @@
["n" nat]
["[0]" i64]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Unsigned brand)
+(primitive: .public (Unsigned brand)
Nat
(def: .public value
@@ -61,7 +61,7 @@
(template [<bytes> <name> <size> <constructor> <maximum> <+> <-> <max>]
[(with_expansions [<raw> (template.symbol [<name> "'"])]
- (abstract: .public <raw> Any)
+ (primitive: .public <raw> Any)
(type: .public <name> (Unsigned <raw>)))
(def: .public <size> <bytes>)
diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux
index 9afae818a..42c0e4c15 100644
--- a/stdlib/source/library/lux/target/jvm/index.lux
+++ b/stdlib/source/library/lux/target/jvm/index.lux
@@ -7,7 +7,7 @@
[format
[binary {"+" Writer}]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[encoding
["[1][0]" unsigned {"+" U2}]]])
@@ -15,7 +15,7 @@
(def: .public length
//unsigned.bytes/2)
-(abstract: .public (Index kind)
+(primitive: .public (Index kind)
U2
(def: .public index
diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux
index 0e4097cb0..d573f0aeb 100644
--- a/stdlib/source/library/lux/target/jvm/modifier.lux
+++ b/stdlib/source/library/lux/target/jvm/modifier.lux
@@ -18,12 +18,12 @@
["[0]" number {"+" hex}
["[0]" i64]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[encoding
["[1][0]" unsigned]]])
-(abstract: .public (Modifier of)
+(primitive: .public (Modifier of)
//unsigned.U2
(def: .public code
diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux
index 06191a89f..c2f40a5a5 100644
--- a/stdlib/source/library/lux/target/jvm/type.lux
+++ b/stdlib/source/library/lux/target/jvm/type.lux
@@ -15,7 +15,7 @@
[number
["n" nat]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[encoding
["[1][0]" name {"+" External}]]]
@@ -25,7 +25,7 @@
["[1][0]" descriptor {"+" Descriptor}]
["[1][0]" reflection {"+" Reflection}]])
-(abstract: .public (Type category)
+(primitive: .public (Type category)
[(Signature category)
(Descriptor category)
(Reflection category)]
diff --git a/stdlib/source/library/lux/target/jvm/type/category.lux b/stdlib/source/library/lux/target/jvm/type/category.lux
index 82080666d..f10e42ebd 100644
--- a/stdlib/source/library/lux/target/jvm/type/category.lux
+++ b/stdlib/source/library/lux/target/jvm/type/category.lux
@@ -4,26 +4,26 @@
[macro
["[0]" template]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: Void' Any)
-(abstract: .public (Value' kind) Any)
-(abstract: .public (Return' kind) Any)
-(abstract: .public Method Any)
+(primitive: Void' Any)
+(primitive: .public (Value' kind) Any)
+(primitive: .public (Return' kind) Any)
+(primitive: .public Method Any)
(type: .public Return (<| Return' Any))
(type: .public Value (<| Return' Value' Any))
(type: .public Void (<| Return' Void'))
-(abstract: (Object' brand) Any)
+(primitive: (Object' brand) Any)
(type: .public Object (<| Return' Value' Object' Any))
-(abstract: (Parameter' brand) Any)
+(primitive: (Parameter' brand) Any)
(type: .public Parameter (<| Return' Value' Object' Parameter' Any))
(template [<parents> <child>]
[(with_expansions [<raw> (template.symbol [<child> "'"])]
- (abstract: <raw> Any)
+ (primitive: <raw> Any)
(type: .public <child>
(`` (<| Return' Value' (~~ (template.spliced <parents>)) <raw>))))]
@@ -33,5 +33,5 @@
[[Object' Parameter'] Array]
)
-(abstract: .public Declaration Any)
-(abstract: .public Inheritance Any)
+(primitive: .public Declaration Any)
+(primitive: .public Inheritance Any)
diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
index cfc674edc..a58c9098f 100644
--- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux
+++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
@@ -14,14 +14,14 @@
[number
["n" nat]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration}]
["/[1]" // "_"
[encoding
["[1][0]" name {"+" Internal External}]]]])
-(abstract: .public (Descriptor category)
+(primitive: .public (Descriptor category)
Text
(def: .public descriptor
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux
index a1b8328bf..8fa73b5f9 100644
--- a/stdlib/source/library/lux/target/jvm/type/lux.lux
+++ b/stdlib/source/library/lux/target/jvm/type/lux.lux
@@ -16,7 +16,7 @@
["[0]" array]
["[0]" dictionary {"+" Dictionary}]]]
[type
- [abstract "*"]
+ [primitive "*"]
["[0]" check {"+" Check} ("[1]#[0]" monad)]]]]
["[0]" //
[category {"+" Void Value Return Method Primitive Object Class Array Var Parameter}]
@@ -30,7 +30,7 @@
["[1][0]" name]]]])
(template [<name>]
- [(abstract: .public (<name> class) Any)]
+ [(primitive: .public (<name> class) Any)]
[Lower] [Upper]
)
diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux
index ae364efa0..7e7ad7a1a 100644
--- a/stdlib/source/library/lux/target/jvm/type/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux
@@ -7,7 +7,7 @@
["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" format}]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration}]
["[1][0]" descriptor]
@@ -15,7 +15,7 @@
[encoding
["[1][0]" name {"+" External}]]]])
-(abstract: .public (Reflection category)
+(primitive: .public (Reflection category)
Text
(def: .public reflection
diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux
index 46a4c1066..e9dffe710 100644
--- a/stdlib/source/library/lux/target/jvm/type/signature.lux
+++ b/stdlib/source/library/lux/target/jvm/type/signature.lux
@@ -12,7 +12,7 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
[category {"+" Void Value Return Method Primitive Object Class Array Var Parameter Declaration Inheritance}]
["[1][0]" descriptor]
@@ -20,7 +20,7 @@
[encoding
["[1][0]" name {"+" External}]]]])
-(abstract: .public (Signature category)
+(primitive: .public (Signature category)
Text
(def: .public signature
diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux
index 676a0791f..91fe9e4a5 100644
--- a/stdlib/source/library/lux/target/lua.lux
+++ b/stdlib/source/library/lux/target/lua.lux
@@ -25,7 +25,7 @@
["i" int]
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
... Added the carriage return for better Windows compatibility.
(def: \n+
@@ -40,7 +40,7 @@
(def: input_separator ", ")
-(abstract: .public (Code brand)
+(primitive: .public (Code brand)
Text
(implementation: .public equivalence
@@ -65,7 +65,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: (<brand> brand) Any)
+ (primitive: (<brand> brand) Any)
(`` (type: .public <type> (|> Any <brand> (~~ (template.spliced <super>+))))))]
[Expression [Code]]
@@ -76,7 +76,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: <brand> Any)
+ (primitive: <brand> Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Literal [Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux
index ef79be536..5a8d6faf2 100644
--- a/stdlib/source/library/lux/target/php.lux
+++ b/stdlib/source/library/lux/target/php.lux
@@ -24,7 +24,7 @@
["n" nat]
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: input_separator ", ")
(def: statement_suffix ";")
@@ -48,7 +48,7 @@
(-> Text Text)
(text.enclosed ["(" ")"]))
-(abstract: .public (Code brand)
+(primitive: .public (Code brand)
Text
(implementation: .public equivalence
@@ -73,7 +73,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: (<brand> brand) Any)
+ (primitive: (<brand> brand) Any)
(`` (type: .public <type> (|> Any <brand> (~~ (template.spliced <super>+))))))]
[Expression [Code]]
@@ -84,7 +84,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: .public <brand> Any)
+ (primitive: .public <brand> Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Literal [Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 369cbfd92..8ab7a88ec 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -25,7 +25,7 @@
["n" nat]
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: input_separator
", ")
@@ -57,7 +57,7 @@
(|>> (format \n+)
(text.replaced text.new_line nested_new_line)))))
-(abstract: .public (Code brand)
+(primitive: .public (Code brand)
Text
(implementation: .public equivalence
@@ -82,7 +82,7 @@
(template [<type> <super>]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (`` (abstract: (<brand> brand) Any))
+ (`` (primitive: (<brand> brand) Any))
(`` (type: .public (<type> brand)
(<super> (<brand> brand)))))]
@@ -95,7 +95,7 @@
(template [<type> <super>]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (`` (abstract: <brand> Any))
+ (`` (primitive: <brand> Any))
(`` (type: .public <type> (<super> <brand>))))]
[Literal Computation]
@@ -104,7 +104,7 @@
)
(template [<var> <brand>]
- [(abstract: .public <brand> Any)
+ [(primitive: .public <brand> Any)
(type: .public <var> (Var <brand>))]
diff --git a/stdlib/source/library/lux/target/r.lux b/stdlib/source/library/lux/target/r.lux
index d7e7b7c90..a6a95bd38 100644
--- a/stdlib/source/library/lux/target/r.lux
+++ b/stdlib/source/library/lux/target/r.lux
@@ -20,14 +20,14 @@
[number
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Code kind)
+(primitive: .public (Code kind)
Text
(template [<type> <super>+]
[(with_expansions [<kind> (template.symbol [<type> "'"])]
- (abstract: .public (<kind> kind) Any)
+ (primitive: .public (<kind> kind) Any)
(`` (type: .public <type> (|> Any <kind> (~~ (template.spliced <super>+))))))]
[Expression [Code]]
@@ -35,14 +35,14 @@
(template [<type> <super>+]
[(with_expansions [<kind> (template.symbol [<type> "'"])]
- (abstract: .public (<kind> kind) Any)
+ (primitive: .public (<kind> kind) Any)
(`` (type: .public (<type> <brand>) (|> <brand> <kind> (~~ (template.spliced <super>+))))))]
[Var [Expression' Code]]
)
(template [<var> <kind>]
- [(abstract: .public <kind> Any)
+ [(primitive: .public <kind> Any)
(type: .public <var> (Var <kind>))]
[SVar Single]
diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux
index cc797609c..972628596 100644
--- a/stdlib/source/library/lux/target/ruby.lux
+++ b/stdlib/source/library/lux/target/ruby.lux
@@ -24,7 +24,7 @@
["n" nat]
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: input_separator ", ")
(def: statement_suffix ";")
@@ -40,7 +40,7 @@
(|>> (format \n+)
(text.replaced text.new_line nested_new_line))))
-(abstract: .public (Code brand)
+(primitive: .public (Code brand)
Text
(implementation: .public equivalence
@@ -59,7 +59,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: (<brand> brand) Any)
+ (primitive: (<brand> brand) Any)
(`` (type: .public <type> (|> Any <brand> (~~ (template.spliced <super>+))))))]
[Expression [Code]]
@@ -72,7 +72,7 @@
(template [<type> <super>+]
[(with_expansions [<brand> (template.symbol [<type> "'"])]
- (abstract: <brand> Any)
+ (primitive: <brand> Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+))))))]
[Literal [Computation' Expression' Code]]
diff --git a/stdlib/source/library/lux/target/scheme.lux b/stdlib/source/library/lux/target/scheme.lux
index 826ada9da..d7b97bd0b 100644
--- a/stdlib/source/library/lux/target/scheme.lux
+++ b/stdlib/source/library/lux/target/scheme.lux
@@ -19,7 +19,7 @@
["n" nat]
["f" frac]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
... Added the carriage return for better Windows compatibility.
(def: \n+
@@ -31,7 +31,7 @@
(.let [nested_new_line (format text.new_line text.tab)]
(text.replaced text.new_line nested_new_line)))
-(abstract: .public (Code k)
+(primitive: .public (Code k)
Text
(implementation: .public equivalence
@@ -47,14 +47,14 @@
(def: hash (|>> representation (# text.hash hash))))
(template [<type> <brand> <super>+]
- [(abstract: .public (<brand> brand) Any)
+ [(primitive: .public (<brand> brand) Any)
(`` (type: .public <type> (|> Any <brand> (~~ (template.spliced <super>+)))))]
[Expression Expression' [Code]]
)
(template [<type> <brand> <super>+]
- [(abstract: .public <brand> Any)
+ [(primitive: .public <brand> Any)
(`` (type: .public <type> (|> <brand> (~~ (template.spliced <super>+)))))]
[Var Var' [Expression' Code]]
diff --git a/stdlib/source/library/lux/time.lux b/stdlib/source/library/lux/time.lux
index d395b5795..cf0d64c9e 100644
--- a/stdlib/source/library/lux/time.lux
+++ b/stdlib/source/library/lux/time.lux
@@ -19,7 +19,7 @@
[number
["n" nat ("[1]#[0]" decimal)]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
[/
["[0]" duration {"+" Duration}]])
@@ -76,7 +76,7 @@
[..seconds second_parser invalid_second ..section_parser]
)
-(abstract: .public Time
+(primitive: .public Time
Nat
(def: .public midnight
diff --git a/stdlib/source/library/lux/time/date.lux b/stdlib/source/library/lux/time/date.lux
index 75091e32e..fc839952e 100644
--- a/stdlib/source/library/lux/time/date.lux
+++ b/stdlib/source/library/lux/time/date.lux
@@ -23,7 +23,7 @@
["n" nat ("[1]#[0]" decimal)]
["i" int]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[1][0]" year {"+" Year}]
["[1][0]" month {"+" Month}]])
@@ -69,7 +69,7 @@
(def: separator
"-")
-(abstract: .public Date
+(primitive: .public Date
(Record
[#year Year
#month Month
diff --git a/stdlib/source/library/lux/time/duration.lux b/stdlib/source/library/lux/time/duration.lux
index ec876f942..4ce7774c3 100644
--- a/stdlib/source/library/lux/time/duration.lux
+++ b/stdlib/source/library/lux/time/duration.lux
@@ -19,11 +19,11 @@
["i" int]
["[0]" nat ("[1]#[0]" decimal)]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[1][0]" year]])
-(abstract: .public Duration
+(primitive: .public Duration
Int
(def: .public of_millis
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux
index cf854a9fc..81ff18897 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/time/instant.lux
@@ -22,7 +22,7 @@
["i" int]
["f" frac]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // {"+" Time}
["[0]" duration {"+" Duration}]
["[0]" year {"+" Year}]
@@ -30,7 +30,7 @@
["[0]" day {"+" Day}]
["[0]" date {"+" Date}]])
-(abstract: .public Instant
+(primitive: .public Instant
Int
(def: .public of_millis
diff --git a/stdlib/source/library/lux/time/year.lux b/stdlib/source/library/lux/time/year.lux
index dc149b476..ad60ff921 100644
--- a/stdlib/source/library/lux/time/year.lux
+++ b/stdlib/source/library/lux/time/year.lux
@@ -18,7 +18,7 @@
["n" nat ("[1]#[0]" decimal)]
["i" int ("[1]#[0]" decimal)]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: (internal year)
(-> Int Int)
@@ -35,7 +35,7 @@
(exception: .public there_is_no_year_0)
... https://en.wikipedia.org/wiki/Gregorian_calendar
-(abstract: .public Year
+(primitive: .public Year
Int
(def: .public (year value)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index e2bd7a114..622a52d82 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -27,7 +27,7 @@
[number
["n" nat ("[1]#[0]" equivalence)]]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
[/
["[0]" artifact]
["[0]" registry {"+" Registry}]
@@ -72,7 +72,7 @@
#output Output
#registry Registry]))
-(abstract: .public Archive
+(primitive: .public Archive
(Record
[#next module.ID
#resolver (Dictionary descriptor.Module [module.ID (Maybe (Entry Any))])])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
index 78b3aa25f..86d8cfe9e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
@@ -2,11 +2,11 @@
[library
[lux "*"
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
[//
[signature {"+" Signature}]])
-(abstract: .public (Key k)
+(primitive: .public (Key k)
Signature
(def: .public signature
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
index 5ca25f617..8c1eae9ca 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
@@ -14,7 +14,7 @@
[format
["[0]" binary {"+" Writer}]]]
[type {"+" sharing}
- [abstract "*"]]]]
+ [primitive "*"]]]]
[///
["[0]" signature {"+" Signature} ("[1]#[0]" equivalence)]
["[0]" key {"+" Key}]])
@@ -25,7 +25,7 @@
"Expected" (signature.description expected)
"Actual" (signature.description actual)))
-(abstract: .public (Document d)
+(primitive: .public (Document d)
(Record
[#signature Signature
#content d])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index 6a9420985..5ebd0f2f3 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -23,13 +23,13 @@
[macro
["^" pattern]]
[type
- [abstract "*"]]]]
+ [primitive "*"]]]]
["[0]" // "_"
["[0]" unit]
["[1]" artifact {"+" Artifact ID}
["[2][0]" category {"+" Category}]]])
-(abstract: .public Registry
+(primitive: .public Registry
(Record
[#artifacts (Sequence [Artifact (Set unit.ID)])
#resolver (Dictionary Text [ID (Maybe //category.Definition)])])
diff --git a/stdlib/source/library/lux/type/dynamic.lux b/stdlib/source/library/lux/type/dynamic.lux
index d4f06d136..d24b16dd4 100644
--- a/stdlib/source/library/lux/type/dynamic.lux
+++ b/stdlib/source/library/lux/type/dynamic.lux
@@ -13,7 +13,7 @@
[macro {"+" with_symbols}
["[0]" syntax {"+" syntax:}]]
["[0]" type
- ["[0]" abstract {"+" abstract:}]]]])
+ ["[0]" primitive {"+" primitive:}]]]])
(exception: .public (wrong_type [expected Type
actual Type])
@@ -21,16 +21,16 @@
"Expected" (%.type expected)
"Actual" (%.type actual)))
-(abstract: .public Dynamic
+(primitive: .public Dynamic
[Type Any]
(def: abstraction
(-> [Type Any] Dynamic)
- (|>> abstract.abstraction))
+ (|>> primitive.abstraction))
(def: representation
(-> Dynamic [Type Any])
- (|>> abstract.representation))
+ (|>> primitive.representation))
(syntax: .public (dynamic [value <code>.any])
(with_symbols [g!value]
@@ -49,6 +49,6 @@
(def: .public (format value)
(-> Dynamic (Try Text))
- (let [[type value] (abstract.representation value)]
+ (let [[type value] (primitive.representation value)]
(debug.representation type value)))
)
diff --git a/stdlib/source/library/lux/type/abstract.lux b/stdlib/source/library/lux/type/primitive.lux
index 3d644dae3..28dd48137 100644
--- a/stdlib/source/library/lux/type/abstract.lux
+++ b/stdlib/source/library/lux/type/primitive.lux
@@ -221,8 +221,8 @@
... TODO: Make sure the generated code always gets optimized away.
... (This applies to uses of "abstraction" and "representation")
-(syntax: .public (abstract: [[export_policy [name type_vars] representation_type primitives]
- ..abstract])
+(syntax: .public (primitive: [[export_policy [name type_vars] representation_type primitives]
+ ..abstract])
(do meta.monad
[current_module meta.current_module_name
.let [type_varsC (list#each code.local type_vars)
diff --git a/stdlib/source/library/lux/type/quotient.lux b/stdlib/source/library/lux/type/quotient.lux
index 73c4b2a1e..3eb7cb6f3 100644
--- a/stdlib/source/library/lux/type/quotient.lux
+++ b/stdlib/source/library/lux/type/quotient.lux
@@ -9,9 +9,9 @@
[macro {"+" with_symbols}
[syntax {"+" syntax:}]]
["[0]" type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Class t c %)
+(primitive: .public (Class t c %)
(-> t c)
(def: .public class
@@ -20,7 +20,7 @@
(-> (-> t c) (Class t c %))))
(|>> abstraction))
- (abstract: .public (Quotient t c %)
+ (primitive: .public (Quotient t c %)
(Record
[#value t
#label c])
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux
index 1a4433507..1ae7e761e 100644
--- a/stdlib/source/library/lux/type/refinement.lux
+++ b/stdlib/source/library/lux/type/refinement.lux
@@ -9,9 +9,9 @@
["[0]" macro
[syntax {"+" syntax:}]]
["[0]" type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Refined t %)
+(primitive: .public (Refined t %)
(Record
[#value t
#predicate (Predicate t)])
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux
index 4d6526d22..f198e3619 100644
--- a/stdlib/source/library/lux/type/resource.lux
+++ b/stdlib/source/library/lux/type/resource.lux
@@ -23,7 +23,7 @@
[number
["n" nat]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(type: .public (Procedure monad input output value)
(-> input (monad [output value])))
@@ -66,10 +66,10 @@
[output procedure]
(in [keys output]))))
-(abstract: .public Ordered Any)
-(abstract: .public Commutative Any)
+(primitive: .public Ordered Any)
+(primitive: .public Commutative Any)
-(abstract: .public (Key mode key)
+(primitive: .public (Key mode key)
Any
(template [<name> <mode>]
@@ -81,7 +81,7 @@
[commutative_key Commutative]
))
-(abstract: .public (Res key value)
+(primitive: .public (Res key value)
value
(template [<name> <mode> <key>]
diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux
index 4ef2269e3..e822dcded 100644
--- a/stdlib/source/library/lux/type/unit.lux
+++ b/stdlib/source/library/lux/type/unit.lux
@@ -24,9 +24,9 @@
["i" int]
["[0]" ratio {"+" Ratio}]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public (Qty unit)
+(primitive: .public (Qty unit)
Int
(def: in'
diff --git a/stdlib/source/library/lux/world/db/sql.lux b/stdlib/source/library/lux/world/db/sql.lux
index 4835e3f24..218d64ccf 100644
--- a/stdlib/source/library/lux/world/db/sql.lux
+++ b/stdlib/source/library/lux/world/db/sql.lux
@@ -13,7 +13,7 @@
[macro
["[0]" template]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: parenthesize
(-> Text Text)
@@ -21,7 +21,7 @@
... Kind
(template [<declaration>]
- [(abstract: .public <declaration> Any)]
+ [(primitive: .public <declaration> Any)]
[Literal']
[Column']
@@ -62,7 +62,7 @@
(def: .public no_alias Alias "")
-(abstract: .public (SQL kind)
+(primitive: .public (SQL kind)
Text
... SQL
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index 6c1331c4d..d9c070472 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -29,10 +29,10 @@
[time
["[0]" instant {"+" Instant} ("[1]#[0]" equivalence)]]
[type
- [abstract {"+" abstract: representation abstraction}]]]]
+ [primitive {"+" primitive: representation abstraction}]]]]
["[0]" //])
-(abstract: .public Concern
+(primitive: .public Concern
(Record
[#creation Bit
#modification Bit
diff --git a/stdlib/source/library/lux/world/net/http/mime.lux b/stdlib/source/library/lux/world/net/http/mime.lux
index 12cf28d79..a8578015c 100644
--- a/stdlib/source/library/lux/world/net/http/mime.lux
+++ b/stdlib/source/library/lux/world/net/http/mime.lux
@@ -6,9 +6,9 @@
["%" format {"+" format}]
["[0]" encoding {"+" Encoding}]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
-(abstract: .public MIME
+(primitive: .public MIME
Text
(def: .public mime
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 71f4dbe1c..d3af4c01b 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -21,7 +21,7 @@
["[0]" year]
["[0]" month]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
(def: .public (pad value)
(-> Nat Text)
@@ -38,7 +38,7 @@
"Maximum" (%.int ..max_year)
"Year" (%.int (year.value year))))
-(abstract: .public Date
+(primitive: .public Date
date.Date
(def: .public epoch
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index db33a1e6a..bd78f8fe3 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -21,7 +21,7 @@
["n" nat]
["[0]" i64]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
... TODO: Replace with pure-Lux implementations of these algorithms
... https://en.wikipedia.org/wiki/SHA-1#SHA-1_pseudocode
@@ -34,10 +34,10 @@
("static" getInstance [java/lang/String] java/security/MessageDigest)
(digest [[byte]] [byte]))
-(abstract: .public SHA-1 Any)
-(abstract: .public MD5 Any)
+(primitive: .public SHA-1 Any)
+(primitive: .public MD5 Any)
-(abstract: .public (Hash h)
+(primitive: .public (Hash h)
Binary
(def: .public data
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index 1577c6a20..d2e0fed2b 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -25,7 +25,7 @@
[\\library
["[0]" / ("[1]#[0]" equivalence)]]
["[0]" / "_"
- ["[1][0]" abstract]
+ ["[1][0]" primitive]
["[1][0]" check]
["[1][0]" dynamic]
["[1][0]" implicit]
@@ -252,7 +252,7 @@
(text#= (/.format left) (/.format right))))
))
- /abstract.test
+ /primitive.test
/check.test
/dynamic.test
/implicit.test
diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/primitive.lux
index df08a62ae..5b4a3fe06 100644
--- a/stdlib/source/test/lux/type/abstract.lux
+++ b/stdlib/source/test/lux/type/primitive.lux
@@ -46,16 +46,16 @@
(with_expansions [no_current! (..with_no_active_frames (..current))
no_specific! (..with_no_active_frames (..specific))]
- (/.abstract: (g!Foo a)
+ (/.primitive: (g!Foo a)
Text
- (/.abstract: (g!Bar a)
+ (/.primitive: (g!Bar a)
Nat
(def: .public test
Test
(<| (_.covering /._)
- (_.for [/.abstract:])
+ (_.for [/.primitive:])
(do random.monad
[expected_foo (random.lower_case 5)
expected_bar random.nat]