diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/monad.lux')
-rw-r--r-- | stdlib/source/specification/lux/abstract/monad.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 11ee011e1..e193e1ecd 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -3,15 +3,15 @@ [lux "*" ["_" test {"+" [Test]}] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [do]}]] + ["[0]" / {"+" [do]}]] [// [functor {"+" [Injection Comparison]}]]) -(def: (left_identity injection comparison (^open "_//.")) +(def: (left_identity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat @@ -23,7 +23,7 @@ (|> (injection sample) (_//each morphism) _//conjoint) (morphism sample))))) -(def: (right_identity injection comparison (^open "_//.")) +(def: (right_identity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do random.monad [sample random.nat] @@ -32,7 +32,7 @@ (|> (injection sample) (_//each _//in) _//conjoint) (injection sample))))) -(def: (associativity injection comparison (^open "_//.")) +(def: (associativity injection comparison (^open "_//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do [! random.monad] [sample random.nat |