lens

6Ciepło

1Odpowiedz

Czy to oczekiwane zachowanie szablonu Haskell?

Może ktoś powiedzieć, dlaczego ten kod nie skompilować data A = A { _b :: B } makeLenses ''A type B = String z komunikatem Not in scope: type constructor or class B i to robi: type B = St

6Ciepło

1Odpowiedz

Skorzystaj z soczewki, aby zastąpić określony element z listy (klucz, wartość).

Chcę użyć narzędzia Kmett: lens library, aby uzyskać dostęp do elementu listy (klucz, wartość) pod określonym kluczem. Innymi słowy, chciałbym wymienić ten kod czymś bardziej idiomatyczne i być może k

10Ciepło

3Odpowiedz

Jak uniknąć domyślnej wartości zwracanej podczas uzyskiwania dostępu do nieistniejącego pola za pomocą soczewek?

Uwielbiam bibliotekę Lens i uwielbiam to, jak działa, ale czasami wprowadza tak wiele problemów, żałuję, że kiedykolwiek zacząłem jej używać. Spójrzmy na tym prostym przykładzie: {-# LANGUAGE Template

6Ciepło

1Odpowiedz

Jaki jest cel obiektywu zjednoczonego?

Podczas czytania artykułu Lens over Tea #1 znalazłem soczewkę united. Moja implementacja to united :: Lens' a() united f v = const v <$> f() która jest prawie taka sama jak implementation in the Le

5Ciepło

1Odpowiedz

trudności z zoomem i wolnych monad

ja mucking z bezpłatnych monad i obiektyw, korzystając z bezpłatnego monady stworzyć własną wersję monady IO: data MyIO next = LogMsg String next | GetInput (String -> next) deriving (F

13Ciepło

3Odpowiedz

Czy istnieje skrótowy sposób aktualizowania określonego pola struktury w przekrętach?

Załóżmy, że mam struct z wielu dziedzin: (struct my-struct (f1 f2 f3 f4)) Jeśli mam wrócić nowy struct z f2 zaktualizowane, muszę rephrase co inne dziedziny: (define s (my-struct 1 2 3 4)) (my-stru

6Ciepło

1Odpowiedz

zamki błyskawiczne: odwzorowanie ostatniego bułka z masłem

Wpadłem na problem przy użyciu zippers i lens. Rozważmy następujący przykład: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeOperators #-} import Control.Lens import Control.Zipper data A = AA

15Ciepło

1Odpowiedz

Dlaczego "niepowodzenie" (z obiektywu) powoduje nieprawidłowe ruchy?

Od the documentation: Spróbuj najpierw Traversal (lub Fold), spada z powrotem na drugim Traversal (lub Fold) Jeśli zwróci żadnych wpisów. To jest tylko poprawna Traversal, jeśli druga Traversal jest r

8Ciepło

3Odpowiedz

Jaka jest różnica między ix i elementem w bibliotece soczewki Haskella

W bibliotece soczewek Haskella, ix i element oba biorą Int mogą być stosowane np. do odczytu lub zapisu elementu listy w pewnym wskaźnikiem, jak to ghci> [1..10] ^? ix 4 Just 5 ghci> [1..10] & ix 4

5Ciepło

1Odpowiedz

ajzon i obiektywu z DeriveGeneric i makeLenses - nazwy nie kolejce

Powiedzmy mam typ Person import GHC.Generics import Data.Text import Data.Aeson import Control.Lens data Person = Person { _firstName :: Text, _lastName :: Text, _age :: Int } de