Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type IfExtName = Name
- type IfLclName = FastString
- data IfaceType
- = IfaceTyVar IfLclName
- | IfaceLitTy IfaceTyLit
- | IfaceAppTy IfaceType IfaceType
- | IfaceFunTy IfaceType IfaceType
- | IfaceDFunTy IfaceType IfaceType
- | IfaceForAllTy IfaceForAllBndr IfaceType
- | IfaceTyConApp IfaceTyCon IfaceTcArgs
- | IfaceCastTy IfaceType IfaceCoercion
- | IfaceCoercionTy IfaceCoercion
- | IfaceTupleTy TupleSort IfaceTyConInfo IfaceTcArgs
- type IfacePredType = IfaceType
- type IfaceKind = IfaceType
- data IfaceCoercion
- = IfaceReflCo Role IfaceType
- | IfaceFunCo Role IfaceCoercion IfaceCoercion
- | IfaceTyConAppCo Role IfaceTyCon [IfaceCoercion]
- | IfaceAppCo IfaceCoercion IfaceCoercion
- | IfaceForAllCo IfaceTvBndr IfaceCoercion IfaceCoercion
- | IfaceCoVarCo IfLclName
- | IfaceAxiomInstCo IfExtName BranchIndex [IfaceCoercion]
- | IfaceUnivCo IfaceUnivCoProv Role IfaceType IfaceType
- | IfaceSymCo IfaceCoercion
- | IfaceTransCo IfaceCoercion IfaceCoercion
- | IfaceNthCo Int IfaceCoercion
- | IfaceLRCo LeftOrRight IfaceCoercion
- | IfaceInstCo IfaceCoercion IfaceCoercion
- | IfaceCoherenceCo IfaceCoercion IfaceCoercion
- | IfaceKindCo IfaceCoercion
- | IfaceSubCo IfaceCoercion
- | IfaceAxiomRuleCo IfLclName [IfaceCoercion]
- data IfaceUnivCoProv
- data IfaceTyCon = IfaceTyCon {}
- data IfaceTyConInfo
- data IfaceTyLit
- data IfaceTcArgs
- type IfaceContext = [IfacePredType]
- data IfaceBndr
- data IfaceOneShot
- type IfaceLamBndr = (IfaceBndr, IfaceOneShot)
- type IfaceTvBndr = (IfLclName, IfaceKind)
- type IfaceIdBndr = (IfLclName, IfaceType)
- data IfaceTyConBinder
- data IfaceForAllBndr = IfaceTv IfaceTvBndr VisibilityFlag
- data VisibilityFlag
- ifConstraintKind :: IfaceKind
- ifTyConBinderTyVar :: IfaceTyConBinder -> IfaceTvBndr
- ifTyConBinderName :: IfaceTyConBinder -> IfLclName
- data IfRnEnv2
- emptyIfRnEnv2 :: IfRnEnv2
- eqIfaceType :: IfRnEnv2 -> IfaceType -> IfaceType -> Bool
- eqIfaceTypes :: IfRnEnv2 -> [IfaceType] -> [IfaceType] -> Bool
- eqIfaceTcArgs :: IfRnEnv2 -> IfaceTcArgs -> IfaceTcArgs -> Bool
- eqIfaceTvBndrs :: IfRnEnv2 -> [IfaceTvBndr] -> [IfaceTvBndr] -> Maybe IfRnEnv2
- isIfaceLiftedTypeKind :: IfaceKind -> Bool
- toIfaceType :: Type -> IfaceType
- toIfaceTypes :: [Type] -> [IfaceType]
- toIfaceKind :: Type -> IfaceType
- toIfaceTyVar :: TyVar -> FastString
- toIfaceContext :: ThetaType -> IfaceContext
- toIfaceBndr :: Var -> IfaceBndr
- toIfaceIdBndr :: Id -> (IfLclName, IfaceType)
- toIfaceTyCon :: TyCon -> IfaceTyCon
- toIfaceTyCon_name :: Name -> IfaceTyCon
- toIfaceTcArgs :: TyCon -> [Type] -> IfaceTcArgs
- toIfaceTvBndrs :: [TyVar] -> [IfaceTvBndr]
- zipIfaceBinders :: [TyVar] -> [TyBinder] -> [IfaceTyConBinder]
- toDegenerateBinders :: [TyBinder] -> [IfaceTyConBinder]
- binderToIfaceForAllBndr :: TyBinder -> IfaceForAllBndr
- tcArgsIfaceTypes :: IfaceTcArgs -> [IfaceType]
- toIfaceCoercion :: Coercion -> IfaceCoercion
- pprIfaceType :: IfaceType -> SDoc
- pprParendIfaceType :: IfaceType -> SDoc
- pprIfaceContext :: Outputable a => [a] -> SDoc
- pprIfaceContextArr :: Outputable a => [a] -> SDoc
- pprIfaceIdBndr :: (IfLclName, IfaceType) -> SDoc
- pprIfaceLamBndr :: IfaceLamBndr -> SDoc
- pprIfaceTvBndr :: IfaceTvBndr -> SDoc
- pprIfaceTyConBinders :: [IfaceTyConBinder] -> SDoc
- pprIfaceBndrs :: [IfaceBndr] -> SDoc
- pprIfaceTcArgs :: IfaceTcArgs -> SDoc
- pprParendIfaceTcArgs :: IfaceTcArgs -> SDoc
- pprIfaceForAllPart :: [IfaceForAllBndr] -> [IfaceType] -> SDoc -> SDoc
- pprIfaceForAll :: [IfaceForAllBndr] -> SDoc
- pprIfaceSigmaType :: IfaceType -> SDoc
- pprIfaceCoercion :: IfaceCoercion -> SDoc
- pprParendIfaceCoercion :: IfaceCoercion -> SDoc
- splitIfaceSigmaTy :: IfaceType -> ([IfaceForAllBndr], [IfacePredType], IfaceType)
- pprIfaceTypeApp :: IfaceTyCon -> IfaceTcArgs -> SDoc
- pprUserIfaceForAll :: [IfaceForAllBndr] -> SDoc
- suppressIfaceInvisibles :: DynFlags -> [IfaceTyConBinder] -> [a] -> [a]
- stripIfaceInvisVars :: DynFlags -> [IfaceTyConBinder] -> [IfaceTyConBinder]
- stripInvisArgs :: DynFlags -> IfaceTcArgs -> IfaceTcArgs
- substIfaceType :: IfaceTySubst -> IfaceType -> IfaceType
- substIfaceTyVar :: IfaceTySubst -> IfLclName -> IfaceType
- substIfaceTcArgs :: IfaceTySubst -> IfaceTcArgs -> IfaceTcArgs
- mkIfaceTySubst :: [IfaceTvBndr] -> [IfaceType] -> IfaceTySubst
- eqIfaceTvBndr :: IfaceTvBndr -> IfaceTvBndr -> Bool
Documentation
type IfLclName = FastString Source #
type IfacePredType = IfaceType Source #
data IfaceCoercion Source #
data IfaceUnivCoProv Source #
data IfaceTyCon Source #
data IfaceTyConInfo Source #
data IfaceTyLit Source #
data IfaceTcArgs Source #
type IfaceContext = [IfacePredType] Source #
type IfaceLamBndr = (IfaceBndr, IfaceOneShot) Source #
type IfaceTvBndr = (IfLclName, IfaceKind) Source #
type IfaceIdBndr = (IfLclName, IfaceType) Source #
data IfaceTyConBinder Source #
data IfaceForAllBndr Source #
data VisibilityFlag Source #
ifTyConBinderTyVar :: IfaceTyConBinder -> IfaceTvBndr Source #
Extract a IfaceTvBndr from a IfaceTyConBinder
ifTyConBinderName :: IfaceTyConBinder -> IfLclName Source #
Extract the variable name from a IfaceTyConBinder
eqIfaceTcArgs :: IfRnEnv2 -> IfaceTcArgs -> IfaceTcArgs -> Bool Source #
eqIfaceTvBndrs :: IfRnEnv2 -> [IfaceTvBndr] -> [IfaceTvBndr] -> Maybe IfRnEnv2 Source #
toIfaceType :: Type -> IfaceType Source #
toIfaceTypes :: [Type] -> [IfaceType] Source #
toIfaceKind :: Type -> IfaceType Source #
toIfaceTyVar :: TyVar -> FastString Source #
toIfaceBndr :: Var -> IfaceBndr Source #
toIfaceTyCon :: TyCon -> IfaceTyCon Source #
toIfaceTyCon_name :: Name -> IfaceTyCon Source #
toIfaceTcArgs :: TyCon -> [Type] -> IfaceTcArgs Source #
toIfaceTvBndrs :: [TyVar] -> [IfaceTvBndr] Source #
zipIfaceBinders :: [TyVar] -> [TyBinder] -> [IfaceTyConBinder] Source #
Zip together tidied tyConTyVars with tyConBinders to make IfaceTyConBinders
toDegenerateBinders :: [TyBinder] -> [IfaceTyConBinder] Source #
Make IfaceTyConBinders without tyConTyVars. Used for pretty-printing only
tcArgsIfaceTypes :: IfaceTcArgs -> [IfaceType] Source #
pprIfaceType :: IfaceType -> SDoc Source #
pprParendIfaceType :: IfaceType -> SDoc Source #
pprIfaceContext :: Outputable a => [a] -> SDoc Source #
pprIfaceContextArr :: Outputable a => [a] -> SDoc Source #
pprIfaceLamBndr :: IfaceLamBndr -> SDoc Source #
pprIfaceTvBndr :: IfaceTvBndr -> SDoc Source #
pprIfaceTyConBinders :: [IfaceTyConBinder] -> SDoc Source #
pprIfaceBndrs :: [IfaceBndr] -> SDoc Source #
pprIfaceTcArgs :: IfaceTcArgs -> SDoc Source #
pprIfaceForAllPart :: [IfaceForAllBndr] -> [IfaceType] -> SDoc -> SDoc Source #
pprIfaceForAll :: [IfaceForAllBndr] -> SDoc Source #
Render the "forall ... ." or "forall ... ->" bit of a type.
pprIfaceSigmaType :: IfaceType -> SDoc Source #
pprIfaceCoercion :: IfaceCoercion -> SDoc Source #
splitIfaceSigmaTy :: IfaceType -> ([IfaceForAllBndr], [IfacePredType], IfaceType) Source #
pprIfaceTypeApp :: IfaceTyCon -> IfaceTcArgs -> SDoc Source #
pprUserIfaceForAll :: [IfaceForAllBndr] -> SDoc Source #
suppressIfaceInvisibles :: DynFlags -> [IfaceTyConBinder] -> [a] -> [a] Source #
stripIfaceInvisVars :: DynFlags -> [IfaceTyConBinder] -> [IfaceTyConBinder] Source #
stripInvisArgs :: DynFlags -> IfaceTcArgs -> IfaceTcArgs Source #
substIfaceType :: IfaceTySubst -> IfaceType -> IfaceType Source #
substIfaceTyVar :: IfaceTySubst -> IfLclName -> IfaceType Source #
substIfaceTcArgs :: IfaceTySubst -> IfaceTcArgs -> IfaceTcArgs Source #
mkIfaceTySubst :: [IfaceTvBndr] -> [IfaceType] -> IfaceTySubst Source #
eqIfaceTvBndr :: IfaceTvBndr -> IfaceTvBndr -> Bool Source #