Control.Monad.TransLogicState.Class

class TransLogicState s t

observe

observeAll

observeMany