ghc-7.7.20130829: The GHC API

Safe HaskellNone

FamInstEnv

Contents

Synopsis

Documentation

type FamInstEnv = UniqFM FamilyInstEnvSource

orphNamesOfFamInst :: FamInst -> NameSetSource

Collects the names of the concrete types and type constructors that make up the LHS of a type family instance. For instance, given `type family Foo a b`:

`type instance Foo (F (G (H a))) b = ...` would yield [F,G,H]

Used in the implementation of :info in GHCi.

CoAxioms