Control.Proxy.Trans.State

StateP

data StateP s p a' a b' b m r

runStateP

runStateK

evalStateP

evalStateK

execStateP

execStateK

State operations

get

put

modify

gets