问
将NominalDiffTime转换为Real
ji_yi 发布于 2023-02-08 16:21在Data.Time.Clock的文档中,我看到:
转换函数会将其视为秒.它的精度为10 ^ -12 s
什么功能会把它NominalDiffTime变成一个Double？没有运气哄骗它
1 个回答
-
您需要更加关注该类型的实例列表.其中一个列出的例子是
Real NominalDiffTime.这允许您使用realToFrac :: (Real a, Fractional b) :: a -> b转换为Double,因为Double是一个实例Fractional.既然
NominalDiffTime有一个Real实例,并且Double有一个Fractional实例,你可以使用realToFrac它就好像它有类型签名一样NominalDiffTime -> Double.当然,realToFrac比这更具多态性,因此您可能需要准确地给它提示您有时要转换的类型.但它确实能够进行转换,如果它可以找出类型.2023-02-08 16:23 回答
星仔star-powerbz
撰写答案
今天，你开发时遇到什么问题呢？
立即提问
京公网安备 11010802041100号