Documentation

data State s m Source #

get :: s :+ '[State s] Source #

put :: s -> () :+ '[State s] Source #

mtlState :: MonadState s m => State s m Source #

ioRefState :: MonadIO m => IORef s -> State s m Source #

withState :: s -> (forall n. Monad n => State s n -> n a) -> (a, s) Source #

shareState :: Monad m => Lens' s s' -> State s m -> State s' m Source #