lens

5Nhiệt

1Trả lời

Đang tìm kiếm các thiếu nước Combinator cho Lens

Tôi hiện đang có code mà trông như thế này: do x <- use foo foo <~ runFoo x nơi foo là một Lens đến một lĩnh vực Foo và runFoo :: MonadState m => Foo -> m Foo Tôi nghĩ cần phải có một cách

15Nhiệt

3Trả lời

Làm cách nào để xử lý kết quả Có thể có tại trong Control.Lens.Indexed mà không có một ví dụ Monoid

Gần đây tôi đã phát hiện gói ống kính trên Hackage và đã cố gắng tận dụng nó trong một dự án thử nghiệm nhỏ có thể biến thành MUD/MUSH máy chủ một ngày rất xa nếu tôi tiếp tục làm việc trên nó. Đây là

8Nhiệt

2Trả lời

Tạo ống kính cho thư viện "ống kính" với bộ xử lý tên tùy chỉnh thay vì mặc định "gạch dưới" dựa trên một

Việc triển khai makeLenses tiêu chuẩn tạo ra thấu kính cho tất cả các trường của bản ghi bắt đầu bằng dấu gạch dưới. Tôi rất không thích ý tưởng phải giới thiệu một quy ước đặt tên khó xử như vậy vào

6Nhiệt

1Trả lời

Làm thế nào để làm việc xung quanh không có khả năng sử dụng ống kính với các loại tồn tại?

Tôi đang sử dụng ống kính thư viện Edward Kmett cho lần đầu tiên, và tìm thấy nó khá đẹp, nhưng tôi chạy vào một snag ... Câu hỏi tại [1] giải thích rằng quantifiers hiện sinh phá vỡ makeLenses. Tôi t

19Nhiệt

2Trả lời

Bắt nhiều kết quả từ bản đồ với "ống kính"

Có những hàng nhập khẩu: > import Control.Lens Control.Lens> import qualified Data.Map as Map và một giá trị bản đồ được xác định như sau: Control.Lens Map> let m = Map.fromList [('a', 1), ('c', 3)

15Nhiệt

2Trả lời

cây ngang với Ống kính và Dây khóa kéo

Tôi đang tìm hiểu gói Ống kính. Tôi phải nói đó là một nhiệm vụ khá khó khăn. Ai đó có thể chỉ cho tôi cách di chuyển cây bằng dây kéo từ ống kính không? Đặc biệt, làm thế nào tôi có thể viết một hàm

16Nhiệt

1Trả lời

Tôi làm cách nào để tạo các ống kính từ một bản ghi trong GHCi

Tôi muốn chơi xung quanh với thư viện Lens một chút. Tôi đã tải nó vào GHCi và tạo ra một kiểu dữ liệu kỷ lục với dấu gạch thích hợp: > data Foo a = Foo {_arg1 :: Int, _arg2 :: [a]} Tôi muốn làm cho

15Nhiệt

2Trả lời

Kết hợp ống kính

Sử dụng một ống kính thư viện tôi có thể áp dụng một chức năng sửa đổi các mục tiêu cá nhân, như vậy: Prelude Control.Lens> (1, 'a', 2) & _1 %~ (*3) (3,'a',2) Prelude Control.Lens> (1, 'a', 2) & _3