module Example.State where

import Prelude

import Control.Monad.State (State, runState, modify_)
import Data.Tuple (Tuple(..))
import Effect (Effect)
import Effect.Console (log)

incState :: State Int Unit
incState = modify_ (_ + 1)

testState :: State Int String
testState = do
  incState
  incState
  incState
  incState
  incState
  incState
  pure "Done"

main :: Effect Unit
main = case runState testState 0 of
  Tuple value state -> do
    log $ "state: " <> (show state)
    log $ "value: " <> (show value)