【文件属性】:
文件名称:NestedFunctor:具有类型索引跟踪嵌套的函子的嵌套组合
文件大小:6KB
文件格式:ZIP
更新时间:2021-06-10 19:57:31
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()