Safe Haskell	None
Language	GHC2021

GHC.Iface.Ext.Types

Synopsis

type Span = RealSrcSpan
hieVersion :: Integer
data HieFile = HieFile {
- hie_hs_file :: FilePath
- hie_module :: Module
- hie_types :: Array TypeIndex HieTypeFlat
- hie_asts :: HieASTs TypeIndex
- hie_exports :: [AvailInfo]
- hie_hs_src :: ByteString
- hie_entity_infos :: NameEntityInfo
}
type NameEntityInfo = Map Name (Set EntityInfo)
type TypeIndex = Int
data HieType a
- = HTyVarTy Name
- | HAppTy a (HieArgs a)
- | HTyConApp IfaceTyCon (HieArgs a)
- | HForAllTy ((Name, a), ForAllTyFlag) a
- | HFunTy a a a
- | HQualTy a a
- | HLitTy IfaceTyLit
- | HCastTy a
- | HCoercionTy
type HieTypeFlat = HieType TypeIndex
newtype HieTypeFix = Roll (HieType HieTypeFix)
newtype HieArgs a = HieArgs [(Bool, a)]
type HiePath = LexicalFastString
pattern HiePath :: FastString -> HiePath
newtype HieASTs a = HieASTs {
- getAsts :: Map HiePath (HieAST a)
}
data HieAST a = Node {
- sourcedNodeInfo :: SourcedNodeInfo a
- nodeSpan :: Span
- nodeChildren :: [HieAST a]
}
newtype SourcedNodeInfo a = SourcedNodeInfo {
- getSourcedNodeInfo :: Map NodeOrigin (NodeInfo a)
}
data NodeOrigin
- = SourceInfo
- | GeneratedInfo
data NodeAnnotation = NodeAnnotation {
- nodeAnnotConstr :: !FastString
- nodeAnnotType :: !FastString
}
data NodeInfo a = NodeInfo {
- nodeAnnotations :: Set NodeAnnotation
- nodeType :: [a]
- nodeIdentifiers :: NodeIdentifiers a
}
pprNodeIdents :: Outputable a => NodeIdentifiers a -> SDoc
pprIdentifier :: Identifier -> SDoc
type Identifier = Either ModuleName Name
type NodeIdentifiers a = Map Identifier (IdentifierDetails a)
data IdentifierDetails a = IdentifierDetails {
- identType :: Maybe a
- identInfo :: Set ContextInfo
}
data ContextInfo
- = Use
- | MatchBind
- | IEThing IEType
- | TyDecl
- | ValBind BindType Scope (Maybe Span)
- | PatternBind Scope Scope (Maybe Span)
- | ClassTyDecl (Maybe Span)
- | Decl DeclType (Maybe Span)
- | TyVarBind Scope TyVarScope
- | RecField RecFieldContext (Maybe Span)
- | EvidenceVarBind EvVarSource Scope (Maybe Span)
- | EvidenceVarUse
pprBindSpan :: Maybe Span -> SDoc
data EvVarSource
- = EvPatternBind
- | EvSigBind
- | EvWrapperBind
- | EvImplicitBind
- | EvInstBind {
  - isSuperInst :: Bool
  - cls :: Name
  }
- | EvLetBind EvBindDeps
newtype EvBindDeps = EvBindDeps {
- getEvBindDeps :: [Name]
}
data IEType
- = Import
- | ImportAs
- | ImportHiding
- | Export
data RecFieldContext
- = RecFieldDecl
- | RecFieldAssign
- | RecFieldMatch
- | RecFieldOcc
data BindType
- = RegularBind
- | InstanceBind
data DeclType
- = FamDec
- | SynDec
- | DataDec
- | ConDec
- | PatSynDec
- | ClassDec
- | InstDec
data Scope
- = NoScope
- | LocalScope Span
- | ModuleScope
data TyVarScope
- = ResolvedScopes [Scope]
- | UnresolvedScope [Name] (Maybe Span)
data HieName
- = ExternalName !Module !OccName !SrcSpan
- | LocalName !OccName !SrcSpan
- | KnownKeyName !Unique
hieNameOcc :: HieName -> OccName
toHieName :: Name -> HieName
data EntityInfo
- = EntityVariable
- | EntityFunction
- | EntityDataConstructor
- | EntityTypeVariable
- | EntityClassMethod
- | EntityPatternSynonym
- | EntityTypeConstructor
- | EntityTypeClass
- | EntityTypeSynonym
- | EntityTypeFamily
- | EntityRecordField
idEntityInfo :: Id -> Set EntityInfo
tyThingEntityInfo :: TyThing -> Set EntityInfo
nameEntityInfo :: Name -> Set EntityInfo

Documentation

type Span = RealSrcSpan #

hieVersion :: Integer #

Current version of .hie files

data HieFile #

GHC builds up a wealth of information about Haskell source as it compiles it. .hie files are a way of persisting some of this information to disk so that external tools that need to work with haskell source don't need to parse, typecheck, and rename all over again. These files contain:

a simplified AST
- nodes are annotated with source positions and types
- identifiers are annotated with scope information
the raw bytes of the initial Haskell source

Besides saving compilation cycles, .hie files also offer a more stable interface than the GHC API.

Constructors

HieFile

Fields

hie_hs_file :: FilePath
Initial Haskell source file path
hie_module :: Module
The module this HIE file is for
hie_types :: Array TypeIndex HieTypeFlat
Types referenced in the hie_asts.
See Note [Efficient serialization of redundant type info]
hie_asts :: HieASTs TypeIndex
Type-annotated abstract syntax trees
hie_exports :: [AvailInfo]
The names that this module exports
hie_hs_src :: ByteString
Raw bytes of the initial Haskell source
hie_entity_infos :: NameEntityInfo
Entity information for each Name in the hie_asts

Instances

Instances details

Binary HieFile #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> HieFile -> IO () # put :: WriteBinHandle -> HieFile -> IO (Bin HieFile) # get :: ReadBinHandle -> IO HieFile #

type NameEntityInfo = Map Name (Set EntityInfo) #

type TypeIndex = Int #

data HieType a #

A flattened version of Type.

See Note [Efficient serialization of redundant type info]

Constructors

HTyVarTy Name
HAppTy a (HieArgs a)
HTyConApp IfaceTyCon (HieArgs a)
HForAllTy ((Name, a), ForAllTyFlag) a
HFunTy a a a
HQualTy a a	type with constraint: `t1 => t2` (see `IfaceDFunTy`)
HLitTy IfaceTyLit
HCastTy a
HCoercionTy

Instances

Instances details

Functor HieType #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> HieType a -> HieType b Source # (<$) :: a -> HieType b -> HieType a Source #
Foldable HieType #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => HieType m -> m Source # foldMap :: Monoid m => (a -> m) -> HieType a -> m Source # foldMap' :: Monoid m => (a -> m) -> HieType a -> m Source # foldr :: (a -> b -> b) -> b -> HieType a -> b Source # foldr' :: (a -> b -> b) -> b -> HieType a -> b Source # foldl :: (b -> a -> b) -> b -> HieType a -> b Source # foldl' :: (b -> a -> b) -> b -> HieType a -> b Source # foldr1 :: (a -> a -> a) -> HieType a -> a Source # foldl1 :: (a -> a -> a) -> HieType a -> a Source # toList :: HieType a -> [a] Source # null :: HieType a -> Bool Source # length :: HieType a -> Int Source # elem :: Eq a => a -> HieType a -> Bool Source # maximum :: Ord a => HieType a -> a Source # minimum :: Ord a => HieType a -> a Source # sum :: Num a => HieType a -> a Source # product :: Num a => HieType a -> a Source #
Traversable HieType #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> HieType a -> f (HieType b) Source # sequenceA :: Applicative f => HieType (f a) -> f (HieType a) Source # mapM :: Monad m => (a -> m b) -> HieType a -> m (HieType b) Source # sequence :: Monad m => HieType (m a) -> m (HieType a) Source #
Binary (HieType TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> HieType TypeIndex -> IO () # put :: WriteBinHandle -> HieType TypeIndex -> IO (Bin (HieType TypeIndex)) # get :: ReadBinHandle -> IO (HieType TypeIndex) #
Eq a => Eq (HieType a) #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: HieType a -> HieType a -> Bool Source # (/=) :: HieType a -> HieType a -> Bool Source #

type HieTypeFlat = HieType TypeIndex #

newtype HieTypeFix #

Roughly isomorphic to the original core Type.

Constructors

Roll (HieType HieTypeFix)

Instances

Instances details

Eq HieTypeFix #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: HieTypeFix -> HieTypeFix -> Bool Source # (/=) :: HieTypeFix -> HieTypeFix -> Bool Source #

newtype HieArgs a #

A list of type arguments along with their respective visibilities (ie. is this an argument that would return True for isVisibleForAllTyFlag?).

Constructors

HieArgs [(Bool, a)]

Instances

Instances details

Functor HieArgs #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> HieArgs a -> HieArgs b Source # (<$) :: a -> HieArgs b -> HieArgs a Source #
Foldable HieArgs #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => HieArgs m -> m Source # foldMap :: Monoid m => (a -> m) -> HieArgs a -> m Source # foldMap' :: Monoid m => (a -> m) -> HieArgs a -> m Source # foldr :: (a -> b -> b) -> b -> HieArgs a -> b Source # foldr' :: (a -> b -> b) -> b -> HieArgs a -> b Source # foldl :: (b -> a -> b) -> b -> HieArgs a -> b Source # foldl' :: (b -> a -> b) -> b -> HieArgs a -> b Source # foldr1 :: (a -> a -> a) -> HieArgs a -> a Source # foldl1 :: (a -> a -> a) -> HieArgs a -> a Source # toList :: HieArgs a -> [a] Source # null :: HieArgs a -> Bool Source # length :: HieArgs a -> Int Source # elem :: Eq a => a -> HieArgs a -> Bool Source # maximum :: Ord a => HieArgs a -> a Source # minimum :: Ord a => HieArgs a -> a Source # sum :: Num a => HieArgs a -> a Source # product :: Num a => HieArgs a -> a Source #
Traversable HieArgs #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> HieArgs a -> f (HieArgs b) Source # sequenceA :: Applicative f => HieArgs (f a) -> f (HieArgs a) Source # mapM :: Monad m => (a -> m b) -> HieArgs a -> m (HieArgs b) Source # sequence :: Monad m => HieArgs (m a) -> m (HieArgs a) Source #
Binary (HieArgs TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> HieArgs TypeIndex -> IO () # put :: WriteBinHandle -> HieArgs TypeIndex -> IO (Bin (HieArgs TypeIndex)) # get :: ReadBinHandle -> IO (HieArgs TypeIndex) #
Eq a => Eq (HieArgs a) #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: HieArgs a -> HieArgs a -> Bool Source # (/=) :: HieArgs a -> HieArgs a -> Bool Source #

type HiePath = LexicalFastString #

pattern HiePath :: FastString -> HiePath #

newtype HieASTs a #

Mapping from filepaths to the corresponding AST

Constructors

HieASTs
Fields getAsts :: Map HiePath (HieAST a)

Instances

Instances details

Functor HieASTs #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> HieASTs a -> HieASTs b Source # (<$) :: a -> HieASTs b -> HieASTs a Source #
Foldable HieASTs #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => HieASTs m -> m Source # foldMap :: Monoid m => (a -> m) -> HieASTs a -> m Source # foldMap' :: Monoid m => (a -> m) -> HieASTs a -> m Source # foldr :: (a -> b -> b) -> b -> HieASTs a -> b Source # foldr' :: (a -> b -> b) -> b -> HieASTs a -> b Source # foldl :: (b -> a -> b) -> b -> HieASTs a -> b Source # foldl' :: (b -> a -> b) -> b -> HieASTs a -> b Source # foldr1 :: (a -> a -> a) -> HieASTs a -> a Source # foldl1 :: (a -> a -> a) -> HieASTs a -> a Source # toList :: HieASTs a -> [a] Source # null :: HieASTs a -> Bool Source # length :: HieASTs a -> Int Source # elem :: Eq a => a -> HieASTs a -> Bool Source # maximum :: Ord a => HieASTs a -> a Source # minimum :: Ord a => HieASTs a -> a Source # sum :: Num a => HieASTs a -> a Source # product :: Num a => HieASTs a -> a Source #
Traversable HieASTs #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> HieASTs a -> f (HieASTs b) Source # sequenceA :: Applicative f => HieASTs (f a) -> f (HieASTs a) Source # mapM :: Monad m => (a -> m b) -> HieASTs a -> m (HieASTs b) Source # sequence :: Monad m => HieASTs (m a) -> m (HieASTs a) Source #
Binary (HieASTs TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> HieASTs TypeIndex -> IO () # put :: WriteBinHandle -> HieASTs TypeIndex -> IO (Bin (HieASTs TypeIndex)) # get :: ReadBinHandle -> IO (HieASTs TypeIndex) #
Outputable a => Outputable (HieASTs a) #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieASTs a -> SDoc #

data HieAST a #

Constructors

Node
Fields sourcedNodeInfo :: SourcedNodeInfo a nodeSpan :: Span nodeChildren :: [HieAST a]

Instances

Instances details

Functor HieAST #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> HieAST a -> HieAST b Source # (<$) :: a -> HieAST b -> HieAST a Source #
Foldable HieAST #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => HieAST m -> m Source # foldMap :: Monoid m => (a -> m) -> HieAST a -> m Source # foldMap' :: Monoid m => (a -> m) -> HieAST a -> m Source # foldr :: (a -> b -> b) -> b -> HieAST a -> b Source # foldr' :: (a -> b -> b) -> b -> HieAST a -> b Source # foldl :: (b -> a -> b) -> b -> HieAST a -> b Source # foldl' :: (b -> a -> b) -> b -> HieAST a -> b Source # foldr1 :: (a -> a -> a) -> HieAST a -> a Source # foldl1 :: (a -> a -> a) -> HieAST a -> a Source # toList :: HieAST a -> [a] Source # null :: HieAST a -> Bool Source # length :: HieAST a -> Int Source # elem :: Eq a => a -> HieAST a -> Bool Source # maximum :: Ord a => HieAST a -> a Source # minimum :: Ord a => HieAST a -> a Source # sum :: Num a => HieAST a -> a Source # product :: Num a => HieAST a -> a Source #
Traversable HieAST #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> HieAST a -> f (HieAST b) Source # sequenceA :: Applicative f => HieAST (f a) -> f (HieAST a) Source # mapM :: Monad m => (a -> m b) -> HieAST a -> m (HieAST b) Source # sequence :: Monad m => HieAST (m a) -> m (HieAST a) Source #
Binary (HieAST TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> HieAST TypeIndex -> IO () # put :: WriteBinHandle -> HieAST TypeIndex -> IO (Bin (HieAST TypeIndex)) # get :: ReadBinHandle -> IO (HieAST TypeIndex) #
Outputable a => Outputable (HieAST a) #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieAST a -> SDoc #

newtype SourcedNodeInfo a #

NodeInfos grouped by source

Constructors

SourcedNodeInfo
Fields getSourcedNodeInfo :: Map NodeOrigin (NodeInfo a)

Instances

Instances details

Functor SourcedNodeInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> SourcedNodeInfo a -> SourcedNodeInfo b Source # (<$) :: a -> SourcedNodeInfo b -> SourcedNodeInfo a Source #
Foldable SourcedNodeInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => SourcedNodeInfo m -> m Source # foldMap :: Monoid m => (a -> m) -> SourcedNodeInfo a -> m Source # foldMap' :: Monoid m => (a -> m) -> SourcedNodeInfo a -> m Source # foldr :: (a -> b -> b) -> b -> SourcedNodeInfo a -> b Source # foldr' :: (a -> b -> b) -> b -> SourcedNodeInfo a -> b Source # foldl :: (b -> a -> b) -> b -> SourcedNodeInfo a -> b Source # foldl' :: (b -> a -> b) -> b -> SourcedNodeInfo a -> b Source # foldr1 :: (a -> a -> a) -> SourcedNodeInfo a -> a Source # foldl1 :: (a -> a -> a) -> SourcedNodeInfo a -> a Source # toList :: SourcedNodeInfo a -> [a] Source # null :: SourcedNodeInfo a -> Bool Source # length :: SourcedNodeInfo a -> Int Source # elem :: Eq a => a -> SourcedNodeInfo a -> Bool Source # maximum :: Ord a => SourcedNodeInfo a -> a Source # minimum :: Ord a => SourcedNodeInfo a -> a Source # sum :: Num a => SourcedNodeInfo a -> a Source # product :: Num a => SourcedNodeInfo a -> a Source #
Traversable SourcedNodeInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> SourcedNodeInfo a -> f (SourcedNodeInfo b) Source # sequenceA :: Applicative f => SourcedNodeInfo (f a) -> f (SourcedNodeInfo a) Source # mapM :: Monad m => (a -> m b) -> SourcedNodeInfo a -> m (SourcedNodeInfo b) Source # sequence :: Monad m => SourcedNodeInfo (m a) -> m (SourcedNodeInfo a) Source #
Binary (SourcedNodeInfo TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> SourcedNodeInfo TypeIndex -> IO () # put :: WriteBinHandle -> SourcedNodeInfo TypeIndex -> IO (Bin (SourcedNodeInfo TypeIndex)) # get :: ReadBinHandle -> IO (SourcedNodeInfo TypeIndex) #
Outputable a => Outputable (SourcedNodeInfo a) #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: SourcedNodeInfo a -> SDoc #

data NodeOrigin #

Source of node info

Constructors

SourceInfo
GeneratedInfo

Instances

Instances details

Binary NodeOrigin #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> NodeOrigin -> IO () # put :: WriteBinHandle -> NodeOrigin -> IO (Bin NodeOrigin) # get :: ReadBinHandle -> IO NodeOrigin #
Outputable NodeOrigin #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeOrigin -> SDoc #
Eq NodeOrigin #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: NodeOrigin -> NodeOrigin -> Bool Source # (/=) :: NodeOrigin -> NodeOrigin -> Bool Source #
Ord NodeOrigin #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: NodeOrigin -> NodeOrigin -> Ordering Source # (<) :: NodeOrigin -> NodeOrigin -> Bool Source # (<=) :: NodeOrigin -> NodeOrigin -> Bool Source # (>) :: NodeOrigin -> NodeOrigin -> Bool Source # (>=) :: NodeOrigin -> NodeOrigin -> Bool Source # max :: NodeOrigin -> NodeOrigin -> NodeOrigin Source # min :: NodeOrigin -> NodeOrigin -> NodeOrigin Source #
Enum NodeOrigin #
Instance details Defined in GHC.Iface.Ext.Types Methods succ :: NodeOrigin -> NodeOrigin Source # pred :: NodeOrigin -> NodeOrigin Source # toEnum :: Int -> NodeOrigin Source # fromEnum :: NodeOrigin -> Int Source # enumFrom :: NodeOrigin -> [NodeOrigin] Source # enumFromThen :: NodeOrigin -> NodeOrigin -> [NodeOrigin] Source # enumFromTo :: NodeOrigin -> NodeOrigin -> [NodeOrigin] Source # enumFromThenTo :: NodeOrigin -> NodeOrigin -> NodeOrigin -> [NodeOrigin] Source #

data NodeAnnotation #

A node annotation

Constructors

NodeAnnotation
Fields nodeAnnotConstr :: !FastString name of the AST node constructor nodeAnnotType :: !FastString name of the AST node Type

Instances

Instances details

Binary NodeAnnotation #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> NodeAnnotation -> IO () # put :: WriteBinHandle -> NodeAnnotation -> IO (Bin NodeAnnotation) # get :: ReadBinHandle -> IO NodeAnnotation #
Outputable NodeAnnotation #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeAnnotation -> SDoc #
Eq NodeAnnotation #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: NodeAnnotation -> NodeAnnotation -> Bool Source # (/=) :: NodeAnnotation -> NodeAnnotation -> Bool Source #
Ord NodeAnnotation #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: NodeAnnotation -> NodeAnnotation -> Ordering Source # (<) :: NodeAnnotation -> NodeAnnotation -> Bool Source # (<=) :: NodeAnnotation -> NodeAnnotation -> Bool Source # (>) :: NodeAnnotation -> NodeAnnotation -> Bool Source # (>=) :: NodeAnnotation -> NodeAnnotation -> Bool Source # max :: NodeAnnotation -> NodeAnnotation -> NodeAnnotation Source # min :: NodeAnnotation -> NodeAnnotation -> NodeAnnotation Source #

data NodeInfo a #

The information stored in one AST node.

The type parameter exists to provide flexibility in representation of types (see Note [Efficient serialization of redundant type info]).

Constructors

NodeInfo
Fields nodeAnnotations :: Set NodeAnnotation Annotations nodeType :: [a] The Haskell types of this node, if any. nodeIdentifiers :: NodeIdentifiers a All the identifiers and their details

Instances

Instances details

Functor NodeInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> NodeInfo a -> NodeInfo b Source # (<$) :: a -> NodeInfo b -> NodeInfo a Source #
Foldable NodeInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => NodeInfo m -> m Source # foldMap :: Monoid m => (a -> m) -> NodeInfo a -> m Source # foldMap' :: Monoid m => (a -> m) -> NodeInfo a -> m Source # foldr :: (a -> b -> b) -> b -> NodeInfo a -> b Source # foldr' :: (a -> b -> b) -> b -> NodeInfo a -> b Source # foldl :: (b -> a -> b) -> b -> NodeInfo a -> b Source # foldl' :: (b -> a -> b) -> b -> NodeInfo a -> b Source # foldr1 :: (a -> a -> a) -> NodeInfo a -> a Source # foldl1 :: (a -> a -> a) -> NodeInfo a -> a Source # toList :: NodeInfo a -> [a] Source # null :: NodeInfo a -> Bool Source # length :: NodeInfo a -> Int Source # elem :: Eq a => a -> NodeInfo a -> Bool Source # maximum :: Ord a => NodeInfo a -> a Source # minimum :: Ord a => NodeInfo a -> a Source # sum :: Num a => NodeInfo a -> a Source # product :: Num a => NodeInfo a -> a Source #
Traversable NodeInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> NodeInfo a -> f (NodeInfo b) Source # sequenceA :: Applicative f => NodeInfo (f a) -> f (NodeInfo a) Source # mapM :: Monad m => (a -> m b) -> NodeInfo a -> m (NodeInfo b) Source # sequence :: Monad m => NodeInfo (m a) -> m (NodeInfo a) Source #
Binary (NodeInfo TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> NodeInfo TypeIndex -> IO () # put :: WriteBinHandle -> NodeInfo TypeIndex -> IO (Bin (NodeInfo TypeIndex)) # get :: ReadBinHandle -> IO (NodeInfo TypeIndex) #
Outputable a => Outputable (NodeInfo a) #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeInfo a -> SDoc #

pprNodeIdents :: Outputable a => NodeIdentifiers a -> SDoc #

pprIdentifier :: Identifier -> SDoc #

type Identifier = Either ModuleName Name #

type NodeIdentifiers a = Map Identifier (IdentifierDetails a) #

data IdentifierDetails a #

Information associated with every identifier

We need to include types with identifiers because sometimes multiple identifiers occur in the same span(Overloaded Record Fields and so on)

Constructors

IdentifierDetails
Fields identType :: Maybe a identInfo :: Set ContextInfo

Instances

Instances details

Functor IdentifierDetails #
Instance details Defined in GHC.Iface.Ext.Types Methods fmap :: (a -> b) -> IdentifierDetails a -> IdentifierDetails b Source # (<$) :: a -> IdentifierDetails b -> IdentifierDetails a Source #
Foldable IdentifierDetails #
Instance details Defined in GHC.Iface.Ext.Types Methods fold :: Monoid m => IdentifierDetails m -> m Source # foldMap :: Monoid m => (a -> m) -> IdentifierDetails a -> m Source # foldMap' :: Monoid m => (a -> m) -> IdentifierDetails a -> m Source # foldr :: (a -> b -> b) -> b -> IdentifierDetails a -> b Source # foldr' :: (a -> b -> b) -> b -> IdentifierDetails a -> b Source # foldl :: (b -> a -> b) -> b -> IdentifierDetails a -> b Source # foldl' :: (b -> a -> b) -> b -> IdentifierDetails a -> b Source # foldr1 :: (a -> a -> a) -> IdentifierDetails a -> a Source # foldl1 :: (a -> a -> a) -> IdentifierDetails a -> a Source # toList :: IdentifierDetails a -> [a] Source # null :: IdentifierDetails a -> Bool Source # length :: IdentifierDetails a -> Int Source # elem :: Eq a => a -> IdentifierDetails a -> Bool Source # maximum :: Ord a => IdentifierDetails a -> a Source # minimum :: Ord a => IdentifierDetails a -> a Source # sum :: Num a => IdentifierDetails a -> a Source # product :: Num a => IdentifierDetails a -> a Source #
Traversable IdentifierDetails #
Instance details Defined in GHC.Iface.Ext.Types Methods traverse :: Applicative f => (a -> f b) -> IdentifierDetails a -> f (IdentifierDetails b) Source # sequenceA :: Applicative f => IdentifierDetails (f a) -> f (IdentifierDetails a) Source # mapM :: Monad m => (a -> m b) -> IdentifierDetails a -> m (IdentifierDetails b) Source # sequence :: Monad m => IdentifierDetails (m a) -> m (IdentifierDetails a) Source #
Binary (IdentifierDetails TypeIndex) #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> IdentifierDetails TypeIndex -> IO () # put :: WriteBinHandle -> IdentifierDetails TypeIndex -> IO (Bin (IdentifierDetails TypeIndex)) # get :: ReadBinHandle -> IO (IdentifierDetails TypeIndex) #
Outputable a => Outputable (IdentifierDetails a) #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: IdentifierDetails a -> SDoc #
Monoid (IdentifierDetails a) #
Instance details Defined in GHC.Iface.Ext.Types Methods mempty :: IdentifierDetails a Source # mappend :: IdentifierDetails a -> IdentifierDetails a -> IdentifierDetails a Source # mconcat :: [IdentifierDetails a] -> IdentifierDetails a Source #
Semigroup (IdentifierDetails a) #
Instance details Defined in GHC.Iface.Ext.Types Methods (<>) :: IdentifierDetails a -> IdentifierDetails a -> IdentifierDetails a Source # sconcat :: NonEmpty (IdentifierDetails a) -> IdentifierDetails a Source # stimes :: Integral b => b -> IdentifierDetails a -> IdentifierDetails a Source #
Eq a => Eq (IdentifierDetails a) #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: IdentifierDetails a -> IdentifierDetails a -> Bool Source # (/=) :: IdentifierDetails a -> IdentifierDetails a -> Bool Source #

data ContextInfo #

Different contexts under which identifiers exist

Constructors

Use	regular variable
MatchBind
IEThing IEType	import/export
TyDecl
ValBind	Value binding
Fields BindType whether or not the binding is in an instance Scope scope over which the value is bound (Maybe Span) span of entire binding
PatternBind	Pattern binding This case is tricky because the bound identifier can be used in two distinct scopes. Consider the following example (with `-XViewPatterns`) do (b, a, (a -> True)) <- bar foo a The identifier `a` has two scopes: in the view pattern `(a -> True)` and in the rest of the `do`-block in `foo a`.
Fields Scope scope in the pattern (the variable bound can be used further in the pattern) Scope rest of the scope outside the pattern (Maybe Span) span of entire binding
ClassTyDecl (Maybe Span)
Decl	Declaration
Fields DeclType type of declaration (Maybe Span) span of entire binding
TyVarBind Scope TyVarScope	Type variable
RecField RecFieldContext (Maybe Span)	Record field
EvidenceVarBind	Constraint/Dictionary evidence variable binding
Fields EvVarSource how did this bind come into being Scope scope over which the value is bound (Maybe Span) span of the binding site
EvidenceVarUse	Usage of evidence variable

Instances

Instances details

Binary ContextInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> ContextInfo -> IO () # put :: WriteBinHandle -> ContextInfo -> IO (Bin ContextInfo) # get :: ReadBinHandle -> IO ContextInfo #
Outputable ContextInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: ContextInfo -> SDoc #
Eq ContextInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: ContextInfo -> ContextInfo -> Bool Source # (/=) :: ContextInfo -> ContextInfo -> Bool Source #
Ord ContextInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: ContextInfo -> ContextInfo -> Ordering Source # (<) :: ContextInfo -> ContextInfo -> Bool Source # (<=) :: ContextInfo -> ContextInfo -> Bool Source # (>) :: ContextInfo -> ContextInfo -> Bool Source # (>=) :: ContextInfo -> ContextInfo -> Bool Source # max :: ContextInfo -> ContextInfo -> ContextInfo Source # min :: ContextInfo -> ContextInfo -> ContextInfo Source #

pprBindSpan :: Maybe Span -> SDoc #

data EvVarSource #

Constructors

EvPatternBind	bound by a pattern match
EvSigBind	bound by a type signature
EvWrapperBind	bound by a hswrapper
EvImplicitBind	bound by an implicit variable
EvInstBind	Bound by some instance of given class
Fields isSuperInst :: Bool cls :: Name
EvLetBind EvBindDeps	A direct let binding

Instances

Instances details

Binary EvVarSource #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> EvVarSource -> IO () # put :: WriteBinHandle -> EvVarSource -> IO (Bin EvVarSource) # get :: ReadBinHandle -> IO EvVarSource #
Outputable EvVarSource #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EvVarSource -> SDoc #
Eq EvVarSource #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: EvVarSource -> EvVarSource -> Bool Source # (/=) :: EvVarSource -> EvVarSource -> Bool Source #
Ord EvVarSource #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: EvVarSource -> EvVarSource -> Ordering Source # (<) :: EvVarSource -> EvVarSource -> Bool Source # (<=) :: EvVarSource -> EvVarSource -> Bool Source # (>) :: EvVarSource -> EvVarSource -> Bool Source # (>=) :: EvVarSource -> EvVarSource -> Bool Source # max :: EvVarSource -> EvVarSource -> EvVarSource Source # min :: EvVarSource -> EvVarSource -> EvVarSource Source #

newtype EvBindDeps #

Eq/Ord instances compare on the converted HieName, as non-exported names may have different uniques after a roundtrip

Constructors

EvBindDeps
Fields getEvBindDeps :: [Name]

Instances

Instances details

Binary EvBindDeps #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> EvBindDeps -> IO () # put :: WriteBinHandle -> EvBindDeps -> IO (Bin EvBindDeps) # get :: ReadBinHandle -> IO EvBindDeps #
Outputable EvBindDeps #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EvBindDeps -> SDoc #
Eq EvBindDeps #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: EvBindDeps -> EvBindDeps -> Bool Source # (/=) :: EvBindDeps -> EvBindDeps -> Bool Source #
Ord EvBindDeps #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: EvBindDeps -> EvBindDeps -> Ordering Source # (<) :: EvBindDeps -> EvBindDeps -> Bool Source # (<=) :: EvBindDeps -> EvBindDeps -> Bool Source # (>) :: EvBindDeps -> EvBindDeps -> Bool Source # (>=) :: EvBindDeps -> EvBindDeps -> Bool Source # max :: EvBindDeps -> EvBindDeps -> EvBindDeps Source # min :: EvBindDeps -> EvBindDeps -> EvBindDeps Source #

data IEType #

Types of imports and exports

Constructors

Import
ImportAs
ImportHiding
Export

Instances

Instances details

Binary IEType #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> IEType -> IO () # put :: WriteBinHandle -> IEType -> IO (Bin IEType) # get :: ReadBinHandle -> IO IEType #
Outputable IEType #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: IEType -> SDoc #
Eq IEType #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: IEType -> IEType -> Bool Source # (/=) :: IEType -> IEType -> Bool Source #
Ord IEType #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: IEType -> IEType -> Ordering Source # (<) :: IEType -> IEType -> Bool Source # (<=) :: IEType -> IEType -> Bool Source # (>) :: IEType -> IEType -> Bool Source # (>=) :: IEType -> IEType -> Bool Source # max :: IEType -> IEType -> IEType Source # min :: IEType -> IEType -> IEType Source #
Enum IEType #
Instance details Defined in GHC.Iface.Ext.Types Methods succ :: IEType -> IEType Source # pred :: IEType -> IEType Source # toEnum :: Int -> IEType Source # fromEnum :: IEType -> Int Source # enumFrom :: IEType -> [IEType] Source # enumFromThen :: IEType -> IEType -> [IEType] Source # enumFromTo :: IEType -> IEType -> [IEType] Source # enumFromThenTo :: IEType -> IEType -> IEType -> [IEType] Source #

data RecFieldContext #

Constructors

RecFieldDecl
RecFieldAssign
RecFieldMatch
RecFieldOcc

Instances

Instances details

Binary RecFieldContext #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> RecFieldContext -> IO () # put :: WriteBinHandle -> RecFieldContext -> IO (Bin RecFieldContext) # get :: ReadBinHandle -> IO RecFieldContext #
Outputable RecFieldContext #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: RecFieldContext -> SDoc #
Eq RecFieldContext #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: RecFieldContext -> RecFieldContext -> Bool Source # (/=) :: RecFieldContext -> RecFieldContext -> Bool Source #
Ord RecFieldContext #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: RecFieldContext -> RecFieldContext -> Ordering Source # (<) :: RecFieldContext -> RecFieldContext -> Bool Source # (<=) :: RecFieldContext -> RecFieldContext -> Bool Source # (>) :: RecFieldContext -> RecFieldContext -> Bool Source # (>=) :: RecFieldContext -> RecFieldContext -> Bool Source # max :: RecFieldContext -> RecFieldContext -> RecFieldContext Source # min :: RecFieldContext -> RecFieldContext -> RecFieldContext Source #
Enum RecFieldContext #
Instance details Defined in GHC.Iface.Ext.Types Methods succ :: RecFieldContext -> RecFieldContext Source # pred :: RecFieldContext -> RecFieldContext Source # toEnum :: Int -> RecFieldContext Source # fromEnum :: RecFieldContext -> Int Source # enumFrom :: RecFieldContext -> [RecFieldContext] Source # enumFromThen :: RecFieldContext -> RecFieldContext -> [RecFieldContext] Source # enumFromTo :: RecFieldContext -> RecFieldContext -> [RecFieldContext] Source # enumFromThenTo :: RecFieldContext -> RecFieldContext -> RecFieldContext -> [RecFieldContext] Source #

data BindType #

Constructors

RegularBind
InstanceBind

Instances

Instances details

Binary BindType #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> BindType -> IO () # put :: WriteBinHandle -> BindType -> IO (Bin BindType) # get :: ReadBinHandle -> IO BindType #
Outputable BindType #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: BindType -> SDoc #
Eq BindType #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: BindType -> BindType -> Bool Source # (/=) :: BindType -> BindType -> Bool Source #
Ord BindType #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: BindType -> BindType -> Ordering Source # (<) :: BindType -> BindType -> Bool Source # (<=) :: BindType -> BindType -> Bool Source # (>) :: BindType -> BindType -> Bool Source # (>=) :: BindType -> BindType -> Bool Source # max :: BindType -> BindType -> BindType Source # min :: BindType -> BindType -> BindType Source #
Enum BindType #
Instance details Defined in GHC.Iface.Ext.Types Methods succ :: BindType -> BindType Source # pred :: BindType -> BindType Source # toEnum :: Int -> BindType Source # fromEnum :: BindType -> Int Source # enumFrom :: BindType -> [BindType] Source # enumFromThen :: BindType -> BindType -> [BindType] Source # enumFromTo :: BindType -> BindType -> [BindType] Source # enumFromThenTo :: BindType -> BindType -> BindType -> [BindType] Source #

data DeclType #

Constructors

FamDec	type or data family
SynDec	type synonym
DataDec	data declaration
ConDec	constructor declaration
PatSynDec	pattern synonym
ClassDec	class declaration
InstDec	instance declaration

Instances

Instances details

Binary DeclType #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> DeclType -> IO () # put :: WriteBinHandle -> DeclType -> IO (Bin DeclType) # get :: ReadBinHandle -> IO DeclType #
Outputable DeclType #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: DeclType -> SDoc #
Eq DeclType #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: DeclType -> DeclType -> Bool Source # (/=) :: DeclType -> DeclType -> Bool Source #
Ord DeclType #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: DeclType -> DeclType -> Ordering Source # (<) :: DeclType -> DeclType -> Bool Source # (<=) :: DeclType -> DeclType -> Bool Source # (>) :: DeclType -> DeclType -> Bool Source # (>=) :: DeclType -> DeclType -> Bool Source # max :: DeclType -> DeclType -> DeclType Source # min :: DeclType -> DeclType -> DeclType Source #
Enum DeclType #
Instance details Defined in GHC.Iface.Ext.Types Methods succ :: DeclType -> DeclType Source # pred :: DeclType -> DeclType Source # toEnum :: Int -> DeclType Source # fromEnum :: DeclType -> Int Source # enumFrom :: DeclType -> [DeclType] Source # enumFromThen :: DeclType -> DeclType -> [DeclType] Source # enumFromTo :: DeclType -> DeclType -> [DeclType] Source # enumFromThenTo :: DeclType -> DeclType -> DeclType -> [DeclType] Source #

data Scope #

Constructors

NoScope
LocalScope Span
ModuleScope

Instances

Instances details

Binary Scope #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> Scope -> IO () # put :: WriteBinHandle -> Scope -> IO (Bin Scope) # get :: ReadBinHandle -> IO Scope #
Outputable Scope #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: Scope -> SDoc #
Eq Scope #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: Scope -> Scope -> Bool Source # (/=) :: Scope -> Scope -> Bool Source #
Ord Scope #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: Scope -> Scope -> Ordering Source # (<) :: Scope -> Scope -> Bool Source # (<=) :: Scope -> Scope -> Bool Source # (>) :: Scope -> Scope -> Bool Source # (>=) :: Scope -> Scope -> Bool Source # max :: Scope -> Scope -> Scope Source # min :: Scope -> Scope -> Scope Source #
Data Scope #
Instance details Defined in GHC.Iface.Ext.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Scope -> c Scope Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Scope Source # toConstr :: Scope -> Constr Source # dataTypeOf :: Scope -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Scope) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Scope) Source # gmapT :: (forall b. Data b => b -> b) -> Scope -> Scope Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Scope -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Scope -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Scope -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Scope -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Scope -> m Scope Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Scope -> m Scope Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Scope -> m Scope Source #

data TyVarScope #

Scope of a type variable.

This warrants a data type apart from Scope because of complexities introduced by features like -XScopedTypeVariables and -XInstanceSigs. For example, consider:

foo, bar, baz :: forall a. a -> a

Here a is in scope in all the definitions of foo, bar, and baz, so we need a list of scopes to keep track of this. Furthermore, this list cannot be computed until we resolve the binding sites of foo, bar, and baz.

Consequently, a starts with an UnresolvedScope [foo, bar, baz] Nothing which later gets resolved into a ResolvedScopes.

Constructors

ResolvedScopes [Scope]
UnresolvedScope	Unresolved scopes should never show up in the final `.hie` file
Fields [Name] names of the definitions over which the scope spans (Maybe Span) the location of the instance/class declaration for the case where the type variable is declared in a method type signature

Instances

Instances details

Binary TyVarScope #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> TyVarScope -> IO () # put :: WriteBinHandle -> TyVarScope -> IO (Bin TyVarScope) # get :: ReadBinHandle -> IO TyVarScope #
Outputable TyVarScope #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: TyVarScope -> SDoc #
Eq TyVarScope #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: TyVarScope -> TyVarScope -> Bool Source # (/=) :: TyVarScope -> TyVarScope -> Bool Source #
Ord TyVarScope #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: TyVarScope -> TyVarScope -> Ordering Source # (<) :: TyVarScope -> TyVarScope -> Bool Source # (<=) :: TyVarScope -> TyVarScope -> Bool Source # (>) :: TyVarScope -> TyVarScope -> Bool Source # (>=) :: TyVarScope -> TyVarScope -> Bool Source # max :: TyVarScope -> TyVarScope -> TyVarScope Source # min :: TyVarScope -> TyVarScope -> TyVarScope Source #

data HieName #

Name's get converted into HieName's before being written into .hie files. See toHieName and fromHieName for logic on how to convert between these two types.

Constructors

ExternalName !Module !OccName !SrcSpan
LocalName !OccName !SrcSpan
KnownKeyName !Unique

Instances

Instances details

Outputable HieName #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieName -> SDoc #
Eq HieName #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: HieName -> HieName -> Bool Source # (/=) :: HieName -> HieName -> Bool Source #
Ord HieName #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: HieName -> HieName -> Ordering Source # (<) :: HieName -> HieName -> Bool Source # (<=) :: HieName -> HieName -> Bool Source # (>) :: HieName -> HieName -> Bool Source # (>=) :: HieName -> HieName -> Bool Source # max :: HieName -> HieName -> HieName Source # min :: HieName -> HieName -> HieName Source #

hieNameOcc :: HieName -> OccName #

toHieName :: Name -> HieName #

data EntityInfo #

Entity information EntityInfo is a simplified version of TyThing and richer version than Namespace in OccName. It state the kind of the entity, such as Variable, TypeVariable, DataConstructor, etc..

Constructors

EntityVariable
EntityFunction
EntityDataConstructor
EntityTypeVariable
EntityClassMethod
EntityPatternSynonym
EntityTypeConstructor
EntityTypeClass
EntityTypeSynonym
EntityTypeFamily
EntityRecordField

Instances

Instances details

Binary EntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> EntityInfo -> IO () # put :: WriteBinHandle -> EntityInfo -> IO (Bin EntityInfo) # get :: ReadBinHandle -> IO EntityInfo #
Binary NameEntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods put_ :: WriteBinHandle -> NameEntityInfo -> IO () # put :: WriteBinHandle -> NameEntityInfo -> IO (Bin NameEntityInfo) # get :: ReadBinHandle -> IO NameEntityInfo #
Outputable EntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EntityInfo -> SDoc #
Eq EntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: EntityInfo -> EntityInfo -> Bool Source # (/=) :: EntityInfo -> EntityInfo -> Bool Source #
Ord EntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: EntityInfo -> EntityInfo -> Ordering Source # (<) :: EntityInfo -> EntityInfo -> Bool Source # (<=) :: EntityInfo -> EntityInfo -> Bool Source # (>) :: EntityInfo -> EntityInfo -> Bool Source # (>=) :: EntityInfo -> EntityInfo -> Bool Source # max :: EntityInfo -> EntityInfo -> EntityInfo Source # min :: EntityInfo -> EntityInfo -> EntityInfo Source #
Enum EntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods succ :: EntityInfo -> EntityInfo Source # pred :: EntityInfo -> EntityInfo Source # toEnum :: Int -> EntityInfo Source # fromEnum :: EntityInfo -> Int Source # enumFrom :: EntityInfo -> [EntityInfo] Source # enumFromThen :: EntityInfo -> EntityInfo -> [EntityInfo] Source # enumFromTo :: EntityInfo -> EntityInfo -> [EntityInfo] Source # enumFromThenTo :: EntityInfo -> EntityInfo -> EntityInfo -> [EntityInfo] Source #
Show EntityInfo #
Instance details Defined in GHC.Iface.Ext.Types Methods showsPrec :: Int -> EntityInfo -> ShowS Source # show :: EntityInfo -> String Source # showList :: [EntityInfo] -> ShowS Source #

idEntityInfo :: Id -> Set EntityInfo #

Get the EntityInfo for an Id

tyThingEntityInfo :: TyThing -> Set EntityInfo #

Get the EntityInfo for a TyThing

nameEntityInfo :: Name -> Set EntityInfo #