git.iko.soy/Idris-dev
on master help sign in
Tweak State definition
9d7bd3dEdwin Brady
libs/base/Control/Monad/State.idr+1−1
compare with master
unifiedsplit
@@ -54,7 +54,7 @@ gets f = do s <- get
54
54
55||| The State monad. See the MonadState interface
55||| The State monad. See the MonadState interface
56State : Type -> Type -> Type
56State : Type -> Type -> Type
57−State s a = StateT s Identity a
57+State = \s, a => StateT s Identity a
58
58
59||| Unwrap a State monad computation.
59||| Unwrap a State monad computation.
60runState : StateT s Identity a -> s -> (a, s)
60runState : StateT s Identity a -> s -> (a, s)