haskell - 看看 Type 是 ghci 中哪些 Typeclass 的实例？-6ren

haskell - 看看 Type 是 ghci 中哪些 Typeclass 的实例？

转载作者：行者123 更新时间：2023-12-02 07:03:10

27

4

是否可以查看该类型实现了哪些类型类？像这样的东西:

>:typeclasses Int
[Num, etc...]

最佳答案

使用:info命令。

Prelude> :info Int
data Int = GHC.Types.I# GHC.Prim.Int#   -- Defined in GHC.Types
instance Bounded Int -- Defined in GHC.Enum
instance Enum Int -- Defined in GHC.Enum
instance Eq Int -- Defined in GHC.Base
instance Integral Int -- Defined in GHC.Real
instance Num Int -- Defined in GHC.Num
instance Ord Int -- Defined in GHC.Base
instance Read Int -- Defined in GHC.Read
instance Real Int -- Defined in GHC.Real
instance Show Int -- Defined in GHC.Show

当然，此列表取决于当前导入的模块。

Prelude> :info (->)
data (->) a b   -- Defined in GHC.Prim
Prelude> :m +Control.Monad.Instances
Prelude Control.Monad.Instances> :info (->)
data (->) a b   -- Defined in GHC.Prim
instance Monad ((->) r) -- Defined in Control.Monad.Instances
instance Functor ((->) r) -- Defined in Control.Monad.Instances

关于haskell - 看看 Type 是 ghci 中哪些 Typeclass 的实例？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9335694/

27

4

0

文章推荐： spring - 如何控制并行 Spring Batch 作业的数量

文章推荐： ASP.NET WebApi : (405) Method Not Allowed

文章推荐： c++ - C++20 中允许 east constexpr/constinit/consteval 吗？

typeclass - Coq 部分 : require typeclass instance
Require Import Relations RelationClasses. Section MySection. Variable A : Type. Variable R : rel
haskell - 在 Haskell 中，Integral typeclass 是否意味着 Show typeclass？
我试图编译这段代码。 symmetric [] = True symmetric [_] = True symmetric l | (head l) == (last l) = symmetr
typeclass - 将命名实例用于其他实例
我正在尝试制作 Semigroup和 VerifiedSemigroup我的自定义实例 Bool运算符 && 上的数据类型和运算符(operator) || : %case data Lógico =
typeclass - 命名实现到默认实现
我为 Int 类型的类型类 Ord 定义了一个命名实现。 [mijnOrd] Ord Int where compare n1 n2 = ... 如何导入此命名实现并将其用作“默认” 所以在另一个
typeclass - 如何在定理类型中引用类型类多态变量？
我写了一个 Haskell 风格的 Functor 类型类: Class Functor (f: Type -> Type) := { map {a b: Type}: (a -> b) -> (
haskell - typeclass bimap怎么没有循环定义
我缺少什么关键的直觉来理解这段代码？我不明白这些是怎么组成的。首先需要一个函数 (a->c) 和构造类型 (f a b)。然而，第二个产量(f a d)。此外，first 和 second 是根据 b
typeclass - Coq:展开类实例
如何在 Coq 中展开类实例？似乎只有当实例不包含证明或其他东西时才有可能。考虑一下: Class C1 (t:Type) := {v1:t}. Class C2 (t:Type) := {v2:t;
typeclass - Purescript 行联合
我一直在尝试使用指定 eval 函数的 Component 类型类在 Purescript 中开发组件系统。 eval 函数可以由组件的每个子组件递归调用，实质上是获取输入的值。由于组件可能希望使用
typeclass - Coq:类型类与相关记录
我无法理解Coq中类型类和相关记录之间的区别。引用手册提供了类型类的语法，但没有说明它们的真正含义以及如何使用它们。一点思考和搜索表明，类型类本质上是从属记录，带有一些语法糖，可以使Coq自动推断一些
typeclass - 类型类实例化中的现有常量(例如构造函数)
考虑这个伊莎贝尔代码 theory Scratch imports Main begin datatype Expr = Const nat | Plus Expr Expr 实例化 plus 是很合
Haskell Typeclass 速记
因此，我有一对类型类，我将经常一起使用它们，并且我想避免每次都指定它们。基本上，而不是把 :: (Ord a, Fractional a, Ord b, Fractional b, ... Ord z
Haskell Typeclass 类型约束和推导
我一直在读《Learn You a Haskell》一书，并且正在尝试了解 Haskell 类型类。作为练习，我尝试创建一个简单的向量类型类。下面的代码片段让我有些悲伤(导致我在 StackOverf
typeclass - Nim 中的类型类
我正在尝试在 Nim 中简单地使用类型类。请记住，我从今天早上才开始使用 Nim，所以我可能做了一些愚蠢的事情。无论如何，我想定义一个伪随机生成器来生成 T 类型的值流。有时 T 是数字，因此了解可
scala - Typeclass 的模棱两可的隐含值
我正在尝试抽象出针对特定类型触发的 json 解析逻辑。我开始创建 Parser 特征，如下所示: trait Parser { def parse[T](payload : String) :
typeclass - 为什么 PureScript 中的实例有名称？
我现在在一个项目上使用 PureScript 并遇到了一些实例(我是新手，并且正在像我一样学习)。基本上我必须创建一个实例才能重载具有不同类型的函数。 public String toStr(Inte
haskell - 持久性:CRUD TypeClass
我正在尝试编写一个类型类，以简化使用持久性、aeson 和 scotty 编写 CRUD 后端这是我的想法: runDB x = liftIO $ do info CRUD a where
haskell - 使用最通用的 typeclass 函数类型
我正在尝试在 Haskell 中编写一个简单的遗传算法。我认为第一步应该是为“遗传”的个体创建一个类型类，如下所示: class Genetic a where fitness :: (Ord
typeclass - 在精益类定义中扩展或推断(PID/UFD)
为什么 mathlib 对 UFD 的定义是这样的: class unique_factorization_domain (α : Type*) [integral_domain α] := (fac
haskell - 如何编写数据的 "Show"Typeclass
我有一个非常简单的data，我想使用Show类型类来给它一个很好的输出。 data Fruit = Apple | Orange Int instance Show Fruit wh
scala - 如何从 TypeClass 解析中排除特定类型？
我想为大多数类型提供一个 ToCondition 操作，但不为字符串提供。 (这是在移植 Javascript 代码时，经常进行非空和非零测试，重写所有此类测试以进行适当比较非常乏味)。这样做很容易，

首页

博学

6Ren·AI

商城

haskell - 看看 Type 是 ghci 中哪些 Typeclass 的实例？