Control.Lens.Action
type Action m s a
act
acts
perform
performs
liftAct
(^!)
type MonadicFold m s a
type Acting m r s t a b