union:Haskell的可扩展类型安全联合

【文件属性】：
文件名称：union:Haskell的可扩展类型安全联合
文件大小：8KB
文件格式：ZIP
更新时间：2021-05-28 20:03:06
联盟 可扩展的类型安全联合。 ghci> let a = openUnion # (5 :: Int) :: OpenUnion '[Bool, Int] ghci> a ^? openUnion :: Maybe Int Just 5 ghci> a ^? openUnion :: Maybe Bool Nothing ghci> a ^? openUnion :: Maybe Char :8:6: No instance for (UElem Char '[] (RIndex Char '[])) arising from a use of ‘openUnion’ In the second argument of ‘(^?)’, namely ‘openUnion’ In the expression: a ^? o

【文件预览】：
union-master
----.gitignore(190B)
----Setup.hs(46B)
----union.cabal(2KB)
----src()
--------Data()
----LICENSE(1KB)
----bench()
--------Benchmark.hs(2KB)
----.github()
--------workflows()
----README.md(756B)