diff options
| author | Eduardo Julian | 2021-07-16 02:23:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-16 02:23:00 -0400 |
| commit | bfacc0c96e56eedf788aba44bd8ad2848a35c390 (patch) | |
| tree | 7d5f637d589ac68c645d6d726967d6fac51da15d /stdlib/source/specification/lux/abstract/monad.lux | |
| parent | 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e (diff) | |
Fixed some inconsistent naming.
Diffstat (limited to 'stdlib/source/specification/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/monad.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux index 869eb24c7..bc1b643f2 100644 --- a/stdlib/source/specification/lux/abstract/monad.lux +++ b/stdlib/source/specification/lux/abstract/monad.lux @@ -11,7 +11,7 @@ [// [functor (#+ Injection Comparison)]]) -(def: (left-identity injection comparison (^open "_//.")) +(def: (left_identity injection comparison (^open "_//.")) (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do {! random.monad} [sample random.nat @@ -23,7 +23,7 @@ (|> (injection sample) (_//map morphism) _//join) (morphism sample))))) -(def: (right-identity injection comparison (^open "_//.")) +(def: (right_identity injection comparison (^open "_//.")) (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test)) (do random.monad [sample random.nat] @@ -51,7 +51,7 @@ (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test)) (<| (_.for [/.Monad]) ($_ _.and - (..left-identity injection comparison monad) - (..right-identity injection comparison monad) + (..left_identity injection comparison monad) + (..right_identity injection comparison monad) (..associativity injection comparison monad) ))) |