lens

8ısı

3cevap

'un Lens kitaplığındaki ix ve öğe arasındaki fark nedir? Haskell'in objektif kitaplığında, ix ve element sayılı belgelerde her ikisi de bir Int. okumak veya benzer bu ghci> [1..10] ^? ix 4 Just 5 gh

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

6ısı

1cevap

iki kıvrımlar veya getters uygulayın ve hem

başarılı biterken sadece aşağıdaki liste var düşünün başarılı: mercek kütüphanesini kullanma lst :: [(Bool, Maybe Integer)] lst = [(True, Just 3), (True, Nothing), (False, Just 12)] , ben dizilerin

5ısı

1cevap

Lens listesi nasıl kullanılır?

Traversal'ın bir listesini kullanabilir miyim? Aşağıdaki kodu: f::[Int] -> [[Int]] f l = [l & i .~ 1 | i<-[ix 0], (l^? i) == Just 0] bir hata üretir: • Couldn't match type ‘Const (Data.Monoid.First

6ısı

1cevap

'to` lensi ile fermuar içine adım adım

lens ve zippers ile uğraşıyorum. Control.Monad.MonadPlus m => m (Zipper Top Int [Int] :>> A Int): kodunun altına düşünün ben gibi fermuar türünü nasıl oluşturabileceğini, data A t = A t Having ghci >

6ısı

1cevap

fermuarlar: son ekmek kırıntısı üzerinde eşleme

zippers ve lens kullanarak bir sorunla karşılaştım. Örneğin aşağıdaki düşünün: Gördüğünüz gibi, ben Top :>> A :>> A ve Top :>> A :>> B için Top :>> A birinden taşıyabilirsiniz {-# LANGUAGE TemplateHas

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

1ısı

1cevap

Haskell - Ben böyle bir şey başarmak için çalışıyorum ayrı lensler

sonuçlar birleştirilerek aşağıdaki: combinedJson == ["hello world", "hello everyone", "hello 42"] Ancak, kombinasyon operatörleri ben oldum: jsonStr = "{\"a\": \"hello\", \"b\": [\"world\", \

8ısı

2cevap

Haskell lens kütüphanesiyle, alıcıları "birinci sınıf" olarak nasıl ele alabilirim?

Genellikle lensler kullanarak değerler alan, değerlere bazı işlevler uygulayıp sonucu döndüren işlevleri yapıyorum. Örneğin, alıcılar birinci sınıf birleştirmek ve (belki tip (b -> c -> d) -> Getter a

9ısı

3cevap

Zipping dolaşımları

İçinde delikli bir Traversable var - bu ikili ağaç düşünün: : - - [2, 4] sonuçlanan Ben de deliklerini doldurmak için bir değerler listesi var / \ / \ Nothing Just 1 /\ Nothing Just 3