Свързани въпроси 'scalaz'
Монадична редукция в държавната монада
Заседнал съм, опитвайки се да намаля списък в монада на състояние, използвайки функция, връщаща State :
def op(t1: T, t2: T): State[S, T]
val list: State[S, List[T]]
I'd like to reduce the list to get a State[S, T]
209 изгледи
schedule
16.09.2022
използване на specs2 със scalaz-scalacheck-binding за тестване на закони
Намирам използването на specs2 със scalacheck за проверка на законите на Monoid за малко грозно, когато се опитвам да използвам библиотеката за свързване на scalaz scalacheck. Моят код използва scalaz Monoid, така че исках да използвам техните...
277 изгледи
schedule
15.09.2022
Или T[Опция, A, B] === Опция[Или [A,B]]
Ако разбирам правилно EitherT[Option,A,B ] трябва да е идентичен с Option[Either[A,B]] , но компилаторът не е съгласен. Следният код не успява да се компилира:
def f[A,B] = implicitly[EitherT[Option, A, B] === Option[Either[A,B]]]
какво...
137 изгледи
schedule
24.09.2022
Как да променя версията на зависимост в приложение на Scala, която не съм задал?
Опитвам се да създам приложение за възпроизвеждане на Scala и една зависимост внезапно не успява да се изтегли поради това, че репото вече не работи
Пълно проследяване на стека по-долу. Преди получавах зависимостта scalaz-stream v0.7a добре, но...
94 изгледи
schedule
30.09.2022
Управление на импортиране в Scalaz7
Използвам scalaz7 в проект и понякога срещам проблеми с импортирането. Най-лесният начин да започнете е
import scalaz._
import Scalaz._
но понякога това може да доведе до конфликти. Това, което правех до сега, е следният леко болезнен...
1167 изгледи
schedule
27.11.2022
Има ли функция за „частично намаляване“ в Scala?
Има ли стандартен начин за комбиниране на съществуващи функции за събиране на Scala, за да се постигне следното? Или това вече е дефинирано в някоя популярна библиотека с разширения като Scalaz?
def partialReduceLeft[T](elements: List[T],...
397 изгледи
schedule
12.12.2022
Използвайки Scalaz поток, как да конвертирате A =› Task[B] в Process1[A,B]
Кодирам http заявка към отдалечен сървър като функция, която взема id и дава Task[JValue].
Бих искал да преобразувам тази функция в Process1, за да опростя програмата си (Под опростяване имам предвид да използвам процесите като градивни елементи...
383 изгледи
schedule
27.10.2023
Разлика между псевдоними на типове и ламбда типове
Този въпрос е за ограничение на имплицитната система за разделителна способност на Scala, с което съм се сблъсквал няколко пъти, когато използвах Scalaz, и това няма много смисъл за мен. Дестилирах проблема до версия без Scalaz по-долу, но се радвам...
422 изгледи
schedule
17.12.2023
Каква е имплицитната последователност на разрешаване в този прост пример за код на урок ScalaZ?
Кодовият фрагмент по-долу е взет от този урок за ScalaZ.
Не мога да разбера как се прилагат имплицитните правила за разделителна способност, когато се оценява 10.truthy в долната част на примерния код.
Нещата, които - мисля - разбирам са...
392 изгледи
schedule
02.12.2022
Scala scalaz.Monad[scala.concurrent.Future], какво ще кажете за контекста на изпълнение?
Виждам няколко въпроса, които използват scalaz Monad за нещо, което изглежда като scala Future. Тук и тук . Не съм виждал задоволителен начин за разрешаване на това като имплицитен тип клас без използване на глобален контекст на изпълнение, но...
843 изгледи
schedule
01.01.2024
Комбинирайте левите страни от вложен тип резултат от дизюнкция
Ако имам тип \/[Errs, \/[Errs, Boolean]] и искам да комбинирам две леви (две Errs ), какъв е най-добрият начин да го направя \/[Errs,Boolean] , където новият Errs ще добавя две Errs от две lefts от по-ранния тип. Errs не е нищо друго...
426 изгледи
schedule
11.11.2023
Тип клас за обединяване на несвързани случаи на отказ в моите дизюнкции на Scalaz
Имам за разбиране дизюнкциите на Scalaz. Левите типове в тях могат да бъдат различни типове класове за грешки от други библиотеки. Например, един случай на неуспех може да се дължи на изчакване на HTTP, докато друг може да представлява грешка при...
96 изгледи
schedule
15.01.2024
създайте равен екземпляр на Scalaz в клас с подтипове
Имам следния прост ADT, как бих внедрил екземпляр на класа тип равенство, без да прибягвам до изрично съвпадение на шаблон на всички възможни комбинации?
import scalaz._
import Scalaz._
sealed trait Billinginfo
case class CreditCard(number: Int,...
385 изгледи
schedule
17.12.2023
Разбирате, че това, което се опитвате да постигнете, е огромна задача за разработчици, не е нищо, което ще получите, като внедрите някаква проста функционалност, предлагана от библиотека.
392 изгледи
schedule
02.12.2022
Защо няма ›=› полугрупа за A =› M[A] в Scalaz?
Това е продължение на предишния ми въпрос
Kleisli дефинира два оператора <=< (съставяне) и >=> (и След това). >=> изглежда много естествено за мен и не разбирам как <=< може да бъде полезен.
Освен това...
287 изгледи
schedule
16.10.2022
синтаксис на свързване в scalaz
Има ли начин да се използва хубав синтаксис на haskell-bind ( >> ) в scalaz, за да се напише кодът по този начин: monad1 >> monad2 ?
ToBindOps изисква да бъде предадена изрична монада, така че трябва да направя нещо като ToBindOps[F,...
136 изгледи
schedule
18.02.2024
Какъв е този тип А при изучаването на Scalaz за функцията сума?
В Learning Scalaz има параметър за тип на сумата на метода.
Това означава ли, че тип А е от тип Monoid? Въпреки това изглежда грешно, ако типът A е Monoid, тогава как може да бъде и цяло число, както се използва в примера. Сигурно чета...
144 изгледи
schedule
06.03.2024
Неявна естествена трансформация на Scala с монада, която не успява да намери функции за разбиране
Кодът, който имам, е следният:
class SourceService[Out[+_]](implicit monad:Monad[Out]) {
def doSomething:Out[String] =
monad.point("Result")
}
class SimplifiedPipe[Out[+_], In[+_]]
(myService:SourceService[In])
(implicit...
239 изгледи
schedule
26.03.2024
Филтриране на стойности от дясната страна на scalaz дизюнкция
Имам резултат, състоящ се от списък с вектори в scalaz дизюнкция и искам да мога да изследвам и филтрирам елементи от дясната страна.
опростен пример:
import scalaz._
import Scalaz._
type TL = Throwable \/ List[Vector[Int]]
val goodTL: TL =...
378 изгледи
schedule
04.04.2024
Каква е разликата между Task и IO в Scalaz?
Тези два вида Scalaz
scalaz.concurrent.Task[+A]
scalaz.effect.IO[A]
изглеждат много сходни концептуално. Те двамата:
Представлява изчисление с потенциален страничен ефект
Създайте успешен ( A ) или неуспешен ( Exception )...
892 изгледи
schedule
09.04.2024