diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/lux/abstract/codec.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index 80fa0d327..e4e9d3bed 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -14,15 +14,15 @@ [// [equivalence (.only 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] (_.for [/.Codec] - (_.test "Isomorphism." - (when (|> expected @//encoded @//decoded) + (_.coverage [/.encoded /.decoded] + (when (|> expected /#encoded /#decoded) {try.#Success actual} - (@//= expected actual) + (/#= expected actual) {try.#Failure _} false))))) |