超时的 Haskell 函数[重复]

import Math.NumberTheory.Primes (factorise)
import System.Timeout (timeout)
import Control.Monad (liftM)

type RetType = [(Integer, Int)] -- factorise's return type

-- proposed function
timedFact :: Integer -> Integer -> Either RetType Integer
timedFact u n = ?

尝试了解如何编写因式分解的包装函数，该函数在使用后超时。如果成功则返回RetType否则它返回Integer（传入的内容）

我对 Haskell 有点陌生。我了解超时需要在IOMonad，但我很难拉回适当的结果。 （注：我没有结婚Either. Maybe RetType也会好的）。

谢谢你的帮助

从类型来看，timeout :: Int -> IO a -> IO (Maybe a)，它可以用作

import Math.NumberTheory.Primes (factorise)
import System.Timeout (timeout)
import Control.Exception (evaluate)
import Control.DeepSeq (force)

timedFact :: Int -> Integer -> IO (Maybe [(Integer, Int)])
timedFact u = 
      timeout u . evaluate . force . factorise 

Testing:

 #> timedFact 3000000 1231231231223234234273434343469494949494499437141
Nothing
(3.04 secs, 2639142736 bytes)

 #> timedFact 4000000 1231231231223234234273434343469494949494499437141
Just [(1009,1),(47729236307,1),(125199345589541,1),(204202903382078984027,1)]
(3.07 secs, 2662489296 bytes)

update: as 用户2407038 在评论中说 https://stackoverflow.com/questions/32878244/haskell-functions-which-time-out/32878368?noredirect=1#comment53589782_32878368（谢谢！），

timedFact u n = timeout u (return $!! factorise n)

也有效。($!!)来自Control.DeepSeq也。引用文档，“在表达式 f $!! x 中，x 在函数 f 应用于它之前被完全求值” https://hackage.haskell.org/package/deepseq-1.4.1.2/docs/Control-DeepSeq.html#v:-36--33--33-.