diff options
| author | Eduardo Julian | 2021-07-06 21:34:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-06 21:34:21 -0400 |
| commit | 2b909032e7a0bd10cd7db52067d2fb701bfa95e5 (patch) | |
| tree | 0e2aaef228f80f3336715327f7f34065c309de22 /stdlib/source/lux/abstract | |
| parent | 5cf4efa861075f8276f43a2516f5beacaf610b44 (diff) | |
Simplified the API for file-system operations.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/predicate.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/abstract/predicate.lux b/stdlib/source/lux/abstract/predicate.lux index 03b071fa4..841865c10 100644 --- a/stdlib/source/lux/abstract/predicate.lux +++ b/stdlib/source/lux/abstract/predicate.lux @@ -10,12 +10,12 @@ (type: #export (Predicate a) (-> a Bit)) -(template [<identity-name> <identity-value> <composition-name> <composition>] - [(def: #export <identity-name> +(template [<identity_name> <identity_value> <composition_name> <composition>] + [(def: #export <identity_name> Predicate - (function.constant <identity-value>)) + (function.constant <identity_value>)) - (def: #export (<composition-name> left right) + (def: #export (<composition_name> left right) (All [a] (-> (Predicate a) (Predicate a) (Predicate a))) (function (_ value) (<composition> (left value) |