Control.DeepSeq

import System.IO
import Control.DeepSeq

main = do
    h <- openFile "f" ReadMode
    s <- hGetContents h
    s `deepseq` hClose h
    return s

> [1,2,undefined] `seq` 3
3

> [1,2,undefined] `deepseq` 3
*** Exception: Prelude.undefined

deepseq :: NFData a => a -> b -> b Источник

deepseq: полностью оценивает первый аргумент, прежде чем вернуть второй.

Имя deepseq используется для иллюстрации связи с seq: где seq является поверхностной в том смысле, что она оценивает только верхний уровень своего аргумента, deepseq проходит по всей структуре данных, полностью её оценивая.

deepseq может быть полезным для принудительной обработки ожидаемых исключений, устранения утечек памяти или принудительного выполнения ленивых операций ввода-вывода. Также полезно в сочетании с параллельными стратегиями (см. пакет parallel).

Гарантии о порядке оценки нет. Реализация может оценивать компоненты структуры в любом порядке или параллельно. Чтобы наложить фактический порядок на оценку, используйте pseq из Control.Parallel в пакете parallel.

С версии: 1.1.0.0

($!!) :: NFData a => (a -> b) -> a -> b infixr 0 Источник

глубокий аналог $!. В выражении f $!! x, x полностью оценивается перед применением функции f к нему.

С версии: 1.2.0.0

force :: NFData a => a -> a Источник

вариант deepseq, который полезен в некоторых случаях:

force x = x `deepseq` x

force x полностью оценивает x, а затем возвращает его. Обратите внимание, что force x выполняет оценку только при запросе значения force x самого по себе, поэтому по существу превращает поверхностную оценку в глубокую.

force удобно использовать в сочетании с ViewPatterns.

{-# LANGUAGE BangPatterns, ViewPatterns #-}
import Control.DeepSeq

someFun :: ComplexData -> SomeResult
someFun (force -> !arg) = {- 'arg' will be fully evaluated -}

Другое полезное применение — объединить force с evaluate для принудительной глубокой оценки по отношению к другим операциям IO.

import Control.Exception (evaluate)
import Control.DeepSeq

main = do
  result <- evaluate $ force $ pureComputation
  {- 'result' will be fully evaluated at this point -}
  return ()

С версии: 1.2.0.0

class NFData a where Источник

Класс типов, которые можно полностью оценить.

С версии: 1.1.0.0

{-# LANGUAGE DeriveGeneric #-}

import GHC.Generics (Generic)
import Control.DeepSeq

data Foo a = Foo a String
             deriving (Eq, Generic)

instance NFData a => NFData (Foo a)

data Colour = Red | Green | Blue
              deriving Generic

instance NFData Colour

{-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}

import GHC.Generics (Generic)
import Control.DeepSeq

data Foo a = Foo a String
             deriving (Eq, Generic, NFData)

data Colour = Red | Green | Blue
              deriving (Generic, NFData)

rnf a = seq a ()

instance NFData Colour where rnf x = seq x ()

{-# LANGUAGE BangPatterns #-}
instance NFData Colour where rnf !_ = ()