diff options
author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/program/aedifex/project.lux | |
parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/project.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 868fb7691..0d1fb6559 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -18,27 +18,27 @@ ["[0]" // ["[1]" profile (.only Name Profile)]]) -(def: .public file +(def .public file "project.lux") (type: .public Project (Dictionary Name Profile)) -(def: .public (project name profile) +(def .public (project name profile) (-> Name Profile Project) (dictionary.of_list text.hash (list [name profile]))) -(def: .public equivalence +(def .public equivalence (Equivalence Project) (dictionary.equivalence //.equivalence)) -(def: .public monoid +(def .public monoid (Monoid Project) (implementation - (def: identity + (def identity (dictionary.empty text.hash)) - (def: composite + (def composite (dictionary.composite_with (at //.monoid composite))))) (exception: .public (unknown_profile [name Name]) @@ -51,7 +51,7 @@ "Dependent" (%.text dependent) "Dependee" (%.text dependee))) -(def: (profile' lineage project name) +(def (profile' lineage project name) (-> (Set Name) Project Name (Try Profile)) (case (dictionary.value name project) {.#Some profile} @@ -72,6 +72,6 @@ {.#None} (exception.except ..unknown_profile [name]))) -(def: .public profile +(def .public profile (-> Project Name (Try Profile)) (..profile' (set.empty text.hash))) |