Data.GADT.DeepSeq

Documentation

class GNFData f where

Methods

grnf :: f a -> ()

Instances

GNFData (TypeRep :: k -> Type)

Since: 1.0.3

Defined in Data.GADT.DeepSeq

Methods

grnf :: forall (a :: k0). TypeRep a -> ()

GNFData ((:~:) a :: k -> Type)

Since: 1.0.3

Defined in Data.GADT.DeepSeq

Methods

grnf :: forall (a0 :: k0). (a :~: a0) -> ()

(GNFData a, GNFData b) => GNFData (Sum a b :: k -> Type)

Defined in Data.GADT.DeepSeq

Methods

grnf :: forall (a0 :: k0). Sum a b a0 -> ()

(GNFData a, GNFData b) => GNFData (Product a b :: k -> Type)

Defined in Data.GADT.DeepSeq

Methods

grnf :: forall (a0 :: k0). Product a b a0 -> ()