lifting

3热度

1回答

将克利斯里电梯提升到IO？

如果我有以下两种Kleisli箭头： stdoutProcessA :: Kleisli Maybe String (IO String) writeToFileA :: Kleisli Maybe (FilePath, String) (IO()) 我希望能够写成才，如： compile = proc src -> do output <- stdoutProcessA -< "

haskell io arrows lifting kleisli 2012-11-22

---

13热度

1回答

提升高阶函数在Haskell

我试图构造类型的函数： liftSumthing :: ((a -> m b) -> m b) -> (a -> t m b) -> t m b 其中t是一个单子转换。具体而言，我有兴趣这样做： liftSumthingIO :: MonadIO m => ((a -> IO b) -> IO b) -> (a -> m b) -> m b 我摆弄了一些哈斯克尔魔法库，但无济于事。我如何获

haskell higher-order-functions lifting 2012-02-11

---

3热度

2回答

为什么我不能使用迭代来重复应用地图？

我已经意识到，当我嵌套数据结构时，我一直在手动编写代码来深入研究它们。就像这样： --one level Prelude> map (*2) [1,2,3] [2,4,6] --nested two levels Prelude> let t2 = map $ map (*2) Prelude> t2 [[1,2,3],[4,5,6]] [[2,4,6],[8,10,12]] -

haskell higher-order-functions lifting 2012-10-18

---