Generics.Regular.Functions.Seq

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

Documentation

class DeepSeq a where

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

dseq :: a -> b -> b

Instances

DeepSeq Char

DeepSeq Double

DeepSeq Float

DeepSeq Int

DeepSeq Integer

DeepSeq ()

DeepSeq a => DeepSeq [a]

DeepSeq a => DeepSeq (Maybe a)

(DeepSeq a, DeepSeq b) => DeepSeq (Either a b)

class Seq f where

The class for generic deep seq.

Methods

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

Instances

Seq U

Seq I

DeepSeq a => Seq (K a)

For constants we rely on the |DeepSeq| class.

Seq f => Seq (S s f)

Seq f => Seq (C c f)

(Seq f, Seq g) => Seq (:*: f g)

(Seq f, Seq g) => Seq (:+: f g)

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

Deep, generic version of seq.