|Summary: Deep generic seq. Used to fully evaluate a term.
A general class for expressing deep seq. It is used in the K case for
the generic seq.
We do not give an instance of the form
instance (Regular a, Seq (PF a)) => DeepSeq a where dseq = gdseq
because this requires undecidable instances. However, any type for which
there is a generic instance can be given a trivial instance of DeepSeq by
|The class for generic deep seq.
|gseq :: (a -> b -> b) -> f a -> b -> b||Source|
|Deep, generic version of seq.
|Produced by Haddock version 2.4.2|