Util.DeepSeq

Module taken from Dean Harington's post to the Haskell mailing list on Fri, 17 Aug 2001.

URL is currently http://www.haskell.org/pipermail/haskell/2001-August/007712.html

This module provides deepSeq and $!! which correspond to seq and $! except that they try to evaluate everything in the argument. For example, if a list is provided, the whole list must be evaluated.

For purposes of Haddock, empty instance declarations with where have had the where deleted.

Documentation

class DeepSeq a where

Minimal complete definition

Nothing

Methods

deepSeq :: a -> b -> b infixr 0

Instances

DeepSeq Bool

Defined in Util.DeepSeq

Methods

deepSeq :: Bool -> b -> b

DeepSeq Char

Defined in Util.DeepSeq

Methods

deepSeq :: Char -> b -> b

DeepSeq Double

Defined in Util.DeepSeq

Methods

deepSeq :: Double -> b -> b

DeepSeq Float

Defined in Util.DeepSeq

Methods

deepSeq :: Float -> b -> b

DeepSeq Int

Defined in Util.DeepSeq

Methods

deepSeq :: Int -> b -> b

DeepSeq Integer

Defined in Util.DeepSeq

Methods

deepSeq :: Integer -> b -> b

DeepSeq Ordering

Defined in Util.DeepSeq

Methods

deepSeq :: Ordering -> b -> b

DeepSeq ()

Defined in Util.DeepSeq

Methods

deepSeq :: () -> b -> b

DeepSeq a => DeepSeq [a]

Defined in Util.DeepSeq

Methods

deepSeq :: [a] -> b -> b

DeepSeq a => DeepSeq (Maybe a)

Defined in Util.DeepSeq

Methods

deepSeq :: Maybe a -> b -> b

(DeepSeq a, DeepSeq b) => DeepSeq (Either a b)

Defined in Util.DeepSeq

Methods

deepSeq :: Either a b -> b0 -> b0

(DeepSeq a, DeepSeq b) => DeepSeq (a, b)

Defined in Util.DeepSeq

Methods

deepSeq :: (a, b) -> b0 -> b0

(DeepSeq a, DeepSeq b, DeepSeq c) => DeepSeq (a, b, c)

Defined in Util.DeepSeq

Methods

deepSeq :: (a, b, c) -> b0 -> b0

(DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d) => DeepSeq (a, b, c, d)

Defined in Util.DeepSeq

Methods

deepSeq :: (a, b, c, d) -> b0 -> b0

(DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d, DeepSeq e) => DeepSeq (a, b, c, d, e)

Defined in Util.DeepSeq

Methods

deepSeq :: (a, b, c, d, e) -> b0 -> b0

(DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d, DeepSeq e, DeepSeq f) => DeepSeq (a, b, c, d, e, f)

Defined in Util.DeepSeq

Methods

deepSeq :: (a, b, c, d, e, f) -> b0 -> b0

(DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d, DeepSeq e, DeepSeq f, DeepSeq g) => DeepSeq (a, b, c, d, e, f, g)

Defined in Util.DeepSeq

Methods

deepSeq :: (a, b, c, d, e, f, g) -> b0 -> b0

($!!) :: DeepSeq a => (a -> b) -> a -> b infixr 0