aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/licentia
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/licentia.lux2
-rw-r--r--stdlib/source/program/licentia/document.lux2
-rw-r--r--stdlib/source/program/licentia/license/black-list.lux4
-rw-r--r--stdlib/source/program/licentia/license/commercial.lux2
-rw-r--r--stdlib/source/program/licentia/license/distribution.lux2
-rw-r--r--stdlib/source/program/licentia/license/extension.lux2
-rw-r--r--stdlib/source/program/licentia/license/notice.lux2
-rw-r--r--stdlib/source/program/licentia/output.lux4
8 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/program/licentia.lux b/stdlib/source/program/licentia.lux
index 42af77bf2..479af7793 100644
--- a/stdlib/source/program/licentia.lux
+++ b/stdlib/source/program/licentia.lux
@@ -26,7 +26,7 @@
[format
["." json]]]
["." cli (#+ program:)]
- ["." io ("io/." Monad<IO>)]
+ ["." io ("#/." monad)]
[world
["." file (#+ File)]]
[host (#+ import:)]]
diff --git a/stdlib/source/program/licentia/document.lux b/stdlib/source/program/licentia/document.lux
index bb128807b..9afbb8d7b 100644
--- a/stdlib/source/program/licentia/document.lux
+++ b/stdlib/source/program/licentia/document.lux
@@ -4,7 +4,7 @@
["." text
format]
[collection
- [list ("list/." functor)]]]])
+ ["." list ("#/." functor)]]]])
(def: #export (quote text)
(-> Text Text)
diff --git a/stdlib/source/program/licentia/license/black-list.lux b/stdlib/source/program/licentia/license/black-list.lux
index 7f30acadf..1b1ec2dff 100644
--- a/stdlib/source/program/licentia/license/black-list.lux
+++ b/stdlib/source/program/licentia/license/black-list.lux
@@ -1,11 +1,11 @@
(.module:
[lux #*
[data
- ["." maybe ("maybe/." functor)]
+ ["." maybe ("#/." functor)]
["." text
format]
[collection
- ["." list ("list/." functor)]]]]
+ ["." list ("#/." functor)]]]]
["." // (#+ Entity Black-List)
["_" term]
[//
diff --git a/stdlib/source/program/licentia/license/commercial.lux b/stdlib/source/program/licentia/license/commercial.lux
index a80ccbde2..37b2e2d74 100644
--- a/stdlib/source/program/licentia/license/commercial.lux
+++ b/stdlib/source/program/licentia/license/commercial.lux
@@ -4,7 +4,7 @@
["." text
format]
[collection
- [list ("list/." monoid)]]]]
+ ["." list ("#/." monoid)]]]]
["." // (#+ Commercial)
["_" term]
[//
diff --git a/stdlib/source/program/licentia/license/distribution.lux b/stdlib/source/program/licentia/license/distribution.lux
index 346f3a3b4..a42a83ba9 100644
--- a/stdlib/source/program/licentia/license/distribution.lux
+++ b/stdlib/source/program/licentia/license/distribution.lux
@@ -4,7 +4,7 @@
["." text
format]
[collection
- [list ("list/." monoid)]]]]
+ ["." list ("#/." monoid)]]]]
["." // (#+ Distribution)
["_" term]
[//
diff --git a/stdlib/source/program/licentia/license/extension.lux b/stdlib/source/program/licentia/license/extension.lux
index 1ce3bfccc..7a12f45b9 100644
--- a/stdlib/source/program/licentia/license/extension.lux
+++ b/stdlib/source/program/licentia/license/extension.lux
@@ -4,7 +4,7 @@
["." text
format]
[collection
- [list ("list/." monoid)]]]]
+ ["." list ("#/." monoid)]]]]
["." // (#+ Extension)
["_" term]
["." grant]
diff --git a/stdlib/source/program/licentia/license/notice.lux b/stdlib/source/program/licentia/license/notice.lux
index 320dd4d7c..b16dfbc9e 100644
--- a/stdlib/source/program/licentia/license/notice.lux
+++ b/stdlib/source/program/licentia/license/notice.lux
@@ -4,7 +4,7 @@
["." text
format]
[collection
- [list ("list/." functor)]]]]
+ ["." list ("#/." functor)]]]]
[//
["//." time]
["//." copyright]
diff --git a/stdlib/source/program/licentia/output.lux b/stdlib/source/program/licentia/output.lux
index 4f9a4ab2c..475c4b908 100644
--- a/stdlib/source/program/licentia/output.lux
+++ b/stdlib/source/program/licentia/output.lux
@@ -1,11 +1,11 @@
(.module:
[lux (#- Definition)
[data
- ["." maybe ("maybe/." functor)]
+ ["." maybe ("#/." functor)]
["." text
format]
[collection
- [list ("list/." functor monoid)]]]]
+ ["." list ("#/." functor monoid)]]]]
[//
["." license (#+ Identification
Termination