diff options
| author | Eduardo Julian | 2019-01-02 21:35:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-01-02 21:35:12 -0400 |
| commit | 3a8d595605ee1bb9348b97cedf6901ca2a811425 (patch) | |
| tree | ec13f0cc04c224fad4e755a24ccae42bb6b1f935 | |
| parent | 7dd7cf51f3ca07de4c4d3834efd045bb4960c686 (diff) | |
Some minor refactoring.
| -rw-r--r-- | stdlib/source/lux/control/identity.lux | 15 | ||||
| -rw-r--r-- | stdlib/source/lux/io.lux | 1 | ||||
| -rw-r--r-- | stdlib/source/lux/type/unit.lux | 1 |
3 files changed, 13 insertions, 4 deletions
diff --git a/stdlib/source/lux/control/identity.lux b/stdlib/source/lux/control/identity.lux index da7445bc7..094ede9a6 100644 --- a/stdlib/source/lux/control/identity.lux +++ b/stdlib/source/lux/control/identity.lux @@ -31,12 +31,13 @@ (Capability (ID code entity storage) code))) - (type: #export (Service code storage) - [(Can-Identify code storage) - (Can-Anonymize code storage)]) + (type: #export (Service code) + (Ex [storage] + [(Can-Identify code storage) + (Can-Anonymize code storage)])) (def: Service<_> - Service + (All [code storage] (Service code storage)) [(|>> :abstraction) (|>> :representation)]) @@ -44,6 +45,12 @@ (-> (Service code storage) (scope storage))) + (def: #export (service _) + (All [code] + (Ex [storage] + (-> Any (Service code storage)))) + ..Service<_>) + (def: #export (with-identity context) (All [code scope] (Ex [storage] diff --git a/stdlib/source/lux/io.lux b/stdlib/source/lux/io.lux index 92ae11066..21d3d8f4a 100644 --- a/stdlib/source/lux/io.lux +++ b/stdlib/source/lux/io.lux @@ -1,3 +1,4 @@ +## TODO: Make IO an abstract type. (.module: {#.doc "A method for abstracting I/O and effectful computations to make it safe while writing pure functional code."} [lux #* [control diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux index 6f38a02d0..d6cd4ac6b 100644 --- a/stdlib/source/lux/type/unit.lux +++ b/stdlib/source/lux/type/unit.lux @@ -1,3 +1,4 @@ +## TODO: Write tests ASAP. (.module: [lux #* [control |