diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/comonad.lux | 23 | ||||
-rw-r--r-- | stdlib/source/test/lux/abstract/comonad/cofree.lux | 35 |
2 files changed, 30 insertions, 28 deletions
diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index 088b4fe55..9b4d935d8 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - [abstract - [monad (#+ do)]] - [data - ["." identity (#+ Identity)]] - [math - ["." random] - [number - ["n" nat]]] - ["_" test (#+ Test)]] - [\\ + [library + [lux #* + [abstract + [monad (#+ do)]] + [data + ["." identity (#+ Identity)]] + [math + ["." random] + [number + ["n" nat]]] + ["_" test (#+ Test)]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 9e6c8a1b1..82647f79d 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [functor (#+ Functor)] - [comonad (#+ CoMonad)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." comonad]]] - [control - ["//" continuation]] - [data - [collection - ["." list] - ["." sequence (#+ Sequence) ("#\." comonad)]]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [functor (#+ Functor)] + [comonad (#+ CoMonad)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." comonad]]] + [control + ["//" continuation]] + [data + [collection + ["." list] + ["." sequence (#+ Sequence) ("#\." comonad)]]] + [math + ["." random]]]] + [\\library ["." /]]) (def: (injection value) |