lens

2Hitze

1Antwort

Wie kann ich (Falte s a) von Control.Lens ein Monoid machen?

Ich bin herumalbern mit Linsen und Prismen und ich bin ein bisschen in die Unkräuter geraten. Ich mag folgende in Vorlage Haskell schreiben, aber wie ist es nicht kompiliert: data Suit = Spade | Heart

2Hitze

3Antwort

Verwirrt über den Aufbau einer Iso von einer anderen Iso

Ich schreibe gerade etwas Code, um logische Formen in einer bestimmten Weise zu streiten. Bei der Verfolgung dieses habe ich den folgenden Code geschrieben, die Verwendung von Objektiven macht: {-# LA

7Hitze

2Antwort

Wie mache ich das Produkt aus zwei Linsen?

Wenn ich zwei Linsen haben: foo :: Lens' X Foo bar :: Lens' X Bar Gibt es eine Möglichkeit, ein Produkt Linse zu konstruieren: foobar :: Lens' X (Foo, Bar) foobar = ... foo bar oder ist es unmög

2Hitze

1Antwort

Linse oder Pfeile zum Aktualisieren von Baumstrukturen?

Ich lief in einem Beispiel (ab 2010) von using arrows for XML manipulation Gibt es Vorteile arrow Abstraktion über neuere lens für Anwendungsfall dort demonstriert?

1Hitze

1Antwort

Objektive mit Summenarten (die Produkttypen haben)

{-# LANGUAGE TemplateHaskell #-} import Control.Lens data Fruit = Fruit { _fruitColor :: String } $(makeClassy ''Fruit) data Fruits = Banana Int Fruit | Strawberry String

2Hitze

1Antwort

eine Sammlung von Werten aus einem JSON ByteString Ersten linsen Aeson

mit Sagen, dass ich ein JSON ByteString habe, das Objektiv verwenden so etwas wie { messages: [ {...}, {...} ] } Ich mag sieht eine Liste/Vektor von Nachrichten, um aus es. Ic

0Hitze

2Antwort

Wie Wert in einer verschachtelten Karte setzen Objektiv mit

Ich habe folgendes Programm: {-# LANGUAGE TemplateHaskell #-} import qualified Data.Map.Strict as Map import Control.Lens data MyLabel = MyLabel { _label :: String } deriving (Show, Eq, Ord) data

3Hitze

1Antwort

Verwendet von Wrapped typeclass in Control.Lens

Ich habe eine harte Zeit lesen die Typen in der Control.Lens.Wrapped-Modul und ich finde nicht viel anderes darüber geschrieben oder die newtype-Bibliothek, auf der es anscheinend basiert. Insbesonder

2Hitze

3Antwort

Wie "Iso" zu komponieren?

Hier ist meine Art: newtype SaneDate = SaneDate UniversalTime deriving (Show, Eq, Typeable, Generic) makeWrapped ''SaneDate Jetzt brauche ich ein ISO mit dieser Art: reprBuild :: Iso' (Maybe U

3Hitze

2Antwort

berechnen automatische Belichtung in openCv

Ich habe eine Software mit einer Industrie-Kamera mit einem manuellen Objektiv (Fokus und Blende manuell eingestellt werden) arbeiten. Ich kann die Belichtungszeit und die Verstärkung der Kamera steue