哈斯克尔：无法弄清楚如何使用单子转换堆栈

Question

我有一个类型

type T s r a = StateT [s] (ListT (Reader r)) a 

我想创建产生每个当前状态的一元价值

states :: T a r a 

但我今天感觉很蠢，而且我不知道如何将T a r [a]的值转换为T a r a。

states = do 
    as <- get 
    -- insert magic 
    return a 

Answer 1

想通出路

states = do 
    as <- get 
    a <- lift . ListT $ return as 
    return a 

这可以压缩到

states = get >>= lift . ListT . return 

OK，感觉更聪明现在