Universum.DeepSeq

This module contains useful functions to evaluate expressions to weak-head normal form or just normal form. Useful to force traces or error inside monadic computation or to remove space leaks.

Documentation

module Control.DeepSeq

evaluateNF :: (NFData a, MonadIO m) => a -> m a

Alias for evaluateWHNF . force with clearer name.

evaluateNF_ :: (NFData a, MonadIO m) => a -> m ()

Alias for evaluateWHNF . rnf. Similar to evaluateNF but discards resulting value.

evaluateWHNF :: MonadIO m => a -> m a

Lifted alias for evaluate with clearer name.

evaluateWHNF_ :: MonadIO m => a -> m ()

Like evaluateWNHF but discards value.