lens

8Hitze

3Antwort

Was ist der Unterschied zwischen ix und das Element in der Linsen Bibliothek von Haskell

In Haskells Linsen Bibliothek ist, und ixelement sowohl eine Int nehmen kann eine verwendet werden, z.B. zu lesen oder ein Listenelement zu einem bestimmten Index, wie dieses ghci> [1..10] ^? ix 4 Ju

5Hitze

1Antwort

Aeson und Lens mit DeriveGeneric und makeLenses - Namen Linie nicht bis

Lasst uns sagen, dass ich einen Typ haben Person import GHC.Generics import Data.Text import Data.Aeson import Control.Lens data Person = Person { _firstName :: Text, _lastName :: Text,

5Hitze

1Antwort

Punktfreie Objektiverstellung wird nicht geprüft

In der Funktion test traversiere ich über eine Liste, erzeuge Linsen von ihren Mitgliedern und drucke dann einige Daten aus. Das funktioniert, wenn ich einen sinnvollen Anrufstil verwende. Es schlägt

6Hitze

1Antwort

Ist das erwartete Verhalten von Template Haskell?

Kann jemand sagen, warum dieser Code nicht data A = A { _b :: B } makeLenses ''A type B = String mit Nachricht Not in scope: type constructor or class B und tut dies nicht kompiliert: typ

6Hitze

1Antwort

Verwenden Sie ein Objektiv, um ein bestimmtes Element einer (Schlüssel-, Wert-) Liste zu ersetzen

Ich möchte mit Kmetts lens library auf ein Element einer (Schlüssel-, Wert-) Liste unter einem bestimmten Schlüssel zugreifen. wenn Sie verwenden Data.Map.Map waren -- | Looks for a given header and r

6Hitze

1Antwort

Was ist der Zweck der Einheitslinse?

Beim Lesen durch den Lens over Tea #1 Artikel fand ich das united Objektiv. Meine Implementierung ist united :: Lens' a() united f v = const v <$> f() die so ziemlich das gleiche wie das implementa

5Hitze

1Antwort

Schwierigkeit mit Zoom und frei Monaden

ich mit freiem Monaden und Objektiv bin herumschlagen, die freie Monade mit meiner eigenen Version des IO Monade zu erstellen: data MyIO next = LogMsg String next | GetInput (String -> next)

13Hitze

3Antwort

Gibt es eine Kurzform, um ein bestimmtes Strukturfeld im Racket zu aktualisieren?

Angenommen, ich habe eine Struktur mit vielen Feldern: (struct my-struct (f1 f2 f3 f4)) Wenn ich eine neue Struktur mit f2 aktualisiert zurückzukehren, muss ich alle anderen Felder neu formulieren:

6Hitze

1Antwort

Schritt in den Reißverschluss mit `to` Objektiv

Ich habe Probleme mit lens und zippers. Betrachten wir unter Code ausführen in ghci > import Control.Lens > import Control.Zipper > > :t within (ix 1) $ zipper ([1,2,3] :: [Int]) > within (ix 1) $

6Hitze

1Antwort

Zipper: Mapping über den letzten Breadcrumb

Ich habe ein Problem mit und lens gestoßen. Betrachten Sie folgendes Beispiel: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeOperators #-} import Control.Lens import Control.Zipper data A = A