lenses

6ısı

1cevap

Varoluşsal tipli lensleri kullanamamakta nasıl çalışıyoruz?

Ben ... [1] varoluşsal nicelik makeLenses bozabilir açıklar de soru ilk defa Edward Kmett en mercek kitaplığı kullanarak ve oldukça güzel buluyor ama ben bir engelle karşılaştım ediyorum. Bir modada b

haskell existential-type lenses lens 2013-08-05

---

8ısı

1cevap

Şekilsiz: vaka sınıf veya alanda

parametreli jenerik mercek dayanarak: import shapeless._ case class Content(field: Int) lens[Content] >> 'field Bir mercek oluşturma yöntemini yapmaya çalışıyorum, bir şey boyunca: dışı bariz gör

scala scalaz shapeless lenses 2014-07-30

---

8ısı

1cevap

Lensler kullanarak yeni bir kayıt oluşturmak mümkün mü? Ben merceklerle rekor türü varsa

, bu temel kayıt erişimcileri kullanmadan yeni bir kayıt oluşturmak mümkündür? {-# LANGUAGE TemplateHaskell #-} import Control.Lens import Control.Lens.TH data Foo = Foo { _s :: String ,

haskell lenses 2013-08-25

---

6ısı

1cevap

Clojure'deki kimlik işlevi Haskell'de kimlik işleviyle aynı kullanım ve amaca sahip mi?

Clojure'da identity işlevine sahibiz. Bu is used as follows: Ben Haskell Görebildiğimiz kadarıyla user=> (filter identity [1 2 3 nil 4 false true 1234]) (1 2 3 4 true 1234) user=> (partition-by ide

haskell clojure identity lenses 2014-09-28

---

6ısı

1cevap

verimli vaka sınıf yapısının bir Listesinden öğeleri kaldırmak ve zarif

Ben bir örnek olarak aşağıdaki kullanacağı basitlik için bir List bir iç içe case sınıflar yapıya sahip - case class Address(street: String, city: String, state: String, zipCode: Int) case class Pers

scala lenses monocle-scala 2015-11-09

---

6ısı

1cevap

Control.Lens öğesinden `over` öğesini nasıl kullanabilirim, ancak monadik bir eylem gerçekleştirebilir ve sonuçları toplayabilir miyim?

Sorun oldukça basit. Bu data Foo = Foo [Bar] data Bar = Boo | Moo Item Int data Item = Item String Int gibi görünür bir yapıya sahip ve ben burada böyle bu let foos = [Foo [Boo, Moo (Item "bar" 20

haskell lens lenses 2014-07-01

---

8ısı

1cevap

Haskell kayıtlarının bir listesini özetleyin

Diyelim ki bir kayıt listesi var ve bunu medyanı alarak özetlemek istiyorum. Daha somut olarak, ben ölçümlerin bir listesi var ve ben bir medyan Location içine özetlemek istiyorum, bu yüzden bir şey g

haskell lenses 2014-08-28

---

7ısı

1cevap

makeLenses (Haskell)

GADT'ler için makeLenses eşdeğeri var mı? Ben gibi basit GADT varsa: data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b yapıcı ve alan adlarına bir listede ileterek otomatik lensleri üre

haskell gadt lenses 2015-01-26

---

8ısı

3cevap

Bazı koşullara karşı koruysa veya yeni bir tane eklerse, öğenin içeriğini değiştirirseniz, Data.Lens

Kayıtların bir listesi var ve belirli bir ada sahip bir kayıt için listeyi araştıran ve değeri değiştiren bir işleve ihtiyacım var Bu kayıttan VEYA, hiçbir kayıt eşleşmesi sonuç listesine yeni bir kay

list haskell lenses 2013-06-13

---

17ısı

1cevap

Objektif/

taşıma hata ile Prizma adlı ben bu oldukça kolay kullanarak Optik temsil edebilir string2int :: String -> Maybe Int int2string :: Int -> String dönüşüm fonksiyonları bir çift var diyelim. Ben başar

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

---