5
Dường như tên gọi chung cho nhà điều hành ((.).(.)) là (.:). Đâu là (.:) được xác định? Hay tôi phải tự định nghĩa nó?Toán tử Haskell (. :) được định nghĩa ở đâu?
A
Trả lời
8
Bạn có thể tìm thấy nó trong thư viện composition, cùng với các tác phẩm chức năng đơn hàng cao hơn khác. Toán tử này không được xác định trong base. Nếu bạn không muốn thêm một gói (rất nhỏ) như là một sự phụ thuộc sau đó chỉ cần định nghĩa nó cho mình, mặc dù tôi sẽ sử dụng phiên bản khái quát hơn là sử dụng fmap:
(.:) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b)
(.:) = fmap fmap fmap
mà chỉ fmap chức năng sa qua hai lớp của functors. Đối với các chức năng, cả ba trong số này fmap s chuyên về (.).
+0
Ồ. Thư viện tuyệt vời. Cảm ơn. – Ana
+0
Rất thích trên '.:'. Có vẻ thực sự hữu ích hơn cho các functors khác hơn là cho các hàm. –
Các vấn đề liên quan
- 1. Toán tử == được định nghĩa trong lớp "đối tượng" ở đâu?
- 2. Định nghĩa toán tử cục bộ trong Haskell
- 3. Định nghĩa `struct ap_conf_vector_t` ở đâu?
- 4. Định nghĩa chữ "id" ở đâu?
- 5. NSConcreteData là gì và nó được định nghĩa ở đâu?
- 6. jQuery.ajax được định nghĩa trong mã nguồn jQuery ở đâu?
- 7. "Dao cạo Hutton" đầu tiên được định nghĩa ở đâu?
- 8. Từ khóa được định nghĩa trong Ruby ở đâu?
- 9. Ở đâu là C++ size_t được định nghĩa trong linux
- 10. `_softmax_cross_entropy_with_logits` được định nghĩa trong chuỗi lưu lượng ở đâu?
- 11. $ {body_statement} được định nghĩa ở đâu trong Eclipse
- 12. F #: Toán tử '&' thường không được định nghĩa lại
- 13. Toán tử cộng trong định nghĩa enum
- 14. Các toán tử Splat ở đâu * và ** hợp lệ?
- 15. Macro DEBUG được xác định ở đâu?
- 16. Đâu là std :: copy_exception được định nghĩa?
- 17. Tên "phần" đến từ đâu cho một toán tử infix được áp dụng một phần?
- 18. Tôi có thể đọc thông tin về toán tử "->" ở đâu?
- 19. Tôi nên xác định toán tử >> ở đâu để chuyên môn hóa std :: pair?
- 20. Toán tử ~ này có ý nghĩa gì ở đây?
- 21. C++ Fail mà không có định nghĩa toán tử
- 22. Trong Ruby có cách nào để biết được phương thức được định nghĩa ở đâu?
- 23. Ưu tiên toán tử được ghi trong lớp .NET Regex ở đâu?
- 24. Toán tử concat (++) tùy chỉnh trong haskell
- 25. Có thể định nghĩa toán tử mới trong Groovy không?
- 26. Những ký tự nào được phép cho các toán tử haskell?
- 27. Ý nghĩa của toán tử || =
- 28. Làm thế nào để tìm ra một hàm được định nghĩa ở đâu?
- 29. gulp: chức năng gọi lại nhiệm vụ gulp được định nghĩa ở đâu?
- 30. Chuỗi hàm tạo (int, int, char []) được định nghĩa ở đâu?
Lưu ý rằng [Hoogle hoàn thành của FP] (https://www.fpcomplete.com/hoogle?q=.%3A&env=ghc-7.8-stable-14.09) là cực kỳ hữu ích trong các trường hợp này. – Sibi
Nếu bạn có mã sử dụng một số tên và tải thành công vào 'ghci' hoặc' cabal repl', bạn có thể, ví dụ, gõ ': i.:' Để nhận một số thông tin về nó. – Heimdell