universum-1.2.0: Custom prelude used in Serokell

Safe HaskellNone
LanguageHaskell2010

Universum.DeepSeq

Description

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.

Synopsis

Documentation

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

Alias for evaluateWHNF . force with clearer name.

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

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

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

Lifted alias for evaluate with clearer name.

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

Like evaluateWNHF but discards value.