lens

5Ciepło

1Odpowiedz

Poszukiwanie zaginionych State COMBINATOR dla Lens

Obecnie mam kodu, który wygląda tak: do x <- use foo foo <~ runFoo x gdzie foo jest Lens do pola Foo i runFoo :: MonadState m => Foo -> m Foo myślę, że nie powinno być sposób to zrobić ta

6Ciepło

1Odpowiedz

Aeson i soczewki z obsługą błędów

Jestem nowy w magii soczewek, więc mam z tym problem. W odniesieniu do: https://www.fpcomplete.com/user/tel/lens-aeson-traversals-prisms obiekt JSON może być wykonywany w następujący sposób: val ^? nt

5Ciepło

1Odpowiedz

Jak mogę przemierzać różne części struktury danych jedna po drugiej?

W Control.Lens.Traversal funkcja beside przechodzi przez obie części Bitraversable. Podany przykład jest >>> ("hello",["world","!!!"])^..beside id traverse ["hello","world","!!!"] mogę napisać bard

6Ciepło

1Odpowiedz

Jak radzić sobie z niemożnością użycia soczewek z typami egzystencjalnymi?

Używam obiektywu bibliotekę Edwarda Kmett jest po raz pierwszy, a znalezienie go dość ładne, ale wpadłem na szkopuł ... pytaniem na [1] wyjaśnia, że kwantyfikatory egzystencjalne zakłócić makeLenses

19Ciepło

2Odpowiedz

Getting wiele wyników z mapy z „soczewki”

dysponowania tymi Import: > import Control.Lens Control.Lens> import qualified Data.Map as Map i wartością mapy zdefiniowane następująco: Control.Lens Map> let m = Map.fromList [('a', 1), ('c', 3),

10Ciepło

2Odpowiedz

Ograniczenia dotyczące soczewek i monomorfizmów

Pracowałem nad przykładami podanymi w tym dokumencie: article do tworzenia soczewek. stworzyłem Lens jak podano w artykule i po to mój kod: {-# LANGUAGE TemplateHaskell #-} import Control.Lens type

16Ciepło

1Odpowiedz

Jak wykonać soczewki z rekordu w GHCi

Chciałbym trochę pobawić się z biblioteką Lens. Mam załadowany go do GHCi i stworzył typ danych rekordu z odpowiednimi podkreślenia: > data Foo a = Foo {_arg1 :: Int, _arg2 :: [a]} Chciałbym, aby so

20Ciepło

1Odpowiedz

Jaka jest różnica między `ix` i` at` w bibliotece Lens Haskella

Wiem tylko, że jeden działa, a drugi nie. Kontekst: Mam jedną strukturę danych F który zawiera Data.Map.Map k S do innej struktury danych S. Moim celem było zbudowanie modelu Lens, który dałby F i k o

7Ciepło

1Odpowiedz

lista indeksowanie z Control.Lens wymaga monoid ograniczenie

Poniższy kod nie kompiluje: {-# LANGUAGE TemplateHaskell #-} import Control.Lens data MyType = MyType Int data Outer = Outer { _inners :: [ Inner ] } data Inner = Inner { _val :: MyType } $(ma

7Ciepło

3Odpowiedz

Używanie soczewki dwa razy

Mam problem z używaniem biblioteki lens dla konkretnego problemu. Próbuję przekazać uaktualniony struktura danych obiektyw koncentruje się na części tej zaktualizowanej struktury do innej funkcji, g.