|
Generics.Regular.Functions.Seq | Portability | non-portable | Stability | experimental | Maintainer | generics@haskell.org |
|
|
|
Description |
Summary: Deep generic seq. Used to fully evaluate a term.
|
|
Synopsis |
|
|
|
Documentation |
|
|
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
using gdseq.
| | Methods | | | Instances | |
|
|
|
The class for generic deep seq.
| | Methods | gseq :: (a -> b -> b) -> f a -> b -> b | Source |
|
| | Instances | |
|
|
|
Deep, generic version of seq.
|
|
Produced by Haddock version 2.4.2 |