文件名称:取消装箱:通过背包尝试未上课的课程
文件大小:50KB
文件格式:ZIP
更新时间:2024-03-24 00:04:02
Haskell
拆箱 这是一个小程序包,探讨如何重载Prelude类型类以在多个RuntimeRep上工作。 最终结果是使用足够的扩展名(包括NoImplicitPrelude和RebindableSyntax ,导入Unlifted.Prelude将允许您在任何TYPE r使用Eq , Ord , Num等,而不仅仅是TYPE 'LiftedRep 。 这允许在未提升的类型(例如Int#或Float#使用数字文字(例如3)。 如果您使用Type类型的类型,则此包将委派给普通的Prelude实例,因此您不必提供重复的定义。 除了重载类之外,还提供了一些有限的数据类型。 尤其是提升或未装箱价值列表以及提升或未提升价值的Maybes清单。 当GHC 9.2着陆时,希望能够支持拆箱数据类型,然后应该有可能取消清单。 允许这样做的关键操作是Unlifted.Levitation Lev 。 通过观察核心中
【文件预览】:
unboxed-main
----internal()
--------AddrRep.hs(85B)
--------NilReps.hs(149B)
--------WordRep.hs(85B)
--------Word8Rep.hs(87B)
--------LiftedRep.hs(89B)
--------Word16Rep.hs(89B)
--------Int8Rep.hs(85B)
--------Int64Rep.hs(87B)
--------IntRep.hs(83B)
--------Int16Rep.hs(87B)
--------Word32Rep.hs(89B)
--------Unboxed()
--------Int32Rep.hs(87B)
--------UnliftedRep.hs(93B)
--------FloatRep.hs(87B)
--------DoubleRep.hs(89B)
--------RuntimeRep.hs(277B)
--------Word64Rep.hs(89B)
--------TupleRep.hs(91B)
----.github()
--------workflows()
----consreps()
--------T.hsig(175B)
--------H.hsig(145B)
--------Tuple.hs(170B)
--------Sum.hs(166B)
--------ConsReps.hs(281B)
----.ghci(544B)
----src()
--------Unboxed()
----unboxed.cabal(68KB)
----LICENSE.md(12KB)
----.gitignore(59B)
----CHANGELOG.md(158B)
----Makefile(1KB)
----def()
--------Rep.hsig(148B)
--------Def.hs(9KB)
----README.md(3KB)
----.hlint.yaml(43B)
----cabal.haskell-ci(203B)
----cabal.project(62B)