我将dimensional
与自定义单位一起使用(' Numerics.Units.Dimensional.Extensible')。但是,它基于功能依赖性,我遇到UndecidableInstances
问题。我可以使用dimensional-tf
解决我的问题,Extensible
使用类型系列而不是功能依赖。
但是我在dimensional-tf
中找不到dimensional-tf
的任何等价物。因为它还没有实现,或者只是没有必要。如果是这种情况,我如何在{{1}}中定义用户定义的单位?