scalaz

6ısı

1cevap

| @ | ile doğrulama kullanımı Scalaz içinde

Arkaplan Map[String,String] yapılandırma değerlerine sahibim. Bir dizi anahtar çıkarmak ve bunlardan herhangi biri eksikse anlamlı hata mesajları vermek istiyorum. val a = Map("url"->"http://example.c

2ısı

2cevap

Seq [Serbest [Functor, A]] nasıl Serbest çevirilir [Functor, Seq [A]]

Scalaz Free monad'ı öğreniyorum. Ben burada Future.sequence gibi Seq[Free[Functor, A]]- Free[Functor, Seq[A]] benzer alabilirsiniz nasıl acaba type Functor[A] = Coyoneda[Command, A] type Script[A

5ısı

1cevap

Bir Seçeneği Dönüştür [Doğrulama [E, A]] Doğrulama [E, Seçenek [A]]

ScalaZ'de, Option[Validation[E, A]]'u Validation[E, Option[A]]'a dönüştürmenin deyimsel yolu nedir? Aşağıdaki varsayımsal kodda Örneğin : def convert(x: Option[Validation[E, A]]): Validation[E, Option

5ısı

1cevap

Scalaz ayrışmasının sağ tarafındaki filtreleme değerleri

Scalaz ayrışmasında Vektörlerin bir listesinden oluşan bir sonuca sahibim ve elemanların sağ tarafını inceleyip filtrelemek istiyorum. basitleştirilmiş bir örnek: Ben boş bir öğesi ve ayrıca herhangi

6ısı

1cevap

Yinelemeli bir hesaplamanın sonuçlarını toplamak için bir RDD oluşturma

Yinelemeli bir hesaplamanın sonuçlarını toplamak için bir RDD oluşturmak istiyorum. import org.apache.spark.mllib.random.RandomRDDs._ val n = 10 val step1 = normalRDD(sc, n, seed = 1) val step2

6ısı

1cevap

Scalaz Kleisli kullanım avantajları

scalazKleisli[M[_], A, B], A => M[B] kodlu bir sarıcı olup, bu tür işlevlerin bileşimini sağlar. Örneğin, M[_] monad ise Kleisli[M, A, C] almak için >=> ile Kleisli[M, A, B] ve Kleisli[M, B, C] yazabi

5ısı

1cevap

Scalaz 7.1.5'de neden bir tek örnek değil?

Free, Scalaz 7.1.5'deki bir tek örnek değil, Applicative, Apply ve benzeri tanımlanmış yararlı yöntemleri kullanamıyorum. /* ref - http://tpolecat.github.io/assets/sbtb-slides.pdf */ import Free._, C

9ısı

1cevap

Özdeş tür sınıflarını ayıklamak için Unapply kullanın

Aşağıdaki durum var, iki tür MA ve MB verilen, her ikisi de bir Applicative sahip değil, aynı zamanda her ikisi de aynı temel şekle sahip olduklarını kanıtlamak mümkün olmak istiyorum. type UnapplyM[T

5ısı

1cevap

scalaz.Equide bağımlı türler için

Yol bağımlı türlerini deniyorum ve bunun için bir scalaz.Equal örneği yazmaya çalışırken bir sorunla karşılaşıyorum. Aşağıdaki yapıya sahiptir: İlk b1 "unequalable" yapmak istedim class A { class

8ısı

1cevap

Scalaz'da Task ve IO arasındaki fark nedir?

Bu iki Scalaz tipleri scalaz.concurrent.Task[+A] scalaz.effect.IO[A] çok kavramsal benzer görünüyor. Her ikisi de: Temsil potansiyel yan-etkileyen bir başarı (A) veya başarısız (Exception) ile Çizelge