Czy mogę ustawić StateP z Control.Proxy jako instancję MonadState?

Question

Zmieniam kod, który działał wewnątrz monady StateT, aby działał wewnątrz StateP z Control.Proxy. Jednak część mojego kodu (na przykład operator %= z Control.Lens) wymaga instancji MonadState. Czy jest to dla mnie bezpieczne/poprawne, aby dodać taką instancję? Wygląda to jak coś, co jest poprawnie obsługiwane przez bibliotekę (w tym przypadku: Control.Proxy).

Answer 1

Tak, to jest bezpieczne. Instancja chcesz to:

instance (Monad m, Proxy p) => MonadState s (PS.StateP s p a' a b' b m) where 
    get = PS.get 
    put = PS.put 

Chcę tylko krótko zauważyć, że w pipes-4.0.0 (który jest na Github) transformatory proxy nie są już konieczne, a te same rozszerzenia są zlecane monada transformatorów w monady bazowej. Oznacza to, że zamiast:

Consumer (StateP s p) a m r 

... użyłbyś:

Consumer a (StateT s m) r 

Oznacza to, że można to po prostu być w stanie napisać:

lift $ myLens %= f 

Ja jednak nadal plan na dodawanie instancji MonadState dla Proxy tak, choć może w osobnym pakiecie (nadal nie zdecydowałem, czy włączyć je do głównej biblioteki). Wyglądają tak:

instance (MonadState s m) => MonadState s (Proxy a' a b' b m r) where 
    put s = lift (put s) 
    get = lift get