lens

6Ciepło

1Odpowiedz

Obiektyw to funkcja, która dokonuje niezmiennych modyfikacji rekordów: kopiuje rekord modyfikujący część jego zawartości. Obiektywy to biblioteka, która pozwala łączyć soczewki w celu uzyskania bardzi

6Ciepło

1Odpowiedz

Nałożyć dwie fałdy albo pobierające i tylko udaje, gdy oba uda

Wyobraźmy mam następującą listę: lst :: [(Bool, Maybe Integer)] lst = [(True, Just 3), (True, Nothing), (False, Just 12)] Korzystanie z biblioteki obiektywu, chcę, aby wyodrębnić elementy krotki, a

7Ciepło

3Odpowiedz

Jak zmodyfikować te zagnieżdżone klasy przypadków za pomocą pól "Seq"?

Niektóre zagnieżdżone klasy przypadków i pole addresses jest Seq[Address]: // ... means other fields case class Street(name: String, ...) case class Address(street: Street, ...) case class Company(

5Ciepło

1Odpowiedz

Jak korzystać z listy obiektywów?

Czy mogę użyć listy Traversal? Poniższy kod: f::[Int] -> [[Int]] f l = [l & i .~ 1 | i<-[ix 0], (l^? i) == Just 0] generuje błąd: • Couldn't match type ‘Const (Data.Monoid.First Int) [Int]’

8Ciepło

3Odpowiedz

Jak znaleźć i zmodyfikować pole w zagnieżdżonych klasach spraw?

Zdefiniowane kilka zagnieżdżonych klas przypadków z List dziedzinach: @Lenses("_") case class Version(version: Int, content: String) @Lenses("_") case class Doc(path: String, versions: List[Version])

5Ciepło

1Odpowiedz

analogowe z `<<% ~` nie wymagając monoid dla Traversal

muszę funkcji takich jak <<%~ który działałby z Traversal s w podobny sposób do ^? coś takiego: (<<?%~) :: Traversal s t a b -> (a -> b) -> s -> (Maybe a, t) > ix 0 <<?%~ succ $ [1,2] (Just 1,[2,2]

9Ciepło

2Odpowiedz

Przechodzenie przez ostatni element "przefiltrowanego"

Szukam filtru przejścia, a następnie wybierz ostatni element do użycia z over. np. coś w tym stylu (ale które faktycznie się skompiluje): [1,2,3,4] & traverse . filtered even . _last +~ 10 > [1,2,3,1

5Ciepło

1Odpowiedz

Control.Lens: przemierzania izomorfizm do toListOf i ponad

Patrzyłem talk Simon Peyton Jones' O Control.Lens, a on pokazał, że obiektyw i LensR zdefiniowane tutaj są izomorficzne: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t data LensR

7Ciepło

2Odpowiedz

Jak zrobić produkt z dwóch soczewek?

Jeśli mam dwa obiektywy: foo :: Lens' X Foo bar :: Lens' X Bar czy istnieje sposób skonstruować obiektyw produktu: foobar :: Lens' X (Foo, Bar) foobar = ... foo bar czy jest to niemożliwe?

17Ciepło

2Odpowiedz

Ramda js: obiektyw dla obiektów głęboko zagnieżdżonych z zagnieżdżonymi tablicami obiektów

Korzystając z Ramda.js (i soczewek), chcę zmodyfikować obiekt JavaScript poniżej, aby zmienić "NAME: VERSION1" na "NAME: VERSION2" dla obiektu, który ma ID = "/ 1/B/i". Chcę użyć soczewki, ponieważ ch