lenses

6calore

1risposta

rimuovere elementi da un elenco di struttura case classe efficiente ed elegantemente

Ho un nidificata struttura case classi in un List per semplicità utilizzerà segue come esempio - case class Address(street: String, city: String, state: String, zipCode: Int) case class Person(firstN

10calore

2risposta

Utilizzo dell'obiettivo per aggiungere chiave e valore a una mappa nidificata

Sto cercando di capire un problema con la manipolazione di JSON con obiettivi Aeson. Il mio compito è tanto semplice quanto aggiungere una chiave a un oggetto nidificato in JSON. Sono stato in grado d

11calore

1risposta

Come si possono implementare gli "obiettivi compositivi che usano la composizione delle funzioni" di Haskell con questo strano ordine di argomenti?

Ho letto A wreq tutorial: Una lente fornisce un modo per concentrarsi su una parte di un valore di Haskell. Per esempio , il tipo Response ha un obiettivo responseStatus, che si concentra sulle inform

6calore

1risposta

risorsa che spiega il vocabolario utilizzato nel pacchetto di obiettivi di Edward Kmett

Sto cercando di leggere la documentazione nel pacchetto LensEdward Kmett. Non ho familiarità con molti termini usati (profunctor, isomorfismo, monomorfismo, contravariant, bifunctor, ecc ...) Quale sa

7calore

1risposta

makeLenses per GADT (Haskell)

Esiste un equivalente di makeLenses per GADT? Se ho un semplice GADT come: data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b C'è un modo per generare automaticamente le lenti passando i

6calore

1risposta

Cosa sono ** gli obiettivi ** nel mondo di OCaml

Qualcuno può spiegare * cosa sono gli obiettivi? In termini di OCaml? Ho provato a google, ma quasi tutti sono nel mondo di Haskell. solo che alcune dimostrazioni semplici per esso nel mondo di OCaml,

7calore

2risposta

Esporta solo getter o setter da un modulo

Esiste un modo per esportare specifici getter xor setter da un modulo con un obiettivo? Ad esempio, supponiamo che una struttura di dati che ha un'invariante di essere sempre >= 0, vengano modificati

10calore

2risposta

Perché abbiamo bisogno di Control.Lens.Reified?

Perché abbiamo bisogno di Control.Lens.Reified? C'è qualche motivo per cui non riesco a collocare uno Lens direttamente in un contenitore? Che cosa significa comunque lo reify?

8calore

2risposta

Usa obiettivo come `mappa`

Voglio convertire questa riga di codice map (^?! ix 0) [[0, 1], [4, 5], [9, 1]] per utilizzare interamente obiettivi, quindi qualcosa come [[0, 1], [4, 5], [9, 1]] & each . ix 0. Tuttavia, i tipi non

6calore

3risposta

Come utilizzare gli obiettivi per cercare un valore in una mappa, aumentarlo o impostarlo su un valore predefinito

Mentre si lavora su uno stato chiamato AppState Voglio tenere traccia del numero di, per esempio, delle istanze. Queste istanze hanno ID distinti di tipo InstanceId. Perciò il mio sguardo stato piace