文件名称：haskell-mgeneric:具有多个参数的 Haskell 中的泛型
文件大小：19KB
文件格式：ZIP
更新时间：2024-07-07 12:44:06
Haskell
MGeneric ：具有多个参数的泛型 该包提供了 Haskell 中具有多个参数的泛型的实现，如。 MGeneric 实例可以为大多数数据类型导出，使用deriveMGeneric ''Type 它还提供了类型类 MFunctor、MFoldable 和 MTraversable，将 Functor、Foldable 和 Traversable 推广到除 (* -> *) 之外的类型，以及类型类 MZipWith。 例子 kind Variance = CoV | ContraV -- f is the functor -- (fs :: [*]) are the mapping functions -- (vs :: [Variance]) are the variances of f mmap :: MFunctor f fs vs => HList fs -> f :$: D
【文件预览】：
haskell-mgeneric-master
----Setup.hs(46B)
----mgeneric.cabal(2KB)
----src()
--------Data()
----LICENSE(1KB)
----README.md(4KB)