Control.FlatSeq

Force evaluation like deepseq in Control.DeepSeq, but control the depth of evaluation. flatseq may evaluate more than seq but less than deepseq

Documentation

($!!) :: WNFData a => (a -> b) -> a -> b

flatseq :: WNFData a => a -> b -> b

rlnf :: (a -> ()) -> [a] -> ()

class WNFData a where

A class of types that can be partially evaluated, but evaluation can be propagated deeper than WHNF

Methods

rwnf :: a -> ()

Default for rwnf is reduction to WHNF

rwnf2 :: a -> ()

Default for rwnf2 is rwnf

Instances

WNFData Bool

WNFData Char

WNFData Double

WNFData Float

WNFData Int

WNFData Integer

WNFData Word

WNFData Word8

WNFData Word16

WNFData Word32

WNFData Word64

WNFData ()

WNFData QName

WNFData XName

WNFData DTDElem

WNFData XNode

WNFData a => WNFData [a]

WNFData a => WNFData (NTree a)

(WNFData a, WNFData b) => WNFData (a, b)

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

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