diff options
| author | Eduardo Julian | 2022-03-15 07:24:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-15 07:24:35 -0400 |
| commit | bc36487224f670c23002cc4575c0dba3e5dc1be1 (patch) | |
| tree | 01601f7e5d992ace77a16cfa90240ffc4511a7af /stdlib/source/specification/lux/abstract/codec.lux | |
| parent | 4ef1ac1dfe0edd1a11bb7f1fd13c8b6cb8f1bab4 (diff) | |
De-sigil-ification: ^
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/codec.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index c220c8de6..9a39f4b1c 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -1,19 +1,19 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [monad {"+" do}]] - [control - ["[0]" try]] - [math - ["[0]" random {"+" Random}]]]] - [\\library - ["[0]" / - [// - [equivalence {"+" Equivalence}]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [monad {"+" do}]] + [control + ["[0]" try]] + [math + ["[0]" random {"+" Random}]]]] + [\\library + ["[0]" / + [// + [equivalence {"+" Equivalence}]]]]) -(def: .public (spec (^open "@//[0]") (^open "@//[0]") generator) +(def: .public (spec (open "@//[0]") (open "@//[0]") generator) (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test)) (do random.monad [expected generator] |