如何定义一个接受我的类型并返回其原始"同义词"的函数？例如:
newtype MyInt = MakeInt Int
我想要一个功能:
unMyInt :: MakeInt -> Int
fuz*_*fuz 15
另一种(有时更舒适的方式)是记录语法:
newtype myInt a = MyInt { unMyInt :: Int }
这会自动定义一个功能
unMyInt :: MyInt -> Int
| 归档时间： |
|
| 查看次数： |
336 次 |
| 最近记录： |