Generics.Regular.Functions.Seq

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

Documentation

class Seq f where

The class for generic deep seq.

Methods

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

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 -> b

Deep, generic version of seq.