-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generic deep evaluation of data structures
--   
--   This package provides a <a>deepseq</a> function analogous to
--   <a>seq</a>, except that it traverses data structures deeply, and not
--   just up to head normal form.
--   
--   Using lists as an example:
--   
--   <pre>
--   &gt; [1,2,undefined] `seq` 3
--   3
--   </pre>
--   
--   Whereas with <a>deepseq</a>:
--   
--   <pre>
--   &gt; [1,2,undefined] `deepseq` 3
--   *** Exception: Prelude.undefined
--   </pre>
--   
--   Unlike the <tt>deepseq</tt> package, this implementation is based on
--   the <a>GHC.Generics</a> framework as found in GHC &gt;= 7.2, so that
--   it can generate instances automatically for any datatype that has a
--   <a>Generic</a> instance, without further code.
--   
--   <pre>
--   data MyType = MyType String Int (Maybe Double)
--     deriving Generic
--   instance DeepSeq MyType
--   </pre>
@package generic-deepseq
@version 1.0.0.0


-- | This module provides a <a>deepseq</a> function for fully evaluating
--   data structures (that is, evaluating to "Normal Form", and not just up
--   to "Head Normal Form" like <a>seq</a> does).
--   
--   It uses the <a>GHC.Generics</a> framework so that you can generate
--   instances for your datatypes without having to provide an
--   implementation.
module Control.DeepSeq
class DeepSeq a where deepseq = gdeepseq . from
deepseq :: DeepSeq a => a -> b -> b

-- | The deep analogue of <a>$!</a>.
($!!) :: DeepSeq a => (a -> b) -> a -> b
rnf :: DeepSeq a => a -> ()
force :: DeepSeq a => a -> a
instance (GDeepSeq a, GDeepSeq b) => GDeepSeq (a :+: b)
instance (GDeepSeq a, GDeepSeq b) => GDeepSeq (a :*: b)
instance GDeepSeq a => GDeepSeq (M1 i c a)
instance DeepSeq a => GDeepSeq (K1 i a)
instance GDeepSeq U1
instance GDeepSeq V1
instance (DeepSeq a, DeepSeq b) => DeepSeq (Either a b)
instance DeepSeq a => DeepSeq (Maybe a)
instance DeepSeq a => DeepSeq [a]
instance (DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d, DeepSeq e, DeepSeq f, DeepSeq g) => DeepSeq (a, b, c, d, e, f, g)
instance (DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d, DeepSeq e, DeepSeq f) => DeepSeq (a, b, c, d, e, f)
instance (DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d, DeepSeq e) => DeepSeq (a, b, c, d, e)
instance (DeepSeq a, DeepSeq b, DeepSeq c, DeepSeq d) => DeepSeq (a, b, c, d)
instance (DeepSeq a, DeepSeq b, DeepSeq c) => DeepSeq (a, b, c)
instance (DeepSeq a, DeepSeq b) => DeepSeq (a, b)
instance DeepSeq Word64
instance DeepSeq Word32
instance DeepSeq Word16
instance DeepSeq Word8
instance DeepSeq Int64
instance DeepSeq Int32
instance DeepSeq Int16
instance DeepSeq Int8
instance DeepSeq ()
instance DeepSeq Ordering
instance DeepSeq Integer
instance DeepSeq Word
instance DeepSeq Int
instance DeepSeq Float
instance DeepSeq Double
instance DeepSeq Char
instance DeepSeq Bool