反向数据构造函数

Question

我如何定义一个函数来接受我的类型并返回它的原始“同义词”？例如：

newtype MyInt = MakeInt Int

我想要一个函数：

unMyInt :: MakeInt -> Int

Answer 1

通过构造函数上的模式匹配：

unMyInt (MakeInt i) = i

Answer 2

另一种(有时也是更舒适的方式)是记录语法：

newtype myInt a = MyInt { unMyInt :: Int }

这会自动定义一个函数

unMyInt :: MyInt -> Int