aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lux-mode/lux-mode.el2
-rw-r--r--stdlib/commands.md4
-rw-r--r--stdlib/project.clj4
-rw-r--r--stdlib/project.lux7
-rw-r--r--stdlib/source/documentation/lux/meta/annotation.lux3
-rw-r--r--stdlib/source/library/lux/type/poly.lux28
-rw-r--r--stdlib/source/program/scriptum.lux522
-rw-r--r--stdlib/source/test/lux/type/poly.lux2
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux14
-rw-r--r--stdlib/source/test/lux/type/poly/functor.lux27
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux18
11 files changed, 51 insertions, 580 deletions
diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el
index ca19d3758..98844d106 100644
--- a/lux-mode/lux-mode.el
+++ b/lux-mode/lux-mode.el
@@ -378,7 +378,7 @@ Called by `imenu--generic-function'."
(type//checking (altRE ":" ":as" ":let" ":~" ":expected" ":of" ":sharing" ":by_example" ":hole"))
(type//abstract (altRE "abstract:" ":abstraction" ":representation" ":transmutation" "\\^:representation"))
(type//unit (altRE "unit:" "scale:"))
- (type//poly (altRE "poly:" "derived:"))
+ (type//poly (altRE "poly:"))
(type//dynamic (altRE ":dynamic" "/.:static"))
(type//capability (altRE "capability:"))
;; Data
diff --git a/stdlib/commands.md b/stdlib/commands.md
index 893e0d271..542735a39 100644
--- a/stdlib/commands.md
+++ b/stdlib/commands.md
@@ -56,11 +56,11 @@ cd ~/lux/stdlib/ \
cd ~/lux/stdlib/ \
&& lux clean \
-&& lux with jvm with documentation auto test
+&& lux with jvm with scriptum auto test
cd ~/lux/stdlib/ \
&& lux clean \
-&& lux with jvm with documentation build \
+&& lux with jvm with scriptum build \
&& java -jar target/program.jar > ~/documentation.md
```
diff --git a/stdlib/project.clj b/stdlib/project.clj
index 3b0ac6982..b7c037b45 100644
--- a/stdlib/project.clj
+++ b/stdlib/project.clj
@@ -25,7 +25,5 @@
:lux {:test "test/lux"}}
:aedifex {:description "A build system/tool made exclusively for Lux."
:lux {:program "program/aedifex"
- :test "test/aedifex"}}
- :scriptum {:description "A documentation generator for Lux code."
- :lux {:program "program/scriptum"}}}
+ :test "test/aedifex"}}}
)
diff --git a/stdlib/project.lux b/stdlib/project.lux
index 83b09c7f6..fb2023643 100644
--- a/stdlib/project.lux
+++ b/stdlib/project.lux
@@ -76,11 +76,12 @@
]
"bibliotheca"
- ["info" ["description" "Standard library for the Lux programming language."]
+ ["info" ["description" "Standard Library for the Lux programming language."]
"test" "test/lux"]
- "documentation"
- ["program" "documentation/lux"
+ "scriptum"
+ ["info" ["description" "Documentation for the Standard Library for the Lux programming language."]
+ "program" "documentation/lux"
"test" "documentation/lux"]
"aedifex"
diff --git a/stdlib/source/documentation/lux/meta/annotation.lux b/stdlib/source/documentation/lux/meta/annotation.lux
index 71ef33cc0..0505f0b52 100644
--- a/stdlib/source/documentation/lux/meta/annotation.lux
+++ b/stdlib/source/documentation/lux/meta/annotation.lux
@@ -27,6 +27,5 @@
($.default /.tuple)
($.default /.record)
($.default /.Annotation)
- ($.default /.flagged?)
- ($.default /.implementation?)]
+ ($.default /.flagged?)]
[]))
diff --git a/stdlib/source/library/lux/type/poly.lux b/stdlib/source/library/lux/type/poly.lux
index 5bc9254c8..4f7a32f1c 100644
--- a/stdlib/source/library/lux/type/poly.lux
+++ b/stdlib/source/library/lux/type/poly.lux
@@ -34,42 +34,20 @@
(syntax: .public (poly: [[export_policy name body] ..polyP])
(with_identifiers [g!_ g!type g!output]
(let [g!name (code.identifier ["" name])]
- (in (.list (` ((~! syntax:) (~ export_policy) ((~ g!name) [(~ g!type) (~! <code>.identifier)])
+ (in (.list (` ((~! syntax:) (~ export_policy) ((~ g!name) [(~ g!type) (~! <code>.any)])
((~! do) (~! meta.monad)
- [(~ g!type) ((~! meta.type_definition) (~ g!type))]
+ [(~ g!type) ((~! meta.eval) .Type (~ g!type))]
(case (: (.Either .Text .Code)
((~! <type>.result) ((~! <>.rec)
(function ((~ g!_) (~ g!name))
(~ body)))
- (~ g!type)))
+ (.:as .Type (~ g!type))))
(#.Left (~ g!output))
((~! meta.failure) (~ g!output))
(#.Right (~ g!output))
((~' in) (.list (~ g!output))))))))))))
-(def: derivedP
- (Parser [Code Text [Name (List Name)] (Maybe Code)])
- (let [private ($_ <>.and
- <code>.local_identifier
- (<code>.form (<>.and <code>.identifier (<>.many <code>.identifier)))
- (<>.maybe <code>.any))]
- (<>.either (<>.and <code>.any private)
- (<>.and (<>\in (` .private)) private))))
-
-(syntax: .public (derived: [[export_policy name [poly_func poly_args] ?custom_impl] ..derivedP])
- (do [! meta.monad]
- [poly_args (monad.each ! meta.normal poly_args)
- .let [impl (case ?custom_impl
- (#.Some custom_impl)
- custom_impl
-
- #.None
- (` ((~ (code.identifier poly_func)) (~+ (list\each code.identifier poly_args)))))]]
- (in (.list (` (def: (~ export_policy) (~ (code.identifier ["" name]))
- {#.implementation? #1}
- (~ impl)))))))
-
(def: .public (code env type)
(-> Env Type Code)
(`` (case type
diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux
deleted file mode 100644
index 40d1176dd..000000000
--- a/stdlib/source/program/scriptum.lux
+++ /dev/null
@@ -1,522 +0,0 @@
-(.module:
- [library
- [lux "*"
- [program {"+" [program:]}]
- ["[0]" type ("[1]\[0]" equivalence)]
- ["[0]" debug]
- [abstract
- ["[0]" monad {"+" [do]}]
- ["[0]" enum]]
- [control
- [pipe {"+" [when> new>]}]
- ["[0]" maybe]
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]
- ["[0]" io {"+" [IO io]}]
- ["[0]" function]]
- [data
- ["[0]" product]
- [format
- ["md" markdown {"+" [Markdown Span Block]}]]
- ["[0]" text ("[1]\[0]" equivalence)
- ["%" format {"+" [format]}]
- [encoding
- ["[0]" utf8]]]
- [collection
- ["[0]" sequence {"+" [Sequence]} ("[1]\[0]" functor)]
- ["[0]" list ("[1]\[0]" functor mix)]]]
- [math
- [number
- ["n" nat]]]
- ["[0]" meta
- ["[0]" annotation]]
- [world
- ["[0]" file]]]]
- ... This was added to make sure that all tested modules are picked up
- ... and their documentation is generated.
- [test/lux {"+" []}])
-
-... (def: parameter_name_options "abcdefghijklmnopqrstuvwxyz")
-... (def: parameter_name_options_count (text.size parameter_name_options))
-
-... (def: (parameter_type_name id)
-... (-> Nat Text)
-... (case (text.char id ..parameter_name_options)
-... (#.Some char)
-... (text.of_char char)
-
-... #.None
-... (format (parameter_type_name (n./ parameter_name_options_count id))
-... (parameter_type_name (n.% parameter_name_options_count id)))))
-
-... (def: type_variable_names
-... (Sequence Text)
-... (|> 0 (sequence.iterations ++) (sequence\each parameter_type_name)))
-
-... (template [<name> <partition>]
-... [(def: (<name> id)
-... (-> Nat Bit)
-... (<partition> id))]
-
-... [type_function? n.even?]
-... [type_parameter? n.odd?]
-... )
-
-... (def: (parameter_id level id)
-... (-> Nat Nat Nat)
-... (n.- (n./ 2 id) level))
-
-... (def: (parameter_name [type_function_name type_function_arguments] level id)
-... (-> [Text (List Text)] Nat Nat Text)
-... (if (type_parameter? id)
-... (let [parameter_id (..parameter_id level id)]
-... (case (list.item parameter_id type_function_arguments)
-... (#.Some found)
-... found
-
-... _
-... (|> type_variable_names
-... (sequence.only (function (_ var_name)
-... (not (list.member? text.equivalence type_function_arguments var_name))))
-... (sequence.item parameter_id))))
-... type_function_name))
-
-... (def: (level_parameters offset level)
-... (-> Nat Nat (List Text))
-... (if (n.= 0 level)
-... (list)
-... (|> level
-... --
-... (enum.range n.enum 0)
-... (list\each (|>> (n.+ (++ offset)) parameter_type_name)))))
-
-... (def: (prefix_lines prefix lines)
-... (-> Text Text Text)
-... (|> lines
-... (text.all_split_by text.new_line)
-... (list\each (|>> (format prefix)))
-... (text.interposed text.new_line)))
-
-... (def: (pprint_type_definition level type_function_info tags module interface? recursive_type? type)
-... (-> Nat [Text (List Text)] (List Name) Text Bit Bit Type Text)
-... (case tags
-... (^ (list [_ single_tag]))
-... (if interface?
-... (format "(: " (pprint_type_definition level type_function_info #.None module interface? recursive_type? type) text.new_line " " single_tag ")")
-... (format "(Record [#" single_tag " " (pprint_type_definition level type_function_info #.None module interface? recursive_type? type) "])"))
-
-... _
-... (case [recursive_type? type]
-... [_ (#.Primitive name params)]
-... (case params
-... #.End
-... (format "(primitive " (%.text name) ")")
-
-... _
-... (format "(primitive " (%.text name) " " (|> params (list\each (pprint_type_definition level type_function_info #.None module interface? recursive_type?)) (text.interposed " ")) ")"))
-
-... [_ (#.Sum _)]
-... (let [members (type.flat_variant type)]
-... (case tags
-... #.End
-... (format "(Or "
-... (|> members
-... (list\each (pprint_type_definition level type_function_info #.None module interface? recursive_type?))
-... (text.interposed " "))
-... ")")
-
-... _
-... (|> members
-... (list.zipped/2 tags)
-... (list\each (function (_ [[_ t_name] type])
-... (case type
-... (#.Product _)
-... (let [types (type.flat_tuple type)]
-... (format "(#" t_name " "
-... (|> types
-... (list\each (pprint_type_definition level type_function_info #.None module interface? recursive_type?))
-... (text.interposed " "))
-... ")"))
-
-... _
-... (format "(#" t_name " " (pprint_type_definition level type_function_info #.None module interface? recursive_type? type) ")"))))
-... (text.interposed text.new_line))))
-
-... [_ (#.Product _)]
-... (let [members (type.flat_tuple type)]
-... (case tags
-... #.End
-... (format "[" (|> members (list\each (pprint_type_definition level type_function_info #.None module interface? recursive_type?)) (text.interposed " ")) "]")
-
-... _
-... (let [member_docs (|> members
-... (list.zipped/2 tags)
-... (list\each (function (_ [[_ t_name] type])
-... (if interface?
-... (format "(: " (pprint_type_definition level type_function_info #.None module interface? recursive_type? type) text.new_line " " t_name ")")
-... (format "#" t_name " " (pprint_type_definition level type_function_info #.None module interface? recursive_type? type)))))
-... (text.interposed (format text.new_line " ")))]
-... (if interface?
-... member_docs
-... (format "(Record [" member_docs "])")))))
-
-... [_ (#.Function input output)]
-... (let [[ins out] (type.flat_function type)]
-... (format "(-> " (|> ins (list\each (pprint_type_definition level type_function_info #.None module interface? recursive_type?)) (text.interposed " "))
-... " "
-... (pprint_type_definition level type_function_info #.None module interface? recursive_type? out)
-... ")"))
-
-... [_ (#.Parameter idx)]
-... (parameter_name type_function_info level idx)
-
-... (^template [<tag> <pre> <post>]
-... [[_ (<tag> id)]
-... (format <pre> (%.nat id) <post>)])
-... ([#.Var "⌈v:" "⌋"]
-... [#.Ex "⟨e:" "⟩"])
-
-... (^template [<tag> <name> <flat>]
-... [[_ (<tag> _)]
-... (let [[level' body] (<flat> type)
-... args (level_parameters level level')
-... body_doc (pprint_type_definition (n.+ level level') type_function_info tags module interface? recursive_type? body)]
-... (format "(" <name> " " "[" (text.interposed " " args) "]"
-... (case tags
-... #.End
-... (format " " body_doc)
-
-... _
-... (format text.new_line (prefix_lines " " body_doc)))
-... ")"))])
-... ([#.UnivQ "All" type.flat_univ_q]
-... [#.ExQ "Ex" type.flat_ex_q])
-
-... [true (#.Apply (#.Parameter 1) (#.Parameter 0))]
-... (product.left type_function_info)
-
-... [_ (#.Apply param fun)]
-... (let [[type_func type_arguments] (type.flat_application type)]
-... (format "(" (pprint_type_definition level type_function_info tags module interface? recursive_type? type_func) " " (|> type_arguments (list\each (pprint_type_definition level type_function_info #.None module interface? recursive_type?)) (text.interposed " ")) ")"))
-
-... [_ (#.Named [_module _name] type)]
-... (if (text\= module _module)
-... _name
-... (%.name [_module _name]))
-... )))
-
-... (def: (pprint_type level type_function_name module type)
-... (-> Nat Text Text Type Text)
-... (case type
-... (#.Primitive name params)
-... (case params
-... #.End
-... (format "(primitive " (%.text name) ")")
-
-... _
-... (format "(primitive " (%.text name) " " (|> params (list\each (pprint_type level type_function_name module)) (text.interposed " ")) ")"))
-
-... (#.Sum _)
-... (let [members (type.flat_variant type)]
-... (format "(Or " (|> members (list\each (pprint_type level type_function_name module)) (text.interposed " ")) ")"))
-
-... (#.Product _)
-... (let [members (type.flat_tuple type)]
-... (format "[" (|> members (list\each (pprint_type level type_function_name module)) (text.interposed " ")) "]"))
-
-... (#.Function input output)
-... (let [[ins out] (type.flat_function type)]
-... (format "(-> "
-... (|> ins (list\each (pprint_type level type_function_name module)) (text.interposed " "))
-... " "
-... (pprint_type level type_function_name module out)
-... ")"))
-
-... (#.Parameter idx)
-... (parameter_name [type_function_name (list)] level idx)
-
-... (^template [<tag> <pre> <post>]
-... [(<tag> id)
-... (format <pre> (%.nat id) <post>)])
-... ([#.Var "⌈" "⌋"]
-... [#.Ex "⟨" "⟩"])
-
-... (^template [<tag> <name> <flat>]
-... [(<tag> _)
-... (let [[level' body] (<flat> type)
-... args (level_parameters level level')
-... body_doc (pprint_type (n.+ level level') type_function_name module body)]
-... (format "(" <name> " " "[" (|> args (text.interposed " ")) "]"
-... (format " " body_doc)
-... ")"))])
-... ([#.UnivQ "All" type.flat_univ_q]
-... [#.ExQ "Ex" type.flat_ex_q])
-
-... (#.Apply param fun)
-... (let [[type_func type_arguments] (type.flat_application type)]
-... (format "(" (pprint_type level type_function_name module type_func) " " (|> type_arguments (list\each (pprint_type level type_function_name module)) (text.interposed " ")) ")"))
-
-... (#.Named [_module _name] type)
-... (if (text\= module _module)
-... _name
-... (%.name [_module _name]))
-... ))
-
-... (type: (Mutation a)
-... (-> a a))
-
-... (type: Value
-... [Text Code Type])
-
-... (type: Organization
-... (Record
-... [#types (List Value)
-... #macros (List [Text Code])
-... #implementations (List Value)
-... #values (List Value)]))
-
-... (def: (lux_module? module_name)
-... (-> Text Bit)
-... (let [prefix (format .prelude_module "/")]
-... (or (text\= .prelude_module module_name)
-... (text.starts_with? prefix module_name))))
-
-... (def: (add_definition [name [exported? def_type def_annotations def_value]] organization)
-... (-> [Text Definition] Organization Organization)
-... (cond (type\= .Type def_type)
-... (revised@ #types
-... (: (Mutation (List Value))
-... (|>> (#.Item [name def_annotations (:as Type def_value)])))
-... organization)
-
-... (type\= .Macro def_type)
-... (revised@ #macros
-... (: (Mutation (List [Text Code]))
-... (|>> (#.Item [name def_annotations])))
-... organization)
-
-... (annotation.implementation? def_annotations)
-... (revised@ #implementations
-... (: (Mutation (List Value))
-... (|>> (#.Item [name def_annotations def_type])))
-... organization)
-
-... ... else
-... (revised@ #values
-... (: (Mutation (List Value))
-... (|>> (#.Item [name def_annotations def_type])))
-... organization)))
-
-... (def: name_sort
-... (All (_ r) (-> [Text r] [Text r] Bit))
-... (let [text\< (\ text.order <)]
-... (function (_ [n1 _] [n2 _])
-... (text\< n1 n2))))
-
-... (def: (organize_definitions defs)
-... (-> (List [Text Definition]) Organization)
-... (let [init [#types (list)
-... #macros (list)
-... #implementations (list)
-... #values (list)]]
-... (|> (list\mix add_definition init defs)
-... (revised@ #types (list.sorted name_sort))
-... (revised@ #macros (list.sorted name_sort))
-... (revised@ #implementations (list.sorted name_sort))
-... (revised@ #values (list.sorted name_sort)))))
-
-(def: (unravel_type_func level type)
- (-> Nat Type Type)
- (if (n.> 0 level)
- (case type
- (#.UnivQ _env _type)
- (unravel_type_func (-- level) _type)
-
- _
- type)
- type))
-
-(def: (unrecurse_type type)
- (-> Type Type)
- (case type
- (#.Apply _ (#.UnivQ _env _type))
- _type
-
- _
- type))
-
-(exception: .public (anonymous_type_definition {type Type})
- (exception.report
- ["Type" (%.type type)]))
-
-(def: (document_type module type def_annotations)
- (-> Text Type Code (Meta (Markdown Block)))
- (case type
- (#.Named type_name type)
- (do meta.monad
- [tags (meta.tags_of type_name)
- .let [[_ _name] type_name
- recursive_type? (annotation.recursive_type? def_annotations)
- type_arguments (annotation.type_arguments def_annotations)
- interface? (annotation.interface? def_annotations)
- usage (case type_arguments
- #.End
- _name
-
- _
- (format "(" (text.interposed " " (list& _name type_arguments)) ")"))
- nesting (list.size type_arguments)]]
- (in (md.code (format (if interface? "(interface: " "(type: ")
- (if recursive_type? "#rec " "")
- usage text.new_line
- (|> type
- (unravel_type_func nesting)
- (when> [(new> recursive_type? [])] [unrecurse_type])
- (pprint_type_definition (-- nesting) [_name type_arguments] (maybe.else (list) tags) module interface? recursive_type?)
- (text.all_split_by text.new_line)
- (list\each (|>> (format " ")))
- (text.interposed text.new_line))
- ")"))))
-
- _
- (meta.failure (exception.error anonymous_type_definition type))))
-
-(def: (document_types module types)
- (-> Text (List Value) (Meta (Markdown Block)))
- (do [! meta.monad]
- [type_docs (monad.each !
- (: (-> Value (Meta (Markdown Block)))
- (function (_ [name def_annotations type])
- (do meta.monad
- [.let [?doc (annotation.documentation def_annotations)]
- type_code (document_type module type def_annotations)]
- (in ($_ md.then
- (md.heading/3 name)
- (case ?doc
- (#.Some doc)
- (md.paragraph (md.text doc))
-
- _
- md.empty)
- type_code)))))
- types)]
- (in (list\mix (function.flipped md.then)
- (md.heading/2 "Types")
- type_docs))))
-
-... (def: (document_macros module_name names)
-... (-> Text (List [Text Code]) (Markdown Block))
-... (|> names
-... (list\each (: (-> [Text Code] (Markdown Block))
-... (function (_ [name def_annotations])
-... ($_ md.then
-... (md.heading/3 name)
-... (<| (: (Markdown Block))
-... (maybe.else md.empty)
-... (do maybe.monad
-... [documentation (annotation.documentation def_annotations)]
-... (in (md.code documentation))))))))
-... (list\mix (function.flipped md.then)
-... (md.heading/2 "Macros"))))
-
-... (template [<singular> <plural> <header>]
-... [(def: (<singular> module type)
-... (-> Text Type (Markdown Block))
-... (md.code (pprint_type (-- 0) "?" module type)))
-
-... (def: (<plural> module values)
-... (-> Text (List Value) (Markdown Block))
-... (|> values
-... (list\each (function (_ [name def_annotations value_type])
-... (let [?doc (annotation.documentation def_annotations)
-... usage (case (annotation.function_arguments def_annotations)
-... #.End
-... name
-
-... args
-... (format "(" (text.interposed " " (list& name args)) ")"))]
-... ($_ md.then
-... (md.heading/3 usage)
-... (case ?doc
-... (#.Some doc)
-... (md.code doc)
-
-... _
-... md.empty)
-... (<singular> module value_type)))))
-... (list\mix (function.flipped md.then)
-... (md.heading/2 <header>))))]
-
-... [document_implementation document_implementations "Implementations"]
-... [document_value document_values "Values"]
-... )
-
-... (def: (enclose_lines pre+post block)
-... (-> [Text Text] Text Text)
-... (|> block
-... (text.all_split_by text.new_line)
-... (list\each (text.enclosed pre+post))
-... (text.interposed text.new_line)))
-
-... (def: (document_module [[module_name module] organization])
-... (-> [[Text Module] Organization] (Meta [Text (Markdown Block)]))
-... (do meta.monad
-... [.let [(^slots [#types #macros #implementations #values]) organization
-... annotations (|> module
-... (value@ #.module_annotations)
-... (maybe.else (' {}))
-... annotation.documentation)
-... description (case annotations
-... (#.Some doc_text)
-... (md.quote (md.paragraph (md.text doc_text)))
-
-... #.None
-... md.empty)
-... empty_block (: (Markdown Block) md.empty)]
-... types_documentation (if (list.empty? types)
-... (in empty_block)
-... (document_types module_name types))
-... .let [documentation ($_ md.then
-... types_documentation
-... (if (list.empty? macros) empty_block (document_macros module_name macros))
-... (if (list.empty? implementations) empty_block (document_implementations module_name implementations))
-... (if (list.empty? values) empty_block (document_values module_name values)))]]
-... (in [module_name
-... ($_ md.then
-... (md.heading/1 module_name)
-... description
-... documentation)])))
-
-... (exception: .public (io_error {error Text})
-... error)
-
-... (def: (save_documentation! [module_name documentation])
-... (-> [Text (Markdown Block)] (IO Any))
-... (let [path (format (text.replaced "/" "_" module_name) ".md")]
-... (do io.monad
-... [outcome (\ file.default write (\ utf8.codec encoded (md.markdown documentation)) path)]
-... (in (case outcome
-... (#try.Failure error)
-... (debug.log! (exception.error io_error error))
-
-... (#try.Success _)
-... [])))))
-
-... (macro: (gen_documentation! _)
-... (do [! meta.monad]
-... [all_modules meta.modules
-... .let [lux_modules (|> all_modules
-... (list.only (function.composite lux_module? product.left))
-... (list.sorted name_sort))]
-... lux_exports (monad.each ! (function.composite meta.exports product.left)
-... lux_modules)
-... module_documentation (|> (list\each organize_definitions lux_exports)
-... (list.zipped/2 lux_modules)
-... (monad.each ! document_module))
-... .let [_ (io.run! (monad.each io.monad save_documentation! module_documentation))]]
-... (in (list))))
-
-... (gen_documentation!)
-
-... (program: args
-... (io (debug.log! "Done!")))
diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux
index eb4efeb9c..996a86320 100644
--- a/stdlib/source/test/lux/type/poly.lux
+++ b/stdlib/source/test/lux/type/poly.lux
@@ -12,7 +12,7 @@
(def: .public test
Test
(<| (_.covering /._)
- (_.for [/.poly: /.derived: /.code])
+ (_.for [/.poly: /.code])
($_ _.and
/equivalence.test
/functor.test
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index ae73c44a7..5bfb8e39d 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -2,6 +2,7 @@
[library
[lux {"-" [Variant Record]}
["_" test {"+" [Test]}]
+ ["@" target]
[abstract
[monad {"+" [do]}]
[equivalence {"+" [Equivalence]}
@@ -20,9 +21,7 @@
["[0]" random {"+" [Random]}]
[number
["n" nat]
- ["i" int]]]
- [type
- [poly {"+" [derived:]}]]]])
+ ["i" int]]]]])
(type: Variant
(.Variant
@@ -77,11 +76,14 @@
(random.unicode size))
gen_recursive)))
-(derived: equivalence
- (/.equivalence ..Record))
+(for {@.old (as_is)}
+ (as_is (def: equivalence
+ (Equivalence ..Record)
+ (/.equivalence ..Record))))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.equivalence]
- ($equivalence.spec ..equivalence ..random))))
+ (for {@.old (_.test "PLACEHOLDER" true)}
+ ($equivalence.spec ..equivalence ..random)))))
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
index e2cd1ad21..d9892b02c 100644
--- a/stdlib/source/test/lux/type/poly/functor.lux
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -1,9 +1,10 @@
(.module:
[library
[lux "*"
+ ["@" target]
[abstract
[monad {"+" [do]}]
- [functor
+ [functor {"+" [Functor]}
[\\poly
["[0]" /]]]]
["r" math/random {"+" [Random]}]
@@ -11,14 +12,24 @@
[control
["[0]" state]]
[data
- ["[0]" identity]]
- [type
- [poly {"+" [derived:]}]]]])
+ ["[0]" identity]]]])
-(derived: maybe_functor (/.functor .Maybe))
-(derived: list_functor (/.functor .List))
-(derived: state_functor (/.functor state.State))
-(derived: identity_functor (/.functor identity.Identity))
+(for {@.old (as_is)}
+ (as_is (def: maybe_functor
+ (Functor .Maybe)
+ (/.functor .Maybe))
+
+ (def: list_functor
+ (Functor .List)
+ (/.functor .List))
+
+ (def: state_functor
+ (All (_ s) (Functor (state.State s)))
+ (/.functor state.State))
+
+ (def: identity_functor
+ (Functor identity.Identity)
+ (/.functor identity.Identity))))
(def: .public test
Test
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index 6abaa47f1..259a25b95 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -2,6 +2,7 @@
[library
[lux {"-" [Variant Record]}
["_" test {"+" [Test]}]
+ ["@" target]
["[0]" debug]
[abstract
codec
@@ -21,7 +22,7 @@
["[0]" bit]
["[0]" text]
[format
- [json {"+" []}
+ [json {"+" [JSON]}
[\\poly
["[0]" /]]]]
[collection
@@ -29,7 +30,6 @@
["d" dictionary]
["[0]" list]]]
[type
- [poly {"+" [derived:]}]
["[0]" unit]]
[math
["[0]" random {"+" [Random]}]
@@ -108,14 +108,18 @@
..qty
)))
-(derived: equivalence
- (poly/equivalence.equivalence Record))
+(for {@.old (as_is)}
+ (as_is (def: equivalence
+ (Equivalence Record)
+ (poly/equivalence.equivalence Record))
-(derived: codec
- (/.codec Record))
+ (def: codec
+ (Codec JSON Record)
+ (/.codec Record))))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.codec]
- ($codec.spec ..equivalence ..codec ..gen_record))))
+ (for {@.old (_.test "PLACEHOLDER" true)}
+ ($codec.spec ..equivalence ..codec ..gen_record)))))
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 17:25:45 +0000