getIdUnfolding :: Id -> UnfoldingDetails
getIdUniType :: Id -> UniType
getIdUpdateInfo :: Id -> UpdateInfo
getIdUnfolding :: Id -> UnfoldingDetails
getIdUniType :: Id -> UniType
getIdUpdateInfo :: Id -> UpdateInfo
getInstNamePieces :: Bool -> Inst -> [_PackedString]
getInstantiatedDataConSig :: Id -> [UniType] -> ([UniType], [UniType], UniType)
getMentionedTyConsAndClassesFromId :: Id -> (Bag TyCon, Bag Class)
idWantsToBeINLINEd :: Id -> Bool
isBottomingId :: Id -> Bool
isClassOpId :: Id -> Bool
getInstNamePieces :: Bool -> Inst -> [_PackedString]
getInstantiatedDataConSig :: Id -> [UniType] -> ([UniType], [UniType], UniType)
getMentionedTyConsAndClassesFromId :: Id -> (Bag TyCon, Bag Class)
idWantsToBeINLINEd :: Id -> Bool
isBottomingId :: Id -> Bool
isClassOpId :: Id -> Bool
isDictFunId :: Id -> Bool
isImportedId :: Id -> Bool
isInstId_maybe :: Id -> Labda Inst
isDictFunId :: Id -> Bool
isImportedId :: Id -> Bool
isInstId_maybe :: Id -> Labda Inst
mkDataCon :: Unique -> FullName -> [TyVarTemplate] -> [(Class, UniType)] -> [UniType] -> TyCon -> SpecEnv -> Id
mkDefaultMethodId :: Unique -> Class -> ClassOp -> Bool -> UniType -> IdInfo -> Id
mkDataCon :: Unique -> FullName -> [TyVarTemplate] -> [(Class, UniType)] -> [UniType] -> TyCon -> SpecEnv -> Id
mkDefaultMethodId :: Unique -> Class -> ClassOp -> Bool -> UniType -> IdInfo -> Id
mkId :: Name -> UniType -> IdInfo -> Id
mkIdWithNewUniq :: Id -> Unique -> Id
mkImported :: Unique -> FullName -> UniType -> IdInfo -> Id
mkId :: Name -> UniType -> IdInfo -> Id
mkIdWithNewUniq :: Id -> Unique -> Id
mkImported :: Unique -> FullName -> UniType -> IdInfo -> Id
showId :: PprStyle -> Id -> [Char]
toplevelishId :: Id -> Bool
unfoldingUnfriendlyId :: Id -> Bool
showId :: PprStyle -> Id -> [Char]
toplevelishId :: Id -> Bool
unfoldingUnfriendlyId :: Id -> Bool