文件名称：type-sets:类型水平集
文件大小：35KB
文件格式：ZIP
更新时间：2024-03-30 01:48:41
Haskell
类型集 奉献精神 障碍不必阻止您。 如果碰到墙，不要转身放弃。 弄清楚如何攀爬，穿过它或围绕它工作。 -Michael Jordan，关于Haskell的复杂性分析 概述 您讨厌在类型级别上编程，但是只能使用列表吗？ 一百万？ 两百万？ 一些数学家怀疑，仇恨可能更大。 输入type-sets 。 它们是在类型级别设置的！ 检查一下： {-# OPTIONS_GHC -fplugin=Type.Compare.Plugin #-} import Type.Set type MySet = Insert Bool ( Insert String ( Insert ( Maybe Int ) 'Empty )) test1 :: Proxy ( Member Bool MySet ) -> Proxy 'True test1 = id -- Bool is a member :) tes
【文件预览】：
type-sets-master
----.gitignore(37B)
----Setup.hs(46B)
----src()
--------Type()
----.travis.yml(436B)
----stack.yaml.lock(447B)
----magic-tyfams()
--------.gitignore(31B)
--------Setup.hs(46B)
--------src()
--------LICENSE(1KB)
--------README.md(2KB)
--------magic-tyfams.cabal(1KB)
--------package.yaml(719B)
--------ChangeLog.md(341B)
----LICENSE(1KB)
----cabal.project(95B)
----README.md(2KB)
----cmptype()
--------.gitignore(31B)
--------Setup.hs(46B)
--------src()
--------LICENSE(1KB)
--------cmptype.cabal(2KB)
--------README.md(1KB)
--------package.yaml(909B)
--------test()
--------ChangeLog.md(355B)
----package.yaml(797B)
----test()
--------Spec.hs(9KB)
----ChangeLog.md(199B)
----type-sets.cabal(1KB)
----stack.yaml(60B)