diff options
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)]))) |