在哪里定义比较中的Monoid实例？

文章/答案/技术大牛

发布

2回答

haskell、monoids

在Data.Functor.Contravariant中定义了newtype Comparison a。在contravariant-1.5中定义的此模块版本中，Contravariant上的Monoid实例定义如下： instance Monoid (Comparison a) where mempty在base中，Com

浏览 26提问于2019-01-03得票数 3

回答已采纳

1回答

根据Harper ()，看起来Type类提供的抽象级别与Modules提供的抽象级别不同，而且我很难准确地找出原因。在这个链接中没有例子，所以我很难看到关键的区别。具体来说，在中首先，他们坚持认为类型可以完全以一种方式实现类型类。例如，根据类型类的哲学，整数可以精确地以一种方式(通常的排序)排序，但显然有许多顺序(例如，按可分性)。第二个问题是，它们混淆了两个不同的问题:指定类型是如何实现类型类的，以及在

浏览 2提问于2016-04-28得票数 27

回答已采纳

3回答

超类约束与Haskell中的实例声明

haskell、types、typeclass

在Haskell中，我们可以使用类似于超类约束的实例声明。我将给出一个使用Semigroup和Monoid的例子。以下是Semigroup的简化定义 (<>) :: a -> a -> aclass(<>) 如果我没有弄错，超类约束似乎可以由<e

浏览 2提问于2022-06-08得票数 6

回答已采纳

1回答

为什么Kleisli不是Monoid的一个例子？

haskell、monads、monoids、kleisli

如果您希望附加两个类型的函数(a -> m)，以便在两个结果后面只得到一个相同类型的函数，则可以使用Kleisli这样做： r2 <- runKleisli k2 x但是，目前没有在Control.Arrow中定义这样

浏览 2提问于2015-10-04得票数 20

回答已采纳

1回答

Scala无形无例类迁移添加新字段

scala、generics、shapeless

为了熟悉无形体，我研究了的例子。我对案例类迁移特别感兴趣。因此，我深入研究了的案例类迁移部分。我还尝试了几个编译器，即Scala2.12、Scala2.13。@ String("numWaffles"),Int], OutT

浏览 8提问于2022-06-11得票数 1

2回答

组成两个比较函数？

sorting、haskell

我想先按一个属性排序，然后再按另一个属性排序(如果第一个属性是相同的)。在Haskell中，合成两个比较函数的惯用方法是什么，即与sortBy一起使用的函数f :: Ord a => a -> a -> Ordering g :: Ord a => a -> a

浏览 0提问于2012-07-15得票数 36

回答已采纳

1回答

大类单面

haskell

在这本书中，作者提到了更大的类型如下：instance (Monoid a, Monoid b) => Monoid (a,b) 这些Monoid的共同之处在于，

浏览 2提问于2017-06-26得票数 1

回答已采纳

1回答

ParMap的Monoid实例？

scala、functional-programming、scala-cats、monoids

猫中是否存在用于Monoid的scala.collection.parallel.ParMap实例？我不这么认为，但我不确定。 new Monoid[ParMap[K, V]] { def empty: ParMap[K, V] = { Par

浏览 0提问于2018-07-09得票数 1

回答已采纳

1回答

默认方法中幻影类型上的类约束出现编译错误

haskell、compiler-errors、typeclass、phantom-types

这个(有点无意义的)模块编译如下：{-# LANGUAGE ExplicitForAll #-} f = undefined f = undefined from the conte

浏览 0提问于2017-09-22得票数 1

1回答

类型类还是代数数据类型？

haskell

例如，当类型MyType是Monoid的一个实例时，我就可以使用函数mempty :: MyType和mappend :: MyType -> MyType -> MyType，从而使单面律成立。对于代数数据类型，我们也可以这样做，方法是将Monoid定义为类型而不是类型： ,mappend :: a -> a -> a} 然后

浏览 0提问于2017-11-28得票数 3

回答已采纳

1回答

具有两个相同类型实例的隐式参数

scala、functional-programming、implicit、monoids

Scala允许我们定义隐式参数。根据准确的类型选择正确的定义。在下面的示例中，为相同的Money类型定义了2个单类实例，为积累定义了MoneyAdditionMonoid，为比较定义了MoneyCompareMonoid。还不清楚的是，Scala编译器是如何发现在maxDebitOnDay和sumBalances函数中使用哪一个单子的？请你向我强调一下这件事，我不

浏览 0提问于2018-04-05得票数 0

回答已采纳

2回答

新类型的Haskell Monoid实例问题

haskell、monoids、newtype、deriving、derivingvia

我正在尝试定义一个实例： newtype Join a = Join { getJoin :: a -> Bool } instance Monoid (Join目标是，如果列表中的所有函数都为真，则函数foldMap Join应该返回true，如果不是所有函数都为真，则返回false。我了解foldMap，以及Monoid的Sum和Product实例，但除此之外，我对编写Monoid<

浏览 22提问于2020-07-20得票数 7

2回答

对的Monad实例

haskell、monads

显示了(,) a b的实例定义，其中a是Monoid的实例。instance Monoid b => Monad ((,) ???)更新实际上，这个问题是一个更一般问题的特例:是否可以编写对某些类型没有出现在末尾的类型类的</em

浏览 2提问于2013-10-05得票数 2

回答已采纳

2回答

向隐藏变量中添加Monoid约束

haskell、applicative、monoids

我在关于Applicative的Haskell一章。我正在为Applicative编写ZipList实例，我知道我考虑过了，并且正在改变我的方法。for ZipList，即： mempty = pure mempty它在Monoid上设置了a约束。在Applicative

浏览 0提问于2018-04-07得票数 1

回答已采纳

1回答

Scala:从特征实例化时使用def或val？

scala

我正在阅读Chiusano和Bjarnason用Scala编写的函数式编程。在第10章中，他们定义了Monoid特性： def op(a1: A, a2: A): A}1) String Monoid： def op(a1:

浏览 0提问于2018-11-24得票数 2

回答已采纳

1回答

scala中的高阶类型类

scala、typeclass

我正在努力理解类型化，到目前为止，我已经了解了Monoids，这是非常简单的： case class Pair[A,B](a: A, b: B)trait Monoid[T] { def unit: T object Monoid { def unit = "" implicit object

浏览 1提问于2017-05-16得票数 1

回答已采纳

1回答

为什么Int不实现'Monoid'？

haskell

$let x = Just 55 :: Maybe Int No instance for (Monoid Int) arisingexpression: mappend x x看着，我看到：ghci> let x = Sum 55 ghci> mappe

浏览 16提问于2015-04-08得票数 24

回答已采纳

1回答

Coq中的Powerset和ensembles

coq

我对幺半群有以下定义 (K : Type) (unit : K) := {Instance Monoid_Instance_1 : Monoid nat plus O. 效果很好。我的问题是，我想实例化(P(P(G)), Union, Empty_set)这样的</e

浏览 1提问于2014-06-11得票数 0

回答已采纳

2回答

haskell有没有一种方法可以通过多个参数和不同的顺序进行紧凑和有效的比较？

haskell、compare

标准如下-最重要的是元组的第一个元素(越多越好)次要的是第二个元素(越少越好)。compareSol (s1, w1) (s2, w2) = if weightComp == EQ then sizeCompcompare w1 w2 sizeComp = compare (Map.foldl' (+) 0 s2) (Map.foldl' (+) 0 s1

浏览 4提问于2017-04-01得票数 2

回答已采纳

1回答

函数从“m附录”函数到“`Monoid`”实例？

haskell、types、metaprogramming

我有一个数据结构(它是玫瑰树的一个特定子类，它形成一个具有最大下界和最低上界函数的格)，它支持两个完全合理的函数作为Monoid类的mappend。在haskell中有任何方法支持匿名Monoid实例吗？在这种情况下，我应该考虑使用诸如Template-Haskell之类的东西来为我生成类型类吗？我想要的是一个让我动态创建实例的makeMonoid :: (RT a -> R

浏览 3提问于2015-02-21得票数 3

回答已采纳

点击加载更多