{-# LANGUAGE Trustworthy #-}
module Universum.DeepSeq
( module Control.DeepSeq
, evaluateNF
, evaluateNF_
, evaluateWHNF
, evaluateWHNF_
) where
import Control.DeepSeq (NFData (..), deepseq, force, ($!!))
import Universum.Base (seq)
import Universum.Function ((.))
import Universum.Monad (MonadIO, liftIO, (<$!>))
import qualified Control.Exception.Base (evaluate)
evaluateWHNF :: MonadIO m => a -> m a
evaluateWHNF :: forall (m :: * -> *) a. MonadIO m => a -> m a
evaluateWHNF = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. a -> IO a
Control.Exception.Base.evaluate
evaluateWHNF_ :: MonadIO m => a -> m ()
evaluateWHNF_ :: forall (m :: * -> *) a. MonadIO m => a -> m ()
evaluateWHNF_ a
what = (seq :: forall a b. a -> b -> b
`seq` ()) forall (m :: * -> *) a b. Monad m => (a -> b) -> m a -> m b
<$!> forall (m :: * -> *) a. MonadIO m => a -> m a
evaluateWHNF a
what
evaluateNF :: (NFData a, MonadIO m) => a -> m a
evaluateNF :: forall a (m :: * -> *). (NFData a, MonadIO m) => a -> m a
evaluateNF = forall (m :: * -> *) a. MonadIO m => a -> m a
evaluateWHNF forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. NFData a => a -> a
force
evaluateNF_ :: (NFData a, MonadIO m) => a -> m ()
evaluateNF_ :: forall a (m :: * -> *). (NFData a, MonadIO m) => a -> m ()
evaluateNF_ = forall (m :: * -> *) a. MonadIO m => a -> m a
evaluateWHNF forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. NFData a => a -> ()
rnf