文件名称：塔迪斯
文件大小：11KB
文件格式：ZIP
更新时间：2024-03-15 03:33:24
Haskell
塔迪斯 State monad允许您将信息转发到将来，或从过去接收此类信息。 Reverse State monad允许您进行反向操作：将信息向后发送到过去，或从将来接收信息。 TardisT是一种monad转换器，它提供状态操作，使您可以将信息发送到未来和过去，以及从两个方向接收信息。 它与ReverseStateT之上的StateT同构，反之亦然。 有关示例，请参见Control / Monad / Tardis / Example.hs。 您可以决定您希望这个库有多邪恶。 默认情况下，它将不包括需要“可怕”语言扩展的类型类实例。 cabal install tardis 您可以通过指示它确定，而将其与其他实例一起安装： cabal install -f use-undecidable-instances 您可以通过ghci会话来判断是否有其他实例： ghci> :m +C
【文件预览】：
tardis-master
----tardis.cabal(1KB)
----stack.yaml(34B)
----LICENSE(1KB)
----Setup.hs(46B)
----stack_ghc_9.yaml.lock(447B)
----.gitignore(18B)
----stack.yaml.lock(447B)
----README.md(2KB)
----Control()
--------Monad()
----stack_ghc_9.yaml(54B)