Haskell: не могу понять, как использовать стек преобразования монад

у меня есть тип

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

haskell monads monad-transformers
person rampion    schedule 20.08.2011    source источник

Ответы (1)


arrow_upward
5
arrow_downward

Нашел выход

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

Который можно сжать до

states = get >>= lift . ListT . return

хорошо, теперь чувствуй себя умнее

person rampion    schedule 20.08.2011