diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/time.lux | 47 | ||||
| -rw-r--r-- | stdlib/source/test/lux/time/date.lux | 47 | ||||
| -rw-r--r-- | stdlib/source/test/lux/time/day.lux | 31 | ||||
| -rw-r--r-- | stdlib/source/test/lux/time/duration.lux | 37 | ||||
| -rw-r--r-- | stdlib/source/test/lux/time/instant.lux | 45 | ||||
| -rw-r--r-- | stdlib/source/test/lux/time/month.lux | 47 | ||||
| -rw-r--r-- | stdlib/source/test/lux/time/year.lux | 43 |
7 files changed, 152 insertions, 145 deletions
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index 6b321d1ce..17b17c61a 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - [pipe (#+ case>)] - ["." try ("#\." functor)] - ["." exception] - [parser - ["<.>" text]]] - [data - ["." text - ["%" format (#+ format)]]] - [math - ["." random] - [number - ["n" nat]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + [pipe (#+ case>)] + ["." try ("#\." functor)] + ["." exception] + [parser + ["<.>" text]]] + [data + ["." text + ["%" format (#+ format)]]] + [math + ["." random] + [number + ["n" nat]]]]] ["." / #_ ["#." date] ["#." day] @@ -28,7 +29,7 @@ ["#." instant] ["#." month] ["#." year]] - [\\ + [\\library ["." / ["." duration]]]) diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index fdf78d535..cb9d46978 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." try ("#\." functor)] - ["." exception] - [parser - ["<.>" text]]] - [data - [text - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." try ("#\." functor)] + ["." exception] + [parser + ["<.>" text]]] + [data + [text + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 3245c69b6..d2499309b 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." try] - ["." exception]] - [math - ["." random (#+ Random) ("#\." monad)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." try] + ["." exception]] + [math + ["." random (#+ Random) ("#\." monad)]]]] + [\\library ["." /]]) (def: #export random diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index 7ca984beb..a3014cc1a 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 80a43472b..6fef2f55e 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." function] - ["." try] - ["." io]] - [data - [collection - ["." list ("#\." fold)]]] - [math - ["." random]] - [time - ["." duration (#+ Duration)] - ["." day (#+ Day) ("#\." enum)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." function] + ["." try] + ["." io]] + [data + [collection + ["." list ("#\." fold)]]] + [math + ["." random]] + [time + ["." duration (#+ Duration)] + ["." day (#+ Day) ("#\." enum)]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index dac255f2c..202048cac 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - ["." predicate] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." try ("#\." functor)] - ["." exception]] - [data - [collection - ["." set] - ["." list ("#\." functor fold)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + ["." predicate] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." try ("#\." functor)] + ["." exception]] + [data + [collection + ["." set] + ["." list ("#\." functor fold)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / [// ["." duration]]]]) diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index 97c416c11..ba364eaab 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." codec]]] - [control - ["." try] - ["." exception]] - [data - ["." bit ("#\." equivalence)] - [text - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." codec]]] + [control + ["." try] + ["." exception]] + [data + ["." bit ("#\." equivalence)] + [text + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." / ["/#" // ["#." duration] |