Làm thế nào để tiêm một giá trị vào một Monoid?

Question

Nó chỉ xuất hiện với tôi rằng không có cách nào để tiêm một giá trị duy nhất vào một Monoid trong Data.Monoid. Tôi ngần ngại sử dụng Data.Monad.return cho điều này nhưng đã hy vọng tìm thấy một cái gì đó như singleton cho một số loại.

Answer 1

Lớp Monoid không cho phép bất kỳ loại tiêm nào vì monoid không phải là bất kỳ loại container nào. Một số container là monoids, và sau đó chúng sẽ có phương tiện tiêm riêng. Đối với lần tiêm tương đối tổng quát, bạn có thể sử dụng pure từ Applicative hoặc return từ Monad (trước đây là tổng quát hơn).

Answer 2

Thêm vào những gì người khác đã nói: Int tạo thành một monoid (theo nhiều cách khác nhau). Làm thế nào bạn sẽ "tiêm" một giá trị vào Int? Vâng, bạn không; an Int chỉ là Int. Bạn có thể có thể sử dụng số không hoặc một cái gì đó ...?

Bây giờ, nếu một cái gì đó là một thùng chứa, nó tạo thành một hình đơn. Nhưng bit monoid không giúp bạn xử lý nó như một container; bạn cần phải thử cái gì khác cho điều đó. Rất nhiều thứ không phải là các thùng chứa hình thành monoids.