Export 'lift' from Control.Monad.State
commit66870b20396a02ad1c50c77c68cc0ad8224d5e13
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 10 Jun 2015, 11:54 (11 years ago)
parent078574a
libs/base/Control/Monad/State.idr+1−1
@@ -1,7 +1,7 @@
11module Control.Monad.State
22
33import public Control.Monad.Identity
4−import Control.Monad.Trans
4+import public Control.Monad.Trans
55
66%access public
77