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
回答已采纳
1回答
如果我执行$ cabal install semigroup，我会得到以下错误Ambiguous occurrence ‘Semigroup’ imported from ‘Prelude’ at Data/Semigroup.hs:2:8-21
浏览 32提问于2018-06-02得票数 0
回答已采纳
3回答
我试图以一种通用的方式为包括集合在内的大多数scala类型实现SemiGroup。但是当涉及到集合时，我坚持实现集合的隐式SemiGroupImplicitTypes。例如:如果我想实现一个SemiGroup[ListT]，它需要列表中的元素类型的另一个参数，我不想单独实现SemiGroup[ListInt]，SemiGroup[ListDouble]，我想要一个隐式的实现trait Semigroup[T] extends Any {}
ob
浏览 0提问于2018-09-28得票数 0
1回答
我还试图声明无限多个半群的直积： 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
回答已采纳
1回答
我试图利用Semigroup类型化来玩玩单子，并且我试图在自然数上定义一个单子。我将以下类和实例声明放入GHCI中Prelude| class Semigroup a wherePrelude
浏览 5提问于2020-07-11得票数 0
回答已采纳
1回答
规范规定Semigroup应遵循以下类型定义：我理解这意味着实现Semigroup的类型Semigroup应该有一个concat这个解决方案使实现Semigroup规范成为可能，如所示，但是接口并没有真正地强制执行它。* */
与其使b成为泛型，我认为我们至少可以将该类型
浏览 13提问于2022-01-06得票数 4
2回答
Scala中具有函数的半群
、、、、
我正在尝试将Haskell Semigroup转换为Scala。Haskell代码工作正常，但我不能用Scala编写它import Data.Semigroup
Combine f <> Combine g =(unCombine (f <&g
浏览 1提问于2018-09-14得票数 0
编写一个在任何定义了加法操作的类上操作的方法的正确方法是什么？def trajectory[A <: {def +(a:A):A}](a:A): A = {}
浏览 3提问于2018-06-24得票数 3
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
trait Semigroup[T]: extension (left: String) def combine(right: String): String = ???given [T]: Semigroup[List[T]] with
extension (left: List[T]) def
浏览 3提问于2021-05-10得票数 1
回答已采纳
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-19得票数 10
回答已采纳
class semigroup= assumes assoc: "(x⊗y)⊗z=x⊗(y⊗z)"
fixes K::"semigroup"代码fixes K::"semigroup"提示“
浏览 15提问于2021-01-30得票数 0
1回答
在scala中要求半群是可结合的
、、、、
半组必须是结合性的，但我可以像这样定义Semigroup： def op(t1:T, t2:T) : T我能够实现非关联的plus，但是这个类仍然是一个Semigroup。
浏览 12提问于2020-02-28得票数 0
和Free Monoid编写Free Semigroup和Free Monoid实例，没有问题： Free0g' = Free0 $ \f -> g f <> g' finstance (forall v.
浏览 2提问于2019-06-13得票数 4
回答已采纳
1回答
在cats中有两个半群类型类：Semigroup和SemigroupK，后者处理类型构造函数。我看不出后者比前者有什么好处。请注意，NonEmptyList还通过以下方法提供Semigroup：
implicit def catsDataSemigroupForNonEmptyList[A]: Semigroup[NonEmptyList然后，似乎大多数半群操作只在Semigroup上可用，而不是在SemigroupK上可用( Reducible中有reduceK，但这是我看到的唯一一个，它将委托给在Semigro
浏览 2提问于2016-11-07得票数 5
我正在收集Semigroup实例中连接半格的示例。正如您可能知道的，连接半格类似于半群，但需要额外的交换性和幂等性。通过对黑客库的快速扫描，我发现了以下示例：
Data.Semigroup.Max Data.Semigroup.All Data.Semigroup.AnyData.Map.Append.AppendMap
浏览 4提问于2019-12-02得票数 2
3回答
如何在Dotty中使用？
、、、、
我在Contextual Abstractions页面下查看Contextual Abstractions文档，我看到了Given Instances。
def compare(x: T, y: T): Int def (x: T) > (y: T) = compare(x, y) > 0
given intOrd: O
浏览 5提问于2019-12-23得票数 3
回答已采纳
1回答
我有这个类型，它是SemiGroup的一个实例。我想编写一个quickCheck方法来确保它是正确的。如何创建这种类型的任意实例？newtype Combine a b =
instance Semigroup b => Semigroup (Combine a
浏览 0提问于2015-11-11得票数 3
回答已采纳
我指的代码是GHCI正在向我抛出这个错误。Module ‘Data.Semigroup’ does not export ‘Semigroup((<>))’
这个能行吗？也许我的GHC版本有什么问题吗？所有其他导入语句都正常工作。
浏览 0提问于2019-07-19得票数 2
回答已采纳
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号