文件名称：NestedFunctor:具有类型索引跟踪嵌套的函子的嵌套组合
文件大小：6KB
文件格式：ZIP
更新时间：2024-06-30 13:44:11
Haskell
嵌套函子 具有类型索引跟踪嵌套的函子的嵌套组合。 data Flat ( x :: * -> * ) data Nest ( o :: * ) ( i :: * -> * ) data Nested fs a where Flat :: f a -> Nested ( Flat f ) a Nest :: Nested fs ( f a ) -> Nested ( Nest fs f ) a 甲Nested fs a是中提到的所有层的组合物fs ，施加到a 。 具体来说， fs参数是一种 snoc-list 保存类型为(* -> *)构造函数。 最外层显示为Flat的参数； 最内层显示为最外层Nest的最右边参数。 例如： [ Just [ ' a ' ]] :: [ Maybe [ Char ]] Fl
【文件预览】：
NestedFunctor-master
----.gitignore(108B)
----Setup.hs(46B)
----LICENSE(1KB)
----NestedFunctor.cabal(1KB)
----README.md(912B)
----Data()
--------Functor()