(;module:
  lux
  (lux (control monad)
       [io]
       (concurrency [promise])
       [cli #+ program:]
       [test])
  (test lux
        (lux ["_;" cli]
             ["_;" host]
             ["_;" io]
             ["_;" pipe]
             ["_;" lexer]
             (lexer ["_;" regex])
             (function ["_;" cont]
                       ["_;" reader]
                       ["_;" state]
                       ["_;" thunk])
             (concurrency ["_;" actor]
                          ["_;" atom]
                          ["_;" frp]
                          ["_;" promise]
                          ["_;" stm])
             (control ["_;" effect]
                      ["_;" interval])
             (data [bit]
                   [bool]
                   [char]
                   [error]
                   [ident]
                   [identity]
                   [log]
                   [maybe]
                   [number]
                   (number ["_;" ratio]
                           ["_;" complex])
                   [product]
                   [sum]
                   [text]
                   (error [exception])
                   (format [json])
                   (coll [array]
                         [dict]
                         [list]
                         [queue]
                         [set]
                         [ordered]
                         [stack]
                         [vector]
                         (tree [rose]
                               [zipper])
                         ["_;" seq]
                         ["_;" priority-queue]
                         ["_;" stream])
                   (text [format])
                   )
             ["_;" math]
             (math ["_;" simple]
                   (logic ["_;" continuous]
                          ["_;" fuzzy])
                   ## ["_;" random]
                   )
             ## ["_;" macro]
             (macro ["_;" ast]
                    ["_;" syntax]
                    (poly ["poly_;" eq]
                          ["poly_;" text-encoder]
                          ["poly_;" functor]))
             ["_;" type]
             (type ["_;" check]
                   ["_;" auto])
             )))

## [Program]
(program: args
  (test;run))