определения «монады, которая подсчитывает Гец, Кладет, Bind и возвращает сделанные на нем

Question

Я пытаюсь определить государственное казенное монады» государства в Haskell

newtype State' s a = State' { runState' :: (s, Counts) -> (a, s, Counts) } 

Графы отслеживает количество привязок, возвращается получает и положить сделал на нем

data Counts = Counts { 
binds :: Int, 
returns :: Int, 
gets :: Int, 
puts :: Int 
} deriving (Eq, Show) 

instance Monoid Counts where 
mempty = Counts 0 0 0 0 
mappend (Counts x1 x2 x3 x4) (Counts y1 y2 y3 y4) = Counts (x1+y1) (x2+y2) (x3+y3) (x4+y4) 

мне удалось определить возвращение и >> = для этой новой монады как таковой

return x = State' f 
      where f = \(s, count) -> (x,s,count <> oneReturn 

st >>= k = State' (\(s, count) -> let (x,s',count') = runState' st (s, count) in runState' (k x) (s',count' <> oneBind)) 

H owever, я не могу определить get и put для этого состояния.
Им нужно сделать то же самое, что и put и get of State, однако им также необходимо увеличивать счет на onePut и oneGet (константы, содержащие один get и one put)

Может ли кто-нибудь помочь мне разобраться, как лучше всего определить, как получить и поставить для государства?

Answer 1

Кажется get как return, но поставляет s вместо x.

get = State' $ \(s, count) -> (s, s, count <> oneGet) 

Тогда put также как и return, но устанавливает новый s.

put s' = State' $ \(s, count) -> ((), s', count <> onePut)