回答情况：
提问时间：
问题标签：
我正在尝试创建代数类型类的“层次结构”，如下所示： class Semigroup a where foldr1 (.*) = foldl1 (.*)-- GHCi error: "`foldr1' is not a (visible) method of class `Semigroup'"
class (Semigroup a) => Monoid这些错误让我恼火，因为我假设通过编写(例如) class (Semigrou
浏览 0修改于2016-03-08得票数 5
回答已采纳
import Data.Semigroup ((<>))
..
浏览 13修改于2020-04-10得票数 5
回答已采纳
"Haskell Programming: from first principles“中的以下代码无法编译：import Data.Semigroup它会给出以下错误： • Could not deduce (Semigroup
浏览 22提问于2018-09-09得票数 18
回答已采纳
以下是的定义-- placed inside 'Min' and和Max看起来如下所示：Semigroup实例很有趣：
instance Ord a => Semigroup (Min a)
浏览 5提问于2020-11-20得票数 7
回答已采纳
为什么Semigroup有一个Option类型，而在Monoid中没有一个表现得像中性元素？two |+| n should be(Some(2))//n look like neutral here
Semigroup[Option[Int]].combine(Option(1), None) should be(Some(1))//why does semigroup has it?
浏览 20提问于2020-09-03得票数 0
回答已采纳
(Semigroup (t a), _) => t a -> Maybe a let xsWrapped :: t (t a) = pure <$> xs -nexsHead = strangeHeadMay nexs此外，我必须承认我不完全清楚为什么我需要部分类型的签名，但是将(Semigroup(t a), _)更改为(Semigroup (t a))会导致不好的事情发生。
浏览 11提问于2019-11-21得票数 6
回答已采纳
Monads通过定义Semigroups (<>) = (>>)instance Semigroup a => Semigroup (Maybe
浏览 0提问于2013-03-27得票数 6
回答已采纳
._我想要创建一个Semigroup的实例。/)
[info] Compiling 1 Scala source to /home/mp/code/scala/examples/semigroup/target/scala-2.10/classes[error] /home/mp/code/scala/examples/semigroup<
浏览 2提问于2015-06-25得票数 3
回答已采纳
如果我执行$ cabal install semigroup，我会得到以下错误Ambiguous occurrence ‘Semigroup’ imported from ‘Prelude’ at Data/Semigroup.hs:2:8-21
浏览 32提问于2018-06-02得票数 0
回答已采纳
我试图以一种通用的方式为包括集合在内的大多数scala类型实现SemiGroup。但是当涉及到集合时，我坚持实现集合的隐式SemiGroupImplicitTypes。例如:如果我想实现一个SemiGroup[ListT]，它需要列表中的元素类型的另一个参数，我不想单独实现SemiGroup[ListInt]，SemiGroup[ListDouble]，我想要一个隐式的实现trait Semigroup[T] extends Any {}
ob
浏览 0提问于2018-09-28得票数 0
我还试图声明无限多个半群的直积： instance (Semigroup (t n), Semigroup (OmegaTuple t (n+1))) => Semigroup (OmegaTuplexs <> ys 然而GHC像这样抱怨： • Illegal nested constraint ‘Semigroup (OmegaTuple t (n + 1))’
(Use UndecidableInstances另一次尝试： instance (Semigroup (t n), f
浏览 18提问于2021-08-24得票数 4
回答已采纳
规范规定Semigroup应遵循以下类型定义：我理解这意味着实现Semigroup的类型Semigroup应该有一个concat这个解决方案使实现Semigroup规范成为可能，如所示，但是接口并没有真正地强制执行它。* */
与其使b成为泛型，我认为我们至少可以将该类型
浏览 13修改于2022-01-07得票数 4
我正在尝试将Haskell Semigroup转换为Scala。Haskell代码工作正常，但我不能用Scala编写它import Data.Semigroup
Combine f <> Combine g =(unCombine (f <&g
浏览 1修改于2018-09-14得票数 0
trait Semigroup[T]: extension (left: String) def combine(right: String): String = ???given [T]: Semigroup[List[T]] with
extension (left: List[T]) def
浏览 3修改于2021-06-05得票数 1
回答已采纳
下面是一个示例： def append(a: A, b: A): A def zero(): A def append(a: A, b: A): A = semigroup.append(a, b)
浏览 0提问于2018-05-26得票数 2
和Free Monoid编写Free Semigroup和Free Monoid实例，没有问题： Free0g' = Free0 $ \f -> g f <> g' finstance (forall v.
浏览 2提问于2019-06-13得票数 4
回答已采纳
按类型参数F-绑定多态性 def combine(that: A): A override def combine(that: Foo): Foo = Foo(this.v + that.v)
final case class Bar(v: String) extends Semigroup[
浏览 10修改于2020-01-20得票数 10
回答已采纳
半组必须是结合性的，但我可以像这样定义Semigroup： def op(t1:T, t2:T) : T我能够实现非关联的plus，但是这个类仍然是一个Semigroup。
浏览 12修改于2020-03-10得票数 0
class semigroup= assumes assoc: "(x⊗y)⊗z=x⊗(y⊗z)"
fixes K::"semigroup"代码fixes K::"semigroup"提示“
浏览 15提问于2021-01-30得票数 0
我正在收集Semigroup实例中连接半格的示例。正如您可能知道的，连接半格类似于半群，但需要额外的交换性和幂等性。通过对黑客库的快速扫描，我发现了以下示例：
Data.Semigroup.Max Data.Semigroup.All Data.Semigroup.AnyData.Map.Append.AppendMap
浏览 4提问于2019-12-02得票数 2
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号