scalaz7

1熱

1答えて

Scalaz 7でEitherTを使用するときのMonad [Future]の実行コンテキストの指定

私はFuture [Either [String、A]]型を返す複数の関数を使用するコードを整理しようとしています。これらの関数は、未来の中でピークを迎えなければならないという問題と、値を取得するためにEitherの内部で問題が発生するため、きれいには構成されません。 EitherTモナドトランスを使用した後、私は、どちらかを追加する必要があり、最終結果を得るときに '実行'を呼び出す余分なステ

1熱

1答えて

Scalaz Applicativeの実装方法は？

は私が type QueryResult[A] = A org.scalactic.Or One[Error] 複数のクエリをやって、私はList[QueryResult[A]]を取得している顧客タイプQueryResultを持っているが、私はQueryResult[List[A]]をしたいです。 Listについてはsequenceメソッドを実装できますが、より一般的なものを使用したいので、S

7熱

2答えて

EitherT内でタプルを返す方法

私はScalaz 7のEitherTを使ってStateと\ /をブレンドするfor-comprehensionsを構築しています。ここまでは順調ですね;私は基本的に何かを得る： State[MyStateType, MyLeftType \/ MyRightType] をし、それは私がのために、内包<の左側にある素敵な変数を持って構築することができます - 。しかし、私は状態アクションからタ

1熱

1答えて

Scalaz Bind.bindはどこに実装されていますか？

方法scalaz.Bind.bindが実装されている場所が不思議ですか？ありがとう trait Bind[F[_]] extends Apply[F] { self => //// /** Equivalent to `join(map(fa)(f))`. */ def bind[A, B](fa: F[A])(f: A => F[B]): F[B] ..

0熱

1答えて

ファンクタ（Scalaz7）を使用して暗黙のパラメータを取る関数を持ち上げる

Scalazの学習を始めました。ここでは、オプション、リストなどのようなコンテナを使用して使用することができるように、私はそれを持ち上げるようにしたい、私は（ちょうどそれのために）関数を定義した trait Monoid[A] { def mappend(a1: A, a2: A): A def mzero: A } object Monoid { implic

6熱

1答えて

Scalazバリデーションと適用ファンクタ| @ |動作していません

私のアプリケーションでScalaz 7検証を使用しようとしています。しかし、私は失敗を合体させるために|@|応募者を得ることに問題があります。ここで私が持っているコードです： type ValidationResult = ValidationNel[String, Unit] def validate[A: ClassTag](instance: A, fieldNames: Option[

1熱

1答えて

Scalaz Treeをトラバースする

スカラズの木構造を理解しようとしていて、何か難しかったです！まず私は、ツリーを定義した： val tree: Tree[Int] = 1.node( 2.leaf, 3.node( 4.leaf, 5.leaf)) は、これまでのところ、私はいくつかの述語と一致する最初要素を検索する方法を働いてきたTreeLocを使用。例えば。値が

3熱

1答えて

箱なしのタグ付きのタイプは安全ですか？

私は最近スカラーのタグなしタイプの箱なしについて聞いたことがあります。私はそれがどのように機能するかを知ろうとしていましたが、scalazの実装に問題があったことを指摘していますquestionです。だから今、私は思ったんだけど type Tagged[U] = { type Tag = U } type @@[T, U] = T with Tagged[U] trait Kilogram

17熱

2答えて

いずれかと未来を融合する

私は、さまざまなバックエンドシステムに多くの呼び出しを行い、for-comprehensionsを使用してバックエンドシステム全体のプロセスフローを簡素化することを望んでいるアプリケーションを持っています。 EitherT（scalaz）とFuture（scala 2.10）を組み合わせることで、最初の潜在的なエラー（将来またはバックエンドシステムの問題がある場合）をキャプチャし、エンドユーザーに

1熱

1答えて

Applicativeの検証構文scalaz +型崩れ2.0

私はScalaz 7つの+型崩れにこのApplicative validation syntax例を変換しようとしている2.0 //for jupyter-scala kernel //classpath.add("org.scalaz" %% "scalaz-core" % "7.2.7") //classpath.add("com.chuusai" %% "shapeless" % "2.