有免费的代理变压器吗？

Question

您认为免费的代理转换器可行吗？类似的东西

data FreePT f p a' a b' b m r = ....

instance (Proxy p,Functor f) => Proxy (FreePT f p) where
    ....

instance (Functor f) => ProxyTrans (FreePT f) where
    ....

这不仅仅是好奇心，我实际上会觉得这很有用。

Answer 1

这不是答案，但不适合评论。

我也想要一个类似的功能。我怀疑内部类型会是这样的：

-- The same `FreeF` type from the `free` package in `Control.Monad.Trans.Free`
data FreeF f a x = Pure a | Free (f x)

newtype FreeP f p a' a b' b m r
    = FreeP { unFreeP ::
        p a'
          (FreeF f a (FreeP f p a' a b' b m r))
          b'
          (FreeF f b (FreeP f p a' a b' b m r))
          m
          (FreeF f r (FreeP f p a' a b' b m r)) }

此外，目前现有的机器可能无法实现，但没关系。例如，咨询StateP 代理转换器，它依赖于来自ProxyInternal 的thread_P。实现FreeP 可能需要类似于thread_P。