Tweak State definition
If the arguments are all on the LHS, this won't always reduce when we
want it to, e.g. resolving Monad instances
commit9d7bd3d0867db700d6428d4b4b12b8fd98249a45
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 28 Feb 2016, 21:53 (11 years ago)
parentda51d6b
libs/base/Control/Monad/State.idr+1−1
@@ -54,7 +54,7 @@ gets f = do s <- get
5454
5555||| The State monad. See the MonadState interface
5656State : Type -> Type -> Type
57−State s a = StateT s Identity a
57+State = \s, a => StateT s Identity a
5858
5959||| Unwrap a State monad computation.
6060runState : StateT s Identity a -> s -> (a, s)