diff options
| author | Eduardo Julian | 2020-05-13 19:30:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-05-13 19:30:47 -0400 |
| commit | 65d0beab4cb53a9ba8574e1133d105420f0b23aa (patch) | |
| tree | a90cf3fed8cbadc0fe558efc859100a658c8f4d6 /stdlib/source/lux/abstract | |
| parent | 2ebb1cfc9d8705f9b5812d6d26788c8d3b70b5c8 (diff) | |
Made test-running parallel again.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/monoid.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/abstract/monoid.lux b/stdlib/source/lux/abstract/monoid.lux index 088fda263..7f4254af3 100644 --- a/stdlib/source/lux/abstract/monoid.lux +++ b/stdlib/source/lux/abstract/monoid.lux @@ -9,12 +9,12 @@ (: (-> a a a) compose)) -(def: #export (compose Monoid<l> Monoid<r>) +(def: #export (compose left right) (All [l r] (-> (Monoid l) (Monoid r) (Monoid [l r]))) (structure (def: identity - [(:: Monoid<l> identity) (:: Monoid<r> identity)]) + [(:: left identity) (:: right identity)]) (def: (compose [lL rL] [lR rR]) - [(:: Monoid<l> compose lL lR) - (:: Monoid<r> compose rL rR)]))) + [(:: left compose lL lR) + (:: right compose rL rR)]))) |