diff options
| author | Eduardo Julian | 2021-07-02 03:11:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-02 03:11:36 -0400 |
| commit | 5cf4efa861075f8276f43a2516f5beacaf610b44 (patch) | |
| tree | e21cf528d960c29d22cbc7e41180fa09e62f16d6 /stdlib/source/program/aedifex/repository.lux | |
| parent | 744ee69630de59ca3ba660b0aab6361cd17ce1b4 (diff) | |
No longer employing the capabilities model on the lux/world/* modules.
Capabilities should be opt-in, but using them in the standard library makes them mandatory.
Diffstat (limited to 'stdlib/source/program/aedifex/repository.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index c5f822633..d966c7f82 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -30,21 +30,21 @@ (promise.future (\ repository upload uri content))) )) -(interface: #export (Simulation s) +(interface: #export (Mock s) (: (-> URI s (Try [s Binary])) on_download) (: (-> URI Binary s (Try s)) on_upload)) -(def: #export (mock simulation init) - (All [s] (-> (Simulation s) s (Repository Promise))) +(def: #export (mock mock init) + (All [s] (-> (Mock s) s (Repository Promise))) (let [state (stm.var init)] (implementation (def: (download uri) (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (\ simulation on_download uri |state|) + (case (\ mock on_download uri |state|) (#try.Success [|state| output]) (do ! [_ (stm.write |state| state)] @@ -57,7 +57,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (\ simulation on_upload uri content |state|) + (case (\ mock on_upload uri content |state|) (#try.Success |state|) (do ! [_ (stm.write |state| state)] |