git.iko.soy/Idris-dev
on master help sign in
Export 'lift' from Control.Monad.State
66870b2Edwin Brady
libs/base/Control/Monad/State.idr+1−1
compare with master
unifiedsplit
@@ -1,7 +1,7 @@
1module Control.Monad.State
1module Control.Monad.State
2
2
3import public Control.Monad.Identity
3import public Control.Monad.Identity
4−import Control.Monad.Trans
4+import public Control.Monad.Trans
5
5
6%access public
6%access public
7
7