Searched refs:IfaceDeclExts (Results 1 – 4 of 4) sorted by relevance
12 , IfaceDeclExts128 type family IfaceDeclExts (phase :: ModIfacePhase) where129 IfaceDeclExts 'ModIfaceCore = IfaceDecl function190 mi_decls :: [IfaceDeclExts phase],513 instance (NFData (IfaceBackendExts (phase :: ModIfacePhase)), NFData (IfaceDeclExts (phase :: ModIf…
960 type family IfaceDeclExts (phase :: ModIfacePhase) where961 IfaceDeclExts 'ModIfaceCore = IfaceDecl function1022 mi_decls :: [IfaceDeclExts phase],3255 instance (NFData (IfaceBackendExts (phase :: ModIfacePhase)), NFData (IfaceDeclExts (phase :: ModIf…
989 type family IfaceDeclExts (phase :: ModIfacePhase) where990 IfaceDeclExts 'ModIfaceCore = IfaceDecl function1051 mi_decls :: [IfaceDeclExts phase],3302 instance (NFData (IfaceBackendExts (phase :: ModIfacePhase)), NFData (IfaceDeclExts (phase :: ModIf…