Safe Haskell	Safe
Language	Haskell2010

Data.GADT.DeepSeq

Documentation

class GNFData f where Source #

Methods

grnf :: f a -> () Source #

Instances details

GNFData (TypeRep :: k -> Type) Source #	Since: 1.0.3
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a :: k0). TypeRep a -> () Source #
GNFData ((:~:) a :: k -> Type) Source #	Since: 1.0.3
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k0). (a :~: a0) -> () Source #
GNFData ((:~~:) a :: k -> Type) Source #	Since: 1.0.4
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k0). (a :~~: a0) -> () Source #
(GNFData a, GNFData b) => GNFData (a :+: b :: k -> Type) Source #
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k0). (a :+: b) a0 -> () Source #
(GNFData a, GNFData b) => GNFData (a :*: b :: k -> Type) Source #
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k0). (a :*: b) a0 -> () Source #
(GNFData a, GNFData b) => GNFData (Sum a b :: k -> Type) Source #
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k0). Sum a b a0 -> () Source #
(GNFData a, GNFData b) => GNFData (Product a b :: k -> Type) Source #
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k0). Product a b a0 -> () Source #