aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/file/watch.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/world/file/watch.lux')
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux84
1 files changed, 41 insertions, 43 deletions
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index ca06e9f74..73ef783b9 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -33,54 +33,52 @@
["[0]" //])
(abstract: .public Concern
- {}
-
(Record
[#creation Bit
#modification Bit
#deletion Bit])
- (def: none
- Concern
- (:abstraction
- [#creation false
- #modification false
- #deletion false]))
-
- (template [<concern> <predicate> <event> <create> <modify> <delete>]
- [(def: .public <concern>
- Concern
- (:abstraction
- [#creation <create>
- #modification <modify>
- #deletion <delete>]))
-
- (def: .public <predicate>
- (Predicate Concern)
- (|>> :representation (value@ <event>)))]
-
- [creation creation? #creation
- true false false]
- [modification modification? #modification
- false true false]
- [deletion deletion? #deletion
- false false true]
- )
-
- (def: .public (also left right)
- (-> Concern Concern Concern)
- (:abstraction
- [#creation (or (..creation? left) (..creation? right))
- #modification (or (..modification? left) (..modification? right))
- #deletion (or (..deletion? left) (..deletion? right))]))
-
- (def: .public all
- Concern
- ($_ ..also
- ..creation
- ..modification
- ..deletion
- ))
+ [(def: none
+ Concern
+ (:abstraction
+ [#creation false
+ #modification false
+ #deletion false]))
+
+ (template [<concern> <predicate> <event> <create> <modify> <delete>]
+ [(def: .public <concern>
+ Concern
+ (:abstraction
+ [#creation <create>
+ #modification <modify>
+ #deletion <delete>]))
+
+ (def: .public <predicate>
+ (Predicate Concern)
+ (|>> :representation (value@ <event>)))]
+
+ [creation creation? #creation
+ true false false]
+ [modification modification? #modification
+ false true false]
+ [deletion deletion? #deletion
+ false false true]
+ )
+
+ (def: .public (also left right)
+ (-> Concern Concern Concern)
+ (:abstraction
+ [#creation (or (..creation? left) (..creation? right))
+ #modification (or (..modification? left) (..modification? right))
+ #deletion (or (..deletion? left) (..deletion? right))]))
+
+ (def: .public all
+ Concern
+ ($_ ..also
+ ..creation
+ ..modification
+ ..deletion
+ ))]
)
(type: .public (Watcher !)