some-1.0.4: Existential type: Some
Safe HaskellSafe
LanguageHaskell2010

Data.GADT.DeepSeq

Documentation

class GNFData f where Source #

Methods

grnf :: f a -> () Source #

Instances

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 #