塔迪斯 源码

塔迪斯 State monad允许您将信息转发到将来,或从过去接收此类信息。 Reverse State monad允许您进行反向操作:将信息向后发送到过去,或从将来接收信息。 TardisT是一种monad转换器,它提供状态操作,使您可以将信息发送到未来和过去,以及从两个方向接收信息。 它与ReverseStateT之上的StateT同构,反之亦然。 有关示例,请参见Control / Monad / Tardis / Example.hs。 您可以决定您希望这个库有多邪恶。 默认情况下,它将不包括需要“可怕”语言扩展的类型类实例。 cabal install tardis 您可以通