scala-cats

0熱

1答えて

私はValidatedNelのHListにXorのHListをマップしようとしていますと、このコンパイルエラーを修正し、エラーまし方法：上記とそれを修正する方法を scala> type Result[A] = Xor[String, A] defined type alias Result scala> type Validation[A] = ValidatedNel[String,

1熱

1答えて

cats + disciplineを使って関数のようなMonadをテストする方法

ReadYamlValueと呼ばれるPlay Json Reads[T]タイプとよく似たMonadのようなタイプを作成しました。 trait ReadYamlValue[T] { def read(json: YamlValue): ReadResult[T] // ... methods include map, flatMap, etc } 私は、このために猫Mona

2熱

1答えて

Scala猫の再帰的算術式のためのフリーモナド

Scala catsライブラリを使用し、tutorial docの後ろにある簡単な算術式評価ツールを定義しようとしています。目的は、別々に定義できる整数値と加算を組み合わせたモジュール式でDSLを定義することです。は、私は、次のコードを持っている：私は追加の場合は、「適用」の定義をコメントしているため、以前のコードがコンパイルさ package examples import cats._

1熱

1答えて

自体に依存して半群のインスタンスを定義

...やスカラ座をコーディングしているHaskellのプログラマの事故、部5私はScalaでは、以下の構造： case class ResourceTree( resources: Map[String, ResourceTree] ) をそして、 Catsを使って、Semigroupのインスタンスを定義したいと思います。 object ResourceTreeInstances

1熱

1答えて

スプレーマーシャリングcats.data.Xor

私はスプレーを使用してREST APIを作成しています.Jsonマーシャリングでいくつかの問題があります。私のサービスはcats.data.Xor [失敗、成功]を返します。このデータ型をRESTエンドポイントからどのように戻すことができますか？これに対してレスポンス・マーシャラーを書くには？

1熱

1答えて

フリーモナドを最適化する

値がa: Free[Op, A]の場合、aの構造を「平坦化」して、フリーモナドによって結合された2つのOpが1つにまとめられる可能性がありますか？コンテキスト：Opという意味はその操作が冪等であるため、これを解釈前に最適化ステップとして実行したいと思います。したがって、2つが「連続して」表示される場合、2つ目はプログラムのセマンティクスに無償で削除できます。

1熱

1答えて

Scalaで型クラスの抽象型を使用する

抽象型ValueをタイプクラスShowからcatsに属すように制約する必要があります。私の最初の試みは、のようになります。 package examples import cats._ import cats.data._ import cats.implicits._ class UsingShow1 { type Value <: Show[Value] // Not s

7熱

1答えて

Scala + CatsでFree Monadsを持つ任意の木を使用する

私は文法に基づいて文字列を解析する2）文法によって定義された言語で文字列を生成する2つの異なる解釈を持つ文法ライブラリを作成しています。ライブラリはcatsを使用して、フリーモナドとして文法のASTを作成します。しかし、フリー・モナドはASTのリスト形式の表現を作成するため、文リストには適していますが、文法は文リストから遠くにあり、任意のツリー構造に非常に近いので、完璧なものではないようです。