Searched refs:ModIfacePhase (Results 1 – 4 of 4) sorted by relevance
120 data ModIfacePhase type128 type family IfaceDeclExts (phase :: ModIfacePhase) where132 type family IfaceBackendExts (phase :: ModIfacePhase) where147 data ModIface_ (phase :: ModIfacePhase)513 instance (NFData (IfaceBackendExts (phase :: ModIfacePhase)), NFData (IfaceDeclExts (phase :: ModIf…
952 data ModIfacePhase type960 type family IfaceDeclExts (phase :: ModIfacePhase) where964 type family IfaceBackendExts (phase :: ModIfacePhase) where979 data ModIface_ (phase :: ModIfacePhase)3255 instance (NFData (IfaceBackendExts (phase :: ModIfacePhase)), NFData (IfaceDeclExts (phase :: ModIf…
981 data ModIfacePhase type989 type family IfaceDeclExts (phase :: ModIfacePhase) where993 type family IfaceBackendExts (phase :: ModIfacePhase) where1008 data ModIface_ (phase :: ModIfacePhase)3302 instance (NFData (IfaceBackendExts (phase :: ModIfacePhase)), NFData (IfaceDeclExts (phase :: ModIf…