From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 1 Jun 2022 21:52:34 -0400 Subject: Extensible import syntax: Part 1 --- stdlib/source/program/aedifex/profile.lux | 28 ++++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) (limited to 'stdlib/source/program/aedifex/profile.lux') diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 0c772a641..e093e0bfc 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -2,42 +2,42 @@ [library [lux {"-" Info Source Module} [abstract - [monoid {"+" Monoid}] - [equivalence {"+" Equivalence}]] + [monoid (.only Monoid)] + [equivalence (.only Equivalence)]] [control ["[0]" maybe ("[1]#[0]" monoid)] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" list ("[1]#[0]" monoid)] - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary} - ["[0]" plist {"+" PList} ("[1]#[0]" monoid)]]]] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary) + ["[0]" plist (.only PList) ("[1]#[0]" monoid)]]]] [macro ["^" pattern] ["[0]" template]] [meta ["[0]" symbol]] [world - [net {"+" URL}] - [file {"+" Path}]] + [net (.only URL)] + [file (.only Path)]] [tool [compiler [meta ["[0]" cli - ["[0]" compiler {"+" Compiler}]] + ["[0]" compiler (.only Compiler)]] [archive [module - [descriptor {"+" Module}]]]]]]]] + [descriptor (.only Module)]]]]]]]] [// - ["[0]" runtime {"+" Runtime} ("[1]#[0]" equivalence)] - ["[0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)] - ["[0]" artifact {"+" Artifact} + ["[0]" runtime (.only Runtime) ("[1]#[0]" equivalence)] + ["[0]" dependency (.only Dependency) ("[1]#[0]" equivalence)] + ["[0]" artifact (.only Artifact) ["[0]" type]] [repository - [remote {"+" Address}]]]) + [remote (.only Address)]]]) (def: .public default_lux Dependency -- cgit v1.2.3