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

【文件属性】：

文件名称：union:Haskell的可扩展类型安全联合

文件大小：8KB

文件格式：ZIP

更新时间：2024-06-17 13:49:46

联盟 可扩展的类型安全联合。 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)