1回答
我有一个像这样的函数考虑到问题的特定领域，我知道如何链接两个连续的transition函数调用，如下所示：但是，我想将其表示为Monoid，并使用<>和mappend进行链接。不幸的是，我似乎无法让以下或类似的变体发挥作用：
instance Monoid
浏览 3提问于2017-06-27得票数 3
回答已采纳
0回答
今天，我试图通过monoid类型类减少一个函数列表，但由于某种原因，结果函数希望它的参数是Monoid的一个实例。GHCI告诉我mconcat [id, id, id, id]的类型是Monoid a => a -> a。然而，我希望它是a -> a。
这是怎么回事？
浏览 0提问于2017-06-03得票数 6
回答已采纳
让我们看看在Haskell中用于处理反向列表的新数据类型的声明：data RevList a = Nil | RCons (RevList a) a deriving(Eq, Show)
mempty = Nil
Nil &l
浏览 8提问于2020-01-01得票数 3
1回答
如果您希望附加两个类型的函数(a -> m)，以便在两个结果后面只得到一个相同类型的函数，则可以使用Kleisli这样做： return (r1 <> r2)
但是，目前没有在Control.Arrow中定义这样的实例就像在Haskell一样，我怀
浏览 2提问于2015-10-04得票数 20
回答已采纳
2回答
我正在尝试定义一个实例： newtype Join a = Join { getJoin :: a -> Bool }
instance Monoid (Join目标是，如果列表中的所有函数都为真，则函数foldMap Join应该返回true，如果不是所有函数都为真，则返回false。我了解foldMap，以及Monoid的Sum和Product实例，但除此之外，我对编写Mon
浏览 22提问于2020-07-20得票数 7
3回答
在Monoid和半群中使用Alt替代实例。instance Alternative f => Semigroup (f a) where mempty = empty
如果我们能写出它，那么我们能用函数中的(<em
浏览 13提问于2022-11-20得票数 2
回答已采纳
1回答
基于从返回类型推断的意外隐式解析
、、、、
给定一个类型类，其中应根据返回类型执行实例选择：implicit def[T])为什么Scala (2.11.6)无法解析正确的实例：当它在使用隐式函数时根据返回类型找到
浏览 45提问于2015-06-02得票数 51
我试图为函数Monoid'实现一个a -> b实例。class Monoid' a where mappend :: a -> a -> a
mappend f g = g . f
请批评它的正确性和风格。此外，我很好奇如何实现mappend。应该首先应用f
浏览 0提问于2014-10-29得票数 1
从直觉上讲，我已经理解了sequenceA在这个用例中所做的事情，但不理解是如何/为什么那样工作的。所以在上面的usecase中，Traversable是[]，而Applicative，因为(,)是一个二进制类型的构造函数，所以是(,) a，这意味着在它的<
浏览 3提问于2020-10-02得票数 5
回答已采纳
我正在努力理解MonadPlus背后的动机。如果已经有了类型类Monad和Monoid，为什么有必要？(MonadPlus m) => ...(Monad m, Monoid</
浏览 15提问于2014-04-11得票数 41
回答已采纳
2回答
显示了(,) a b的实例定义，其中a是Monoid的实例。instance Monoid b => Monad ((,) ???)where ~(a,b) >>= f = let (c,b1) in f a in (c,
浏览 2提问于2013-10-05得票数 2
回答已采纳
1回答
我在试着理解元组的应用。当我在序言中看到有关元组的信息时，它说：instance Monoid a => Applicative我有以下例子：(Sum {getSum = 47},10)
元组中的第一个参数是幺半群<e
浏览 2提问于2017-07-10得票数 1
1回答
在罗尔夫·辛兹的“‘”中，定义了列表类型的定义，它是基于忘记函子的右坎扩张而从单子范畴中得到的(第7.4节)。(Monoid z) => (a -> z) -> z我能够定义通常的零和反构造函数：nil = Abstr (\f -> mempty)
cons x (Abstr app) = Abstr (\f -> mappen
浏览 2提问于2014-12-09得票数 14
回答已采纳
我正在阅读Chiusano和Bjarnason用Scala编写的函数式编程。在第10章中，他们定义了Monoid特性： def op(a1: A, a2: A): A}1) String Monoid： def op(a1: String, a2: Strin
浏览 0提问于2018-11-24得票数 2
回答已采纳
假设我想让所有的数字都成为Monoid的实例。不必为每个Num创建一个实例，如下所示： mappend = (+) mempty = 0.0
有这样的东西吗？instance Num t => Monoid t where me
浏览 0提问于2015-09-24得票数 8
回答已采纳
我有一个数据结构(它是玫瑰树的一个特定子类，它形成一个具有最大下界和最低上界函数的格)，它支持两个完全合理的函数作为Monoid类的mappend。在haskell中有任何方法支持匿名Monoid实例吗？在这种情况下，我应该考虑使用诸如Template-Haskell之类的东西来为我生成类型类吗？我想要的是一个让我动态创建实例的makeMonoi
浏览 3提问于2015-02-21得票数 3
回答已采纳
1回答
:: IO ()Prelude> let y = e `mappend` ey :: IO ()
据我所知，编辑显然有一个Monoid实例。
浏览 2提问于2016-07-21得票数 6
回答已采纳
作者定义了二叉树数据类型，并展示了如何通过实现Data.Foldable函数使其成为可折叠类型(在foldMap中定义)的实例：import qualified：因此，它需要一个函数，该函数接受一个类型为"a“的实例，并
浏览 0提问于2011-09-08得票数 8
回答已采纳
1回答
据我所理解，类型类是一种表示某些函数存在于某些类型的方法。例如，当类型MyType是Monoid的一个实例时，我就可以使用函数mempty :: MyType和mappend :: MyType -> MyType -> MyType，从而使单面律成立。mappend :: a -> a -> a}
然后，通过定义类型MyType的新值(通过将其声明为一个实例来对类型进行分类)，说明类型Monoid</
浏览 0提问于2017-11-28得票数 3
回答已采纳
2回答
在 nicely 中如何使用。我希望具有类似的效果，但将函数列表作为参数：...所以像这样的电话将成为可能，并做同样的事情如何才能做到这一点？
浏览 1提问于2014-05-20得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
