Control.FlatSeq

Description

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

Synopsis

Documentation

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

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

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

class WNFData a where Source

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

Minimal complete definition

Nothing

Methods

rwnf :: a -> () Source

Default for rwnf is reduction to WHNF

rwnf2 :: a -> () Source

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)