Prefer import from unnested modules.
parent
4b77cce007
commit
7757d26b3b
|
@ -33,20 +33,32 @@ import Control.Monad as X
|
|||
, guard
|
||||
)
|
||||
|
||||
import Control.Monad.Except as X
|
||||
-- Note runExceptT is not actually a type declaration within the ExceptT
|
||||
-- newtype but writing as follows for consistency's sake.
|
||||
( ExceptT, ExceptT(ExceptT), runExceptT
|
||||
)
|
||||
|
||||
import Control.Monad.Reader as X
|
||||
( MonadReader, ask, local, reader
|
||||
, Reader
|
||||
, runReader
|
||||
, Reader, runReader
|
||||
, ReaderT, ReaderT(ReaderT), runReaderT
|
||||
)
|
||||
|
||||
import Control.Monad.State as X
|
||||
( MonadState, get, put, state
|
||||
, State
|
||||
, State, runState
|
||||
-- Note there also exists a strict interpretation but we default to the lazy
|
||||
-- implementation.
|
||||
, StateT, StateT(StateT), runStateT
|
||||
)
|
||||
|
||||
import Control.Monad.Writer as X
|
||||
( MonadWriter, listen, pass, tell, writer
|
||||
, Writer
|
||||
, Writer, runWriter
|
||||
-- Note there also exists a strict interpretation but we default to the lazy
|
||||
-- implementation.
|
||||
, WriterT, WriterT(WriterT), runWriterT
|
||||
)
|
||||
|
||||
import Control.Monad.Trans as X
|
||||
|
@ -58,32 +70,10 @@ import Control.Monad.Trans.Either as X
|
|||
( EitherT, EitherT(EitherT), runEitherT
|
||||
)
|
||||
|
||||
import Control.Monad.Trans.Except as X
|
||||
-- Note runExceptT is not actually a type declaration within the ExceptT
|
||||
-- newtype but writing as follows for consistency's sake.
|
||||
( ExceptT, ExceptT(ExceptT), runExceptT
|
||||
)
|
||||
|
||||
import Control.Monad.Trans.Maybe as X
|
||||
( MaybeT, MaybeT(MaybeT), runMaybeT
|
||||
)
|
||||
|
||||
import Control.Monad.Trans.Reader as X
|
||||
( ReaderT, ReaderT(ReaderT), runReaderT
|
||||
)
|
||||
|
||||
-- Note there also exists a strict interpretation but we default to the lazy
|
||||
-- implementation.
|
||||
import Control.Monad.Trans.State as X
|
||||
( StateT, StateT(StateT), runStateT
|
||||
)
|
||||
|
||||
-- Note there also exists a strict interpretation but we default to the lazy
|
||||
-- implementation.
|
||||
import Control.Monad.Trans.Writer as X
|
||||
( WriterT, WriterT(WriterT), runWriterT
|
||||
)
|
||||
|
||||
import Data.Bool as X
|
||||
( Bool, Bool(False), Bool(True)
|
||||
, (&&)
|
||||
|
|
Loading…
Reference in New Issue