Data.GADT.DeepSeq

some-1.0.6: Existential type: Some

Safe Haskell | Safe
Language | Haskell2010

Data.GADT.DeepSeq

# Documentation

class GNFData (f :: k -> Type) where #

Methods

grnf :: forall (a :: k). f a -> () #

#### Instances

Instances details

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