Generics.Regular.Functions.Seq

Description

Summary: Deep generic seq. Used to fully evaluate a term.

Synopsis

Documentation

class Seq f whereSource

The class for generic deep seq.

Methods

gseq :: (a -> b -> b) -> f a -> b -> bSource

Instances

Seq I
Seq U
NFData a => Seq (K a)	For constants we rely on the \|DeepSeq\| class.
(Seq f, Seq g) => Seq (:+: f g)
(Seq f, Seq g) => Seq (:*: f g)
Seq f => Seq (C c f)
Seq f => Seq (S s f)

gdseq :: (Regular a, Seq (PF a)) => a -> b -> bSource

Deep, generic version of seq.