lifting
-
Scala 从 List[A] 提升到 List[Option[A]]
-
为什么我可以将函数传递给提升的R.divide？
-
将 (a -> IO b) 转换为 IO (a -> b)
-
Agda 中的平等——不相关的争论
-
无法在 Ramda.js 中绕过 "lift"
-
Monad 的部分提升？
-
提升的“如果”函数表现出意外
-
自动将 Either 提升到 ExceptT
-
Haskell: 编写一个函数，使其可以在列表上工作
-
像 lift 这样的多态函数的类型约束
-
整理 Monads - 将 monad 转换器的应用程序转换为新型 monad
-
展平 monad 栈
-
她的提升计划
-
在 Haskell 中，是否有 (liftM . liftM)、(liftM . liftM . liftM) 等的别名？