Haskell的数据类型字段

我有我自己的数据类型：Haskell的数据类型字段

type Types = String 
data MyType = MyType [Types]

我有一个效用函数：

initMyType :: [Types] -> MyType 
initMyType types = Mytype types

现在我创建：

let a = MyType ["1A", "1B", "1C"]

我如何获得列表["1A", "1B", "1C"]从a？一般来说，我如何从数据构造函数中获取数据？

来源

2011-11-08 0xAX

除了在arrowdodger的答案使用模式匹配，因为，你也可以使用记录语法自动定义的访问：

data MyType = MyType { getList :: [Types] }

这定义了类型完全相同

data MyType = MyType [Types]

还定义了一个函数

getList :: MyType -> [Types]

，并允许（但不要求）的语法MyType { getList = ["a", "b", "c"] }用于构建的MyType的值。顺便说一句，initMyTypes并不是真的必要，除非它构造值之外还有别的东西，因为它和构造函数MyType完全一样（但不能用于模式匹配）。

来源

2011-11-08 08:52:35 Max

您可以某处你的代码模式匹配，或者写解构功能：

getList (MyType lst) = lst

来源

2011-11-08 08:41:39 arrowd

Haskell中有很多模式匹配的方法。见http://www.haskell.org/tutorial/patterns.html的详细信息，在图形都可以使用（例如case语句），并在各种不同的模式（懒惰模式，“作为”模式等）

来源

2011-11-08 09:24:14 nponeccop

（答案为子孙后代。）

所以，您的任务是从数据类型构造函数获取所有字段。
这是一个非常优雅的方式来做到这一点。

我们打算使用DeriveFoldable GHC扩展，所以要启用它，我们必须更改您的数据类型声明，如下所示：data MyType a = MyType [a] deriving (Show, Foldable)。

这是从数据构造函数中获取所有数据的通用方法。
这是整体解决方案：

{-# LANGUAGE DeriveFoldable #-} 

import Data.Foldable (toList) 

type Types = String 
data MyType a = MyType [a] deriving (Show, Foldable) 

main = 
    let a  = MyType ["1A", "1B", "1C"] :: MyType Types 
     result = toList a 
    in print result

打印结果会给你 '[ “1A”， “1B”， “1C”]' 你想要的。

来源

2017-09-27 17:33:29 errfrom

Haskell的数据类型字段

回答

相关问题