diff options
| author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
| commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
| tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/specification/lux/abstract/apply.lux | |
| parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) | |
De-taggification | part 4
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 431fc8f29..f14a43aa5 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}]] [control - ["." function]] + ["[0]" function]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Apply]}]] + ["[0]" / {"+" [Apply]}]] [// [functor {"+" [Injection Comparison]}]]) -(def: (identity injection comparison (^open "\.")) +(def: (identity injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample (\ ! each injection random.nat)] @@ -24,7 +24,7 @@ (\on sample (injection function.identity)) sample)))) -(def: (homomorphism injection comparison (^open "\.")) +(def: (homomorphism injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -34,7 +34,7 @@ (\on (injection sample) (injection increase)) (injection (increase sample)))))) -(def: (interchange injection comparison (^open "\.")) +(def: (interchange injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -45,7 +45,7 @@ (\on (injection increase) (injection (: (-> (-> Nat Nat) Nat) (function (_ f) (f sample))))))))) -(def: (composition injection comparison (^open "\.")) +(def: (composition injection comparison (^open "\[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat |