在 Angular 8 中，我遇到了 angular 中组件重叠的问题。Header 组件是否与子组件重叠？ 如何克服强文本 ...
我有一个带有fundep的类型类：{-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE FlexibleInstances #-} class C a b | a -> b 我想提供具体实例： 以及一般的默认实例： 以书面形式实现此代码， ...
Pragma OverlappingInstances 在 GHC 中被弃用了一段时间，而 OVERLAPPING pragma 是它的替代品。 虽然这不是 Haskell 中定义 class 实例的唯一方法。 我无法通过派生来定义重叠实例，并避免对已弃用的 OverlappingInstance ...
我有如下表： 人 Session session_start 会话结束半小时开始半小时结束一个 A001 2020 年 9 月 13 日晚上 7:58:00 2020 年 9 月 13 日晚上 8:10:00 2020 年 9 月 13 日晚上 8:00:00 2020 年 9 月 13 ...
这个问题可以被认为是后续 将具有 `MonadIO` 类型变量的类实例提升到转换后的 monad 它提供了一个应用程序的示例，说明将在何处使用它。 这个想法是一个类型类 存在，具有不同 monad 中的基本实例 . 我想要的是一种将任何实例提升到自身或变压器堆栈中更高位置的方法，就像 ...
模块Type.hs定义了同音异义词newtype ，只导出其类型构造函数，不导出值构造函数，避免暴露细节； 它还提供了一个构造函数makeType来平衡缺少值的 ctor。 为什么我需要用新类型包装String ？ 因为我希望它不仅仅是一个String ； 在我的特定情况下， Type实际上称为Li ...
我正在编写代码以通过数学逻辑中的定义来实现扩展。 它接受语言及其扩展的描述，并输出一个新的 haskell 文件，该文件会将高级语言解析为低级语言。 当然，如果我可以将语言 C 转换为语言 B，将语言 B 转换为语言 A，那么通过组合我可以将 C 转换为 A.... 这是我面临的问题的一个最小示例： ...
我收到一个我不太理解的冲突家庭实例错误： 结果是 由于实例 header 中的Num n约束， n不比[a]更一般。 这些对我来说似乎并不矛盾。 如果我为[a]实施Num ，以后可能会出现冲突的问题吗？ 如果是这样，任何两个实例都不会存在这种潜在的冲突吗？ 功能依赖会以类型族不允许的方式允许这样做吗 ...
无论aretheyreallyeq或aretheyeq编译，但对于错误aretheyreallyeq对我来说很有意义，而且还告诉我说aretheyeq不应该给一个错误：其中一个实例是GHCI表明有可能EqM在aretheyeq应该是不可能的，因为同样的错误上aretheyreallyeq . 这 ...
重叠实例的优先级未达到我的递归列表转换的预期。 我正在尝试创建一个对任意深度的嵌套列表进行操作的转置函数。 目标是具有两个功能，一个可以将“最高维度”下调为“最低”，即将具有[a，b，c]维度的嵌套列表转换为具有[[ b，c，a]和与之相反的一个[a，b，c]与[c，a，b]。 {-# ...
背景 我在Haskell（GHC 8.6.3）中编写了以下代码： {-# LANGUAGE NoImplicitPrelude, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, TypeFamili ...
假设我们有以下内容： 使用此代码，ghc抱怨： 我可以理解，它认为类型a可以派生Show或派生ListContainer ，这可能导致Show 。 我们如何避免这种情况？ 我知道这里有一个函数showList ，但是它的签名有点陌生。 我已经有一个打算用来显示某些列 ...
我试图定义默认的方法实现，但前提是该类的类型变量派生某些其他类。 我尝试使用=>创建类型相关的实例（我是否正确使用了它？），但出现“重复实例声明错误”：（ https://repl.it/@solly_ucko/Distributions ） {-# LANGUAGE Flexib ...
这个问题实际上是从试图将几个数学群体作为类型实现的。 循环组没有问题（其他地方定义的Data.Group实例）： 但是对称组在定义某些实例时存在一些问题（通过阶乘数系统实现）： 来自ghci的错误消息（仅简要说明）： 那么GHC如何知道n-1是否等于1？ 我还想知 ...
如何定义一个环境，我们可以在其中添加“功能”而不遇到重叠的实例？ 假设我们具有以下数据类型和类型类： 现在，我们要定义几个需要环境中某些成分的函数： 我们为Has*定义了一些实例： 最后，我们想定义一个准备冰沙和沙拉的函数： 现在的第一个问题是，可以使用什么 ...
几天前，我问了一个关于在free-monads环境中注入仿函数的问题 。 在那里建议的解决方案，基于数据类型àlaCarte使用一个类来表示仿函数之间的一种包含关系。 现在考虑以下数据类型： 并且具有以下类型的功能 Free来自Control.Monad.Free模块。 ...
我一直在尝试使用HLists的简单实现和一个hasInt函数，如果Int是列表的成员，则该函数将返回True ： 这没有给出预期的结果。 但是，如果我进行更改，它似乎确实可以工作： 至： 另一方面，如果我使用类型类函数但不包括约束，通常我希望GHC会抱怨，并且在这种情况 ...
我有以下代码。 Class1实例说明类的直接超类是什么， SuperClass1自动遍历Class1以查找所有超类。 （我已经省略了这些类的实际方法，因为它们与我的问题无关。） 这很棒！ 现在，我想像这样使用它： （即，无论何时Functor是c的超类，我都可以为Hfree ...
尊敬的Haskell / GHC专家， 我不太明白为什么GHC报告重叠的实例，而根据提供的上下文，只有一个有效。 例如，让我们考虑以下代码： 编译可以得到： 关键是('a', True)具有(Char, Bool)类型(Char, Bool)它不是C的实例。 因此， i ...
我有一个类型类： 它看起来不是很有用，但是我使用它来强烈地（不仅仅是type同义词）区分语义不同的Map String Int ： 并且仍然具有可在任何类型的类上运行的函数。 有没有更好的方法来进行这种区分（也许没有Wrapper实例样板）？ 我想做这个： ...