Generics.Instant.Functions.DeepSeq

Documentation

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

instance NFData MyType where rnf = grnf

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

Internals

class GNFData a

Minimal complete definition

grnf'

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)