diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/monad.lux')
-rw-r--r-- | stdlib/source/specification/lux/abstract/monad.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 70911488b..25a2f3e4f 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -15,9 +15,9 @@ (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat - morphism (# ! each (function (_ diff) - (|>> (n.+ diff) _//in)) - random.nat)] + morphism (at ! each (function (_ diff) + (|>> (n.+ diff) _//in)) + random.nat)] (_.property "Left identity." ((comparison n.=) (|> (injection sample) (_//each morphism) _//conjoint) @@ -36,12 +36,12 @@ (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat - increase (# ! each (function (_ diff) - (|>> (n.+ diff) _//in)) - random.nat) - decrease (# ! each (function (_ diff) - (|>> (n.- diff) _//in)) - random.nat)] + increase (at ! each (function (_ diff) + (|>> (n.+ diff) _//in)) + random.nat) + decrease (at ! each (function (_ diff) + (|>> (n.- diff) _//in)) + random.nat)] (_.property "Associativity." ((comparison n.=) (|> (injection sample) (_//each increase) _//conjoint (_//each decrease) _//conjoint) |