What does fixIO do?

前端 未结 2 1078
盖世英雄少女心
盖世英雄少女心 2021-02-13 02:10

The System.IO docs contains a mysterious, undocumented function fixIO. Its source only adds to the mystery:

fixIO :: (a -> IO a) -> IO a
fixIO         


        
2条回答
  •  既然无缘
    2021-02-13 02:33

    fixIO is the witness to the MonadFix IO instance. See the HaskellWiki page on MonadFix and the paper A Recursive do for Haskell.

提交回复
热议问题