Generics.Instant.Functions.DeepSeq

Documentation

You can use grnfDefault as your generic rnf for any Representable type as follows:

instance NFData MyType where rnf = grnfDefault

grnfDefault :: (Representable a, GNFData (Rep a)) => a -> ()

class (Representable a, GNFData (Rep a)) => RepGNFData a

RepGNFData is simply a synonym for (Representable a, GNFData (Rep a)) with the convenient kind (* -> Constraint)

Instances

(Representable a, GNFData (Rep a)) => RepGNFData a

Internals

class GNFData a where

Methods

grnf :: a -> ()

Instances

GNFData Z

GNFData U

NFData a => GNFData (Var a)

NFData a => GNFData (Rec a)

(GNFData a, GNFData b) => GNFData ((:+:) a b)

(GNFData a, GNFData b) => GNFData ((:*:) a b)

GNFData a => GNFData (CEq k k c p q a)