def validate1:Option[String] def validate3:Option[String]然而，Option的流动与我在这里想要的恰恰相反。我怎么才能实现这样
浏览 0提问于2010-11-15得票数 8
我们正在创建我们自己的猫的OptionT，以了解monads是如何工作的，以及monads的转换流程。在创建我们自己的自定义monad时，会得到一些错误。下面是我们的代码：
override de
浏览 0提问于2018-02-11得票数 2
假设我们有一个函数我们得到了两个可选值val y: Option[A] = ...^(x, y)(f)fRestricted: (A, A) => Option[A]
现在<e
浏览 1提问于2014-06-29得票数 2
我使用Identity monad实现了常规的monad(转换器)： type 'a m let return x = x
module OptionT (M : MONAD) : MONAD with type 'a m := ('a <
浏览 1提问于2018-02-23得票数 1
回答已采纳
给定一个带签名的函数：A => F[G[B]]。有用于F和G类型的monads实例。def pretiffy(x: String): Future[Option[String]] = Future{if(x == "") None else Some(s">>>$x<<<")
浏览 12提问于2016-09-15得票数 2
回答已采纳
1回答
如何为选项实现flatMap
、、、、
我正在尝试将map和flatMap作为Option的扩展/充实来实现，而不是欺骗，并研究它如何在Scalaz中实现。所以，在我被困之前，我得到的是： // >>= :: Monad m => m a -> (a -> m[A]) extends Monad[Option[A]] w
浏览 6提问于2014-09-09得票数 0
回答已采纳
我已经定义了一个monad类型的类，并且我正在尝试用scalacheck来验证它的规则。class OptionMonadSpec extends MonadSpec[String, String, String, Option](Monad.optionMonad)
}trait Monad[Box[_]] extends Functor[Box]
浏览 29提问于2017-12-11得票数 2
回答已采纳
1回答
给定一个更高的Kinded类型M，和一个monad类型的类，我可以通过理解来对M中的值进行操作。使用一个返回选项的函数，我寻找一种比我的解决方案更合适的方法来平平这些选项。如下所示 import Monad._
z:Optio
浏览 1提问于2015-06-20得票数 2
回答已采纳
2回答
在fp-ts中有两个模块：
然而，通常它的意思是_T_ransformer类似于“单台变压器”(例如OptionT，EitherT，ReaderT，StateT)。例子是值得欢迎的。
浏览 22提问于2022-05-28得票数 3
回答已采纳
2回答
是编写以下代码的最简单方法，而无需使用toStream()import io.vavr.control.Option; Foo bar = new Foo(List.of(new Bar(1), new Bar(2)));
Number value = Option.some
浏览 1提问于2017-09-14得票数 4
回答已采纳
1回答
在试图将Monad理解为“表示定义为步骤序列的计算的结构”时：def optionAdd(x:Option[Int], y:Option[Int]):Option[Int] = def getString = { }我没有创建新的
浏览 1提问于2016-01-18得票数 0
回答已采纳
1回答
，g的实现显式地使用了内部monad (List)构造函数。g的值(即函数值为Int => Option[List[Int]])和类似于f的值。我如何将一个提供给另一个？简单地说：def callMe(h: (Int => Option[List[Int]]) = ...当然，这里的问题可以抽象为不仅支持Int => Option[
浏览 1提问于2015-09-29得票数 0
4回答
我知道单簧管是什么以及如何使用它们。我不明白的是，做了什么，比方说，Option是一个单曲？在Haskell中，monad Maybe是monad，因为它是从Monad类实例化的(Monad类至少有两个必需的函数-- return和bind，这使得类Monad，实际上是一个monad)。但是在Scala，我们得到了这样的信息：
sealed abstract class O
浏览 6提问于2014-08-18得票数 38
回答已采纳
我正在尝试了解如何使用Monad Transformers。我读了关于它的，仍然有一些问题。
我们有需要从用户读取输入的IO monad。但并不总是提供输入。那就是Option。为了简化，我们可以定义一个monad OptionT，它“封装”IO monad的操作。在我的特殊情况下，我有两个类型为Future[Option[String]]和Future[List[Int]]的mo
浏览 7提问于2017-07-02得票数 6
回答已采纳
2回答
扁平化的用途
、、
例如：var monad2 = None
def adder(i:Int) =i + 1
monad.flatMap(flatAdder)monad.flatMap(flatAdder).f
浏览 4提问于2021-02-01得票数 0
回答已采纳
1回答
简而言之，我想声明一个这样的特点： def test(amount: Int): A[Int] // where A must be a Monad这样我就可以在不知道): Option[Int] = Some(3) // addeda layer of Writer on top of base function
d
浏览 1提问于2012-08-09得票数 2
回答已采纳
我有一个返回Future[OptionUser]的方法在我的控制器中，我目前正在做这件事：
val在Scala中有哪些不同的模式，我可以处理这个将来最终返回OptionUser的问题吗？
浏览 1提问于2015-12-06得票数 0
1回答
猫中Monad变形金刚的一些定义。
我理解“读者Monad”，以及Kleisli是如何泛化的。
我不明白的
浏览 3提问于2020-10-10得票数 1
回答已采纳
1回答
在我看来，我写了一个简单的Scala代码，它是一个Monad实现。这是一个基本特征：实施： Monad(x)
def bind[B](f: (String) =>
浏览 1提问于2015-10-02得票数 1
在编写一个简单的RPN计算器的过程中，我有以下类型别名：type Operation = Stack => Option[Stack]val newStack = operations.foldLeft(Option(stack)) { _ flatMap _ }
这将获取初始值的stack，foldl :: (a -> b -> a) -> a -> [
浏览 0提问于2012-01-04得票数 12
回答已采纳
云服务器
ICP备案
对象存储
即时通信 IM
云直播
腾讯云开发者
