Storable类型类在Haskell中做什么？

文章/答案/技术大牛

发布

1回答

haskell

我已经阅读了一些关于Haskell的C FFI的文档。我刚刚遇到了一个名为Storable的类型类，我不太理解它。但是我根本不知道sizeOf和alignment是什么意思。

浏览 9提问于2016-09-10得票数 11

回答已采纳

1回答

使用Haskell FFI调用由指向该函数的C指针引用的C函数

haskell、ffi

在'C‘wiringPi库中有一个带有类型的函数，我试着在haskell中使用FunPtr的FFI调用它。所以我试过了 :: Ptr (Ptr (CInt -> CInt -> IO ())) 然后，在调用'pinMode‘的haske

浏览 1提问于2013-03-04得票数 1

回答已采纳

2回答

我正在尝试为C库创建一个Haskell包装器。底层结构太复杂了，无法表示为显式类型，实际上除了在C函数之间传递之外，我并不使用它们，所以我使用EmptyDataDecls让GHC为我解决这个问题。我需要的是指向这些数据类型之一的指针，但是当我尝试使用alloca创建一个数据类型时，它报告数据不是Storable类型。但这几乎与目的背道而驰-如果我不关心结构中的内容，我不想定义这样的东西。我注意到指向指针的指针工作得很好，因为Ptr类

浏览 2提问于2011-01-25得票数 9

回答已采纳

2回答

带有C结构指针/数组字段的Haskell* Data.Vector.Storable.unsafeFromForeignPtr*

arrays、pointers、haskell、vector、ffi

我使用Haskell和一个C库，它定义了许多struct类型，这些成员是指向doubles的指针，用于作为doubles的数组对待： int length;double* values;在我对这个库的Haskell绑定中，我有一个等效的数据类型，在该类型中，我试图对数组使用Data.Vector.Storable.Vector DoubleEq) 当然，

浏览 7提问于2014-06-07得票数 4

回答已采纳

1回答

是否可以通过GHC的泛型派生导出Data.Vector.Unbox？

haskell、template-haskell、storable、ghc-generics、derivingvia

可以通过GHC的通用派生机制：Storable (以及性能方面的 )来派生。然而，我唯一能找到的派生Data.Vector.Unbox的库是使用模板Haskell：。我的问题是，像deriving-storable这样的库是否也存在于Unbox中，还是由于Unbox与Storable的一些基本区别而不可能这样做？如果是后者，这是否意味着也不可能创建允许为任何Unbox类型自动派生Storable的库，因为我找不到这样的库。我之所以这样问，是因为理想情况下，我希望避免模板

浏览 2提问于2019-06-27得票数 3

回答已采纳

2回答

如何插入向量(或获取指向其数据的Ptr向量)？

haskell、ffi

我读到过将其元素存储在一个连续的内存区域中。我一直期望Vector会是Foreign.Storable的一个实例，或者至少会有一个函数:: Vector a -> Ptr (Vector a)，但实际上只有unsafeToForeignPtr0:: Storable a => Vector a -> (ForeignPtr a, Int)。我的Haskell代码生成了一个Foreign.Storable列表，我想从C代码访问这个列表。Vector.Storable这样做

浏览 2提问于2013-01-02得票数 6

回答已采纳

2回答

是否有可能在haskell实现一个通用的就地快速排序？

haskell、quicksort

我在试着写一个就地版本。就地速成很容易。通常，我们只需要一个可变的数组，我选择了Foreign.Marshal.Array。更准确地说，类型约束Storable a让我很恼火。显然，如果我们想对项进行排序，则需要Ord约束，而Storable则是不必要的。相反，经典的快速排序或sort在Data.List中的<

浏览 1提问于2013-02-03得票数 1

回答已采纳

2回答

Foreign.Storable中的超大布尔块

haskell、memory

我明白了：GHCi> sizeOf False我希望它是1，但我认为它可能带有一些指针或其他迫使它变得更大的东西。

浏览 0提问于2017-01-21得票数 4

1回答

将不同类型元素的列表传递给C函数

haskell、tuples、ffi

我有一个用C写的函数，我想从Haskell程序中调用它。函数类型为：它接受一个大小和一个指针，然后把整个东西放到内存中的某个地方。它旨在与混合类型一起使用。你可以放n个浮点数，然后放m个布尔数，依此类推(在C中)。在Haskell中表示这种情况的最方便的方式是-在我看来-例如像([a],[b])这样的东西。但是，我需要把整个东西放到一个Ptr a中</e

浏览 1提问于2013-10-15得票数 0

2回答

基于复杂的Haskell类型生成C结构

c、haskell、ffi

我正在尝试在我的C代码中使用Haskell库。我尝试使用的Haskell函数的类型是String -> IO [Reference]，其中Reference是一个相当复杂的结构(请参阅)。根据阅读各种文档，我似乎必须使这个类型成为Storable的实例，并且在我的c代码中定义一个类似的结构来访问它。对于这样一个复杂的类型，这似乎是很多非常重复的工作。有没有办法让这一切自动化呢？

浏览 2提问于2013-01-24得票数 11

回答已采纳

1回答

如何为递归类型创建可存储实例？

c、haskell、binding、ffi、storable

我在Haskell模块中有以下数据类型，我想编写一个可存储的实例，以便通过FFI与C一起使用它： TypeDouble Double | TypeAdd (MyType a) (MyType a) instance Storable a => Storable (MyType我认为实现这些函数的方式与在中相同，但只有当列表中

浏览 5提问于2017-10-17得票数 2

回答已采纳

1回答

从多个C/C++线程调用Haskell

c++、multithreading、haskell、ffi

我有一个用Haskell编写的小函数，类型如下： foreign export ccall sget :: Ptr CInt -> CSize -> Ptr CSize -> IO (Ptr CInt)在程序执行的这一部分，即使我在六核CPU (12个逻辑核心)上运行，我也只能勉强获得1.4以上的平均负载。因此，我怀疑要么对Haskell的所有调用都是通过单个线程进行的，要么就是有一些重要的同步正在进行。我没有显式地做任何这样的事情，这个函数所做的只是对传入的数据进行操作(在</

浏览 0提问于2020-03-17得票数 6

1回答

Haskell中指向ADT的指针

pointers、haskell、ffi

我想在Haskell中实现术语图，这样我就可以实现一个使用共享的术语重写引擎。我希望下面这样的事情有意义： t' = Op 'f' [Var 'x', Var 'y']in然后在重写过程中但是，我注意到了两件事：(1)这个模块叫做Foreign.Storable，所以它应该只用于FFI内容吗？(2)没有

浏览 2提问于2013-12-18得票数 4

回答已采纳

1回答

使用Haskell封送结构；以及如何使用FunPtr

haskell、ffi

我有一些关于haskell中的ffi的问题。首先，我试图在haskell中使用c结构。

浏览 0提问于2011-06-05得票数 4

回答已采纳

1回答

指针的编组向量

haskell、ffi

我试图将任意右嵌套对(即Vector (Int64, (Int64, (...))))的Haskell数组表示为C(即int64_t**)中的二维数组，首先作为向量组件进行索引，然后是元组组件。tupSize; j++) { } }在Haskell(a,b)实例很好:我得到了一个指向(Int64,In

浏览 8提问于2016-01-31得票数 5

回答已采纳

2回答

如何为这种类型创建一个可存储的实例？

haskell、binding、ffi

假设我有以下C结构： int ready;我用这种类型在Haskell中表示它：现在我想要一个Storable实例。下列各项运作良好： alignment = sizeOf但是，添加peek

浏览 3提问于2015-04-19得票数 2

回答已采纳

1回答

Haskell:使用sizeOf时可存储中的模糊类型变量

haskell

编撰byte_list_to_storable byte_list= do size_of_storable = sizeOf (undefined :: a) 尽管有显式的

浏览 1提问于2014-04-13得票数 1

回答已采纳

1回答

如何将特殊的多态类型声明为特定类型类的实例？

haskell、instance、typeclass

我有一个名为ManagedValue的类型类，定义如下： type ManagedPtr a = (r :: *) | r -> a类型类型实例的类型，它也是ManagedValue类型类型的实例，但并不是所有的ManagedValue都是可存储的。但是，我不能将它定义为类似于instance Storable a => ManagedPtr a where ...的东西，因为G

浏览 4提问于2021-11-10得票数 2

回答已采纳

2回答

如何在Haskell中定义数组类型

arrays、haskell、user-defined-types

在大多数功能语言(包括Haskell )中，定义链接列表类型本身是简单的：但是，我在Haskell教程中找不到显示如何定义自己的数组类型的教程如何定义数组数据类型，就像我们从无到有地定义自己的列表一样？Note：我的问题不是如何在Haskell中使用数组，而是理论上如何定义自己的数组类型，就像为List所做的那样，而不使用任何

浏览 2提问于2014-01-29得票数 6

回答已采纳

1回答

用hsc2hs在C和Haskell之间传递静态数组

c、arrays、haskell、ffi

下面是一个简单的h文件：typedef struct {} XYZ; #{poke XYZ, x} ptr r1 #{poke XYZ, z} ptr r3typedef struct {

浏览 0提问于2018-03-31得票数 2

回答已采纳

点击加载更多