文件名称：typelevel-rewrite-rules:重写类型级别相等性的规则
文件大小：59KB
文件格式：ZIP
更新时间：2024-06-05 08:57:33
Haskell
类型级别重写规则 使用自定义类型级别的重写规则(n + 'Z) ~ n如(n + 'Z) ~ n和((m + n) + o) ~ (m + (n + o)) 。 问题 涉及类型族的类型平等有时会卡住： {-# LANGUAGE DataKinds, TypeFamilies, TypeOperators #-} module My.Module where import Prelude hiding ( (++) ) import Data.Type.Nat ( Nat ( Z , S ), type (+) ) import Data.Vec.Lazy ( Vec , (++) ) -- Couldn't match type ‘(((m + 'Z) + n) + 'Z) + o’ -- with ‘(m + n) + o’ simplify ::
【文件预览】：
typelevel-rewrite-rules-main
----package.yaml(1KB)
----typelevel-rewrite-rules.cabal(3KB)
----.github()
--------workflows()
----test()
--------should-compile()
--------error-messages()
--------error-messages-cases()
----stack.yaml(110B)
----src()
--------TypeLevel()
----oldest-supported-lts.yaml(269B)
----.gitignore(156B)
----CHANGELOG.md(1KB)
----README.md(36KB)