lens

17Hitze

1Antwort

Objektiv/Prism mit Fehlerbehandlung

Lassen Sie uns sagen, dass ich ein Paar von Konvertierungsfunktionen haben string2int :: String -> Maybe Int int2string :: Int -> String ich diese ziemlich leicht mit Optik darstellen könnte. strin

scala haskell lens lenses monocle-scala 2015-11-28

---

7Hitze

3Antwort

Wie ändert man diese geschachtelten Fall-Klassen mit "Seq" -Feldern?

Einige eingebettete Fall-Klassen und das Feld addresses ist ein Seq[Address]: // ... means other fields case class Street(name: String, ...) case class Address(street: Street, ...) case class Compa

scala case-class lens 2015-10-21

---

0Hitze

1Antwort

Warum passen alle Linsen zum Foldl.Handler Typ?

Nach Control.Foldl documentation: Jede Linse, Traversal oder Prisma wird Typ-Check als Handler type Handler a b = forall x. (b -> Constant (Endo x) b) -> a -> Constant (Endo x) a Man könnte beh

haskell fold lens 2016-03-21

---

2Hitze

1Antwort

Einzelpasslinse für die Wurzel eines ausgeglichenen Binärbaum

Ich habe einen ausgeglichenen binären Baum, der Baum der Tiefe in seiner Art umfasst: data Nat = Zero | Succ Nat data Tree (n :: Nat) a where Leaf :: Tree Zero a Branch :: a -> (Tree n a, T

haskell lens gadt 2016-03-24

---

8Hitze

3Antwort

Wie finden und ändern Sie das Feld in geschachtelten Fallklassen?

einige verschachtelte Fall Klassen definiert mit List Feldern: @Lenses("_") case class Version(version: Int, content: String) @Lenses("_") case class Doc(path: String, versions: List[Version]) @Lens

scala lens monocle-scala 2015-10-28

---

5Hitze

1Antwort

Control.Lens: Traversal Isomorphismus toListOf und über

Ich sah Simon Peyton Jones' Vortrag über Control.Lens, und er zeigte, dass Lens und LensR wie hier definiert sind isomorph: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t data Len

haskell lens 2015-12-22

---

1Hitze

1Antwort

Haskell - Kombinieren Sie Ergebnisse aus einzelnen Linsen

Ich versuche, so etwas wie das zu erreichen, folgende: jsonStr = "{\"a\": \"hello\", \"b\": [\"world\", \"everyone\", \"42\"]}" someALens = ... someBLens = ... combinedJson = jsonStr ... som

json haskell lens aeson 2016-04-09

---

7Hitze

1Antwort

Objektive mit voneinander abhängigen (simultan) Updates

Lets sagen, ich habe: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TupleSections #-} import Control.Lens data T a b = T { _foo :: a , _bar :: a -> b } makeLenses ''T a sowohl

haskell lens 2015-09-27

---

6Hitze

1Antwort

Ressource, die das Vokabular von Edward Kmetts Linsenpaket erklärt

Ich versuche, die Dokumentation in Edward Kmett 's Lens Paket zu lesen. Ich bin nicht vertraut mit einer Menge der verwendeten Begriffe (profunctor, Isomorphismus, monomorphe, kontravariante, bifuncto

haskell lens category-theory vocabulary lenses 2015-09-30

---

6Hitze

1Antwort

Wie lautet der Name für die umgekehrte Linse?

Lens ist eine Funktion, die eine unveränderliche Datensatzänderung vornimmt: Sie kopiert den Datensatz, der den Inhalt des Inhalts ändert. Objektive ist eine Bibliothek, mit der Sie Linsen kombinieren

language-agnostic lens lenses 2016-01-16

---