diff options
| author | Eduardo Julian | 2018-04-05 08:05:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-04-05 08:05:04 -0400 |
| commit | 84d7e87817cd2c074653b34d028c8fa807febc7f (patch) | |
| tree | 1e6ba39b5a33a0116e176cebe90f16681a4c469b /stdlib/test | |
| parent | 435771d3c4d4ffa791805e7006ee3bde488a4090 (diff) | |
- Can now use resource/substructural types in pure computations.
Diffstat (limited to 'stdlib/test')
| -rw-r--r-- | stdlib/test/test/lux/type/resource.lux | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/test/test/lux/type/resource.lux b/stdlib/test/test/lux/type/resource.lux index b02a8d583..c92af92e8 100644 --- a/stdlib/test/test/lux/type/resource.lux +++ b/stdlib/test/test/lux/type/resource.lux @@ -11,36 +11,36 @@ (test "Can produce and consume keys in an ordered manner." (<| (n/= (n/+ +123 +456)) io.run - resource.run + resource.run-sync (do resource.IxMonad<Sync> - [res|left (resource.ordered +123) - res|right (resource.ordered +456) - right (resource.read res|right) - left (resource.read res|left)] + [res|left (resource.ordered-sync +123) + res|right (resource.ordered-sync +456) + right (resource.read-sync res|right) + left (resource.read-sync res|left)] (wrap (n/+ left right))))) (test "Can exchange commutative keys." (<| (n/= (n/+ +123 +456)) io.run - resource.run + resource.run-sync (do resource.IxMonad<Sync> - [res|left (resource.commutative +123) - res|right (resource.commutative +456) - _ (resource.exchange [+1 +0]) - left (resource.read res|left) - right (resource.read res|right)] + [res|left (resource.commutative-sync +123) + res|right (resource.commutative-sync +456) + _ (resource.exchange-sync [+1 +0]) + left (resource.read-sync res|left) + right (resource.read-sync res|right)] (wrap (n/+ left right))))) (test "Can group and un-group keys." (<| (n/= (n/+ +123 +456)) io.run - resource.run + resource.run-sync (do resource.IxMonad<Sync> - [res|left (resource.commutative +123) - res|right (resource.commutative +456) - _ (resource.group +2) - _ (resource.un-group +2) - right (resource.read res|right) - left (resource.read res|left)] + [res|left (resource.commutative-sync +123) + res|right (resource.commutative-sync +456) + _ (resource.group-sync +2) + _ (resource.un-group-sync +2) + right (resource.read-sync res|right) + left (resource.read-sync res|left)] (wrap (n/+ left right))))) )) |