ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe
LanguageHaskell98

DDC.Type.Exp.Generic.NFData

Contents

Documentation

type NFDataLanguage l = (NFData l, NFData (GTAnnot l), NFData (GTBindVar l), NFData (GTBoundVar l), NFData (GTBindCon l), NFData (GTBoundCon l), NFData (GTPrim l)) Source #

Orphan instances

NFDataLanguage l => NFData (GTyCon l) Source # 

Methods

rnf :: GTyCon l -> () #

NFDataLanguage l => NFData (GType l) Source # 

Methods

rnf :: GType l -> () #