scalaz

7Ciepło

1Odpowiedz

Mapa i zmniejszyć/zagiąć HList z scalaz.Validation

Zacząłem z czymś takim: def nonEmpty[A] = (msg: String) => (a: Option[A]) => a.toSuccess(msg) val postal: Option[String] = request.param("postal") val country: Option[String] = request.param("count

scala validation scalaz shapeless scalaz7 2014-10-16

---

5Ciepło

1Odpowiedz

Scalaz Bind [Seq] typeclass

Aktualnie przesyłam kod z tradycyjnego Scala do stylu Scalaz. To dość powszechne, ponieważ większość mojego kodu używa bezpośrednio cechy Seq w moich odsłoniętych sygnaturach API, a nie konkretnym typ

scala monads typeclass scalaz 2014-07-15

---

7Ciepło

1Odpowiedz

nie mógł znaleźć ukrytą wartość parametru dowodach typu scalaz.Applicative

staram się zmniejszyć ten kod (scalaz 7.0.x, scala 2.10.x): type Error[+A] = \/[String, A] type Result[+A] = OptionT[Error, A] w tym: type Result[+A] = OptionT[({ type λ[+α] = String \/ α })#λ, A]

scala scalaz 2014-07-16

---

32Ciepło

1Odpowiedz

Jak zrozumieć biegu traverseU i traverseM

Jestem zagubiony przypadku użytkowania na temat biegu traverseU i traverseM, szukałem go na stronie internetowej scalaz, prosty przykład kodu: def sum(x: Int) = x + 1 List(1,2,3).traverseU(sum) wy

scala scalaz 2014-10-28

---

5Ciepło

1Odpowiedz

Czy istnieje obszerny samouczek na temat tego, jak korzystać z tego rodzaju strukturalnego pisania?

Jak widać here, mapa jest zdefiniowany w nieco modny sposób kompletności boską, oto kod: implicit def FunctionFunctor[R] = new Functor[({type l[a] = R=>a})#l] { def map[A, B](fa: R => A)(f: A =>

scala types scalaz 2014-07-22

---

11Ciepło

1Odpowiedz

Dlaczego Scalaz pojawia się w dokumentach API mojego projektu?

Załóżmy, cała moja konfiguracja projektu jest to proste build.sbt: scalaVersion := "2.11.4" libraryDependencies += "org.scalaz" %% "scalaz-core" % "7.1.0" I to jest mój kod: import scalaz.Equal i

scala documentation sbt scalaz scaladoc 2014-11-03

---

8Ciepło

1Odpowiedz

Shapeless: obiektyw generic parametryzowane przez klasę case lub pola

na podstawie: import shapeless._ case class Content(field: Int) lens[Content] >> 'field Próbuję wykonać metodę obiektywu, tworząc coś razem: def makeLens[T <: Product](s: Symbol) = lens[T] >> s

scala scalaz shapeless lenses 2014-07-30

---

11Ciepło

1Odpowiedz

Jak radzić sobie z monadą `Reader` i` Try`?

Czytam ten świetny artykuł o dependency injection in scala with Reader monad. Oryginalny przykład działa dobrze, ale wprowadziłem niewielką zmianę typów zwracanych przez UserRepository.get/find. To by

scala dependency-injection monads scalaz 2014-09-20

---

6Ciepło

2Odpowiedz

Typy spłaszczania po skomponowaniu dwóch defektów:

Poniżej przedstawiono zabawkowy przykład demonstrujący dziwność kształtu prawdziwej formy i punkt pytania. Jak widać anotherFunc po mapowaniu nad personList rozszerza typ do \/[Throwable,List[\/[Throw

scala scalaz 2014-06-21

---

7Ciepło

2Odpowiedz

Jak uruchomić sekwencję na liście [F [G [A]]], aby uzyskać F [G [List [A]]]

Czy można dobrze przekształcić List[F[G[A]]] w F[G[List[A]]]? mogę to zrobić w Scalaz następujący sposób: val x: List[Future[Option[Int]]] = ??? val transformed: Future[Option[List[Int]]] = x.sequenc

scala scalaz 2014-10-02

---