Было много проблем с вашим фрагментом кода. Я исправил ваш фрагмент, добавив объяснение того, что было сломано, и добавил несколько советов по стилю, если вам все равно.
module Pass1_JFT where
import Control.Monad.Identity
import Control.Monad.State
import Control.Monad.Writer
import Data.Maybe
import qualified Data.Map as Map
{- замена типов импорта простыми определениями -}
--import Types
type Line = String
type Address = String
type LineNumber = Int
{-
Не часть вашего вопроса, но мои 2 цента здесь ...
Скажите, что вы хотите изменить коллекцию для своих штатов, если вы этого не сделаете
используйте псевдоним типа, на который вам придется охотиться везде, где вы его использовали. Вместо этого просто
изменить эти определения, если требуется
-}
type Lines = [Line]
type Addresses = [Address]
type Messages = [Msg]
data Msg = Error String
| Warning String
{-
Что это за Int в StateT Int? Назовите его легче читать, причина о
и изменить. Декларативный FTW давайте использовать LineNumber вместо
-}
--type Pass1 a = WriterT [Msg] (StateT Int (StateT [Line] (StateT [Address] Identity))) a
{-
Давайте использовать «настоящий» тип, чтобы экземпляры могли быть получены.
Поскольку Pass1 не является передачей монады, т.е. не определен как Pass1 m a,
нет смысла использовать StateT для самого глубокого StateT, то есть StateT [Address] Identity
так что давайте просто использовать государство [адрес]
-}
newtype Pass1 a = Pass1 {
unPass1 :: WriterT Messages (StateT LineNumber (StateT Lines (State Addresses))) a
}
deriving (Functor,Monad)
--runIdentity (runStateT (runStateT (runStateT (runWriterT msgs) 1) instrs) addrs)
{-
Давайте очистим этот стек от самого внешнего (самого левого в объявлении)
до самой глубины была идентичность в вашей первоначальной декларации.
Обратите внимание, что runWriterT НЕ принимает начальное состояние ...
Первый параметр для runStateT (и runState) не является начальным состоянием
но монада ... так что давайте перевернемся!
-}
runPass1' :: Addresses -> Lines -> Messages -> Pass1 a -> ((((a, Messages), LineNumber), Lines), Addresses)
runPass1' addrs instrs msgs = flip runState addrs .
flip runStateT instrs .
flip runStateT 1 .
runWriterT . -- then get process the WriterT (the second outermost)
unPass1 -- let's peel the outside Pass1
{-
теперь эта последняя функция не делает то, что вы хотите, так как вы хотите предоставить
начальный журнал для добавления в WriterT.
Так как это монадный трансформатор, мы сделаем здесь несколько трюков
-}
-- I keep the runStateT convention for the order of the arguments: Monad then state
runWriterT' :: (Monad m,Monoid w) => WriterT w m a -> w -> m (a,w)
runWriterT' writer log = do
(result,log') <- runWriterT writer
-- let's use the monoid generic append in case you change container...
return (result,log `mappend` log')
runPass1 :: Addresses -> Lines -> Messages -> Pass1 a -> ((((a, Messages), LineNumber), Lines), Addresses)
runPass1 addrs instrs msgs = flip runState addrs .
flip runStateT instrs .
flip runStateT 1 .
flip runWriterT' msgs . -- then get process the WriterT (the second outermost)
unPass1 -- let's peel the outside Pass1
{-
Вы собираетесь вызывать popLine непосредственно из стека Pass1?
Если это так, вам нужно «научить» Pass1 быть «MonadState Lines»
Для этого давайте выведем Pass1 (вот почему мы объявили его с newtype!)
-}
instance MonadState Lines Pass1 where
-- we need to dig inside the stack and "lift" the proper get
get = Pass1 . lift . lift $ get
put s = Pass1 . lift . lift $ put s
{-
Лучше держать вещь универсальной, но теперь мы могли бы написать:
popLine :: Pass1 (возможно, строка)
-}
popLine :: (MonadState Lines m) => m (Maybe Line)
popLine = do
ls <- get
case ls of
x:xs -> do
put xs
return $ Just x
[] -> return Nothing
{-
Хорошо, теперь я получаю Int => LineNumber ....
мы могли бы сделать Pass1 и экземпляр MonadState LineNumber, но LineNumber
не должно быть перепутано, поэтому вместо этого я бы закодировал incLine напрямую
и предоставит экземпляр MonadReader для консульства, если потребуется
check ":t incLineNum and :t curLineNum"
-}
incLineNum = Pass1 . lift $ modify (+1)
curLineNum = Pass1 $ lift get
evalr = do l <- popLine
incLineNum
return l
Это длинный ответ, но монада и стек монад, как вы видите, поначалу бросают вызов. Я исправил код, но призываю вас поиграть и проверить типы различных функций, чтобы понять, что происходит, и сравнить с вашим оригиналом. Вывод типа в Haskell означает, что обычно аннотации типов являются излишними (если только не устранить неоднозначность). В общем, тип, который мы дали бы функции, является менее общим, чем был бы выведен, поэтому лучше не вводить аннотирование. Тип аннотации, безусловно, хорошая техника отладки;)
Приветствия
P.S. Глава по реальному миру на Haskell о Monad Transformer превосходна:
http://book.realworldhaskell.org/read/monad-transformers.html