diff options
Diffstat (limited to 'stdlib/source/library/lux/world/file/watch.lux')
| -rw-r--r-- | stdlib/source/library/lux/world/file/watch.lux | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux index 6950e0df9..ca06e9f74 100644 --- a/stdlib/source/library/lux/world/file/watch.lux +++ b/stdlib/source/library/lux/world/file/watch.lux @@ -2,35 +2,35 @@ [library [lux "*" ["@" target] - ["." ffi {"+" [import:]}] + ["[0]" ffi {"+" [import:]}] [abstract [predicate {"+" [Predicate]}] - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." maybe] - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}] + ["[0]" io {"+" [IO]}] + ["[0]" maybe] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}] [concurrency - ["." async {"+" [Async]}] - ["." stm {"+" [STM Var]}]]] + ["[0]" async {"+" [Async]}] + ["[0]" stm {"+" [STM Var]}]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." functor monoid mix)] - ["." set] - ["." array]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" functor monoid mix)] + ["[0]" set] + ["[0]" array]]] [math [number ["n" nat]]] [time - ["." instant {"+" [Instant]} ("#\." equivalence)]] + ["[0]" instant {"+" [Instant]} ("[1]\[0]" equivalence)]] [type [abstract {"+" [abstract: :representation :abstraction]}]]]] - ["." //]) + ["[0]" //]) (abstract: .public Concern {} @@ -269,7 +269,7 @@ (import: java/lang/String) (import: (java/util/List a) - ["#::." + ["[1]::[0]" (size [] int) (get [int] a)]) @@ -287,18 +287,18 @@ (import: (java/nio/file/WatchEvent$Kind a)) (import: (java/nio/file/WatchEvent a) - ["#::." + ["[1]::[0]" (kind [] (java/nio/file/WatchEvent$Kind a))]) (import: java/nio/file/Watchable) (import: java/nio/file/Path - ["#::." + ["[1]::[0]" (register [java/nio/file/WatchService [(java/nio/file/WatchEvent$Kind [? < java/lang/Object])]] "io" "try" java/nio/file/WatchKey) (toString [] java/lang/String)]) (import: java/nio/file/StandardWatchEventKinds - ["#::." + ["[1]::[0]" ("static" ENTRY_CREATE (java/nio/file/WatchEvent$Kind java/nio/file/Path)) ("static" ENTRY_MODIFY (java/nio/file/WatchEvent$Kind java/nio/file/Path)) ("static" ENTRY_DELETE (java/nio/file/WatchEvent$Kind java/nio/file/Path))]) @@ -325,7 +325,7 @@ ))) (import: java/nio/file/WatchKey - ["#::." + ["[1]::[0]" (reset [] "io" boolean) (cancel [] "io" void) (watchable [] java/nio/file/Watchable) @@ -339,19 +339,19 @@ (list\mix ..also ..none))))) (import: java/nio/file/WatchService - ["#::." + ["[1]::[0]" (poll [] "io" "try" "?" java/nio/file/WatchKey)]) (import: java/nio/file/FileSystem - ["#::." + ["[1]::[0]" (newWatchService [] "io" "try" java/nio/file/WatchService)]) (import: java/nio/file/FileSystems - ["#::." + ["[1]::[0]" ("static" getDefault [] java/nio/file/FileSystem)]) (import: java/io/File - ["#::." + ["[1]::[0]" (new [java/lang/String]) (toPath [] java/nio/file/Path)]) |