Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.Iface.Type

Synopsis

type IfExtName = Name
type IfLclName = FastString
data IfaceType
- = IfaceFreeTyVar TyVar
- | IfaceTyVar IfLclName
- | IfaceLitTy IfaceTyLit
- | IfaceAppTy IfaceType IfaceAppArgs
- | IfaceFunTy AnonArgFlag IfaceMult IfaceType IfaceType
- | IfaceForAllTy IfaceForAllBndr IfaceType
- | IfaceTyConApp IfaceTyCon IfaceAppArgs
- | IfaceCastTy IfaceType IfaceCoercion
- | IfaceCoercionTy IfaceCoercion
- | IfaceTupleTy TupleSort PromotionFlag IfaceAppArgs
type IfacePredType = IfaceType
type IfaceKind = IfaceType
data IfaceCoercion
- = IfaceReflCo IfaceType
- | IfaceGReflCo Role IfaceType IfaceMCoercion
- | IfaceFunCo Role IfaceCoercion IfaceCoercion IfaceCoercion
- | IfaceTyConAppCo Role IfaceTyCon [IfaceCoercion]
- | IfaceAppCo IfaceCoercion IfaceCoercion
- | IfaceForAllCo IfaceBndr IfaceCoercion IfaceCoercion
- | IfaceCoVarCo IfLclName
- | IfaceAxiomInstCo IfExtName BranchIndex [IfaceCoercion]
- | IfaceAxiomRuleCo IfLclName [IfaceCoercion]
- | IfaceUnivCo IfaceUnivCoProv Role IfaceType IfaceType
- | IfaceSymCo IfaceCoercion
- | IfaceTransCo IfaceCoercion IfaceCoercion
- | IfaceNthCo Int IfaceCoercion
- | IfaceLRCo LeftOrRight IfaceCoercion
- | IfaceInstCo IfaceCoercion IfaceCoercion
- | IfaceKindCo IfaceCoercion
- | IfaceSubCo IfaceCoercion
- | IfaceFreeCoVar CoVar
- | IfaceHoleCo CoVar
data IfaceMCoercion
- = IfaceMRefl
- | IfaceMCo IfaceCoercion
data IfaceUnivCoProv
- = IfacePhantomProv IfaceCoercion
- | IfaceProofIrrelProv IfaceCoercion
- | IfacePluginProv String
type IfaceMult = IfaceType
data IfaceTyCon = IfaceTyCon {
- ifaceTyConName :: IfExtName
- ifaceTyConInfo :: IfaceTyConInfo
}
data IfaceTyConInfo = IfaceTyConInfo {
- ifaceTyConIsPromoted :: PromotionFlag
- ifaceTyConSort :: IfaceTyConSort
}
mkIfaceTyConInfo :: PromotionFlag -> IfaceTyConSort -> IfaceTyConInfo
data IfaceTyConSort
- = IfaceNormalTyCon
- | IfaceTupleTyCon !Arity !TupleSort
- | IfaceSumTyCon !Arity
- | IfaceEqualityTyCon
data IfaceTyLit
- = IfaceNumTyLit Integer
- | IfaceStrTyLit FastString
- | IfaceCharTyLit Char
data IfaceAppArgs
- = IA_Nil
- | IA_Arg IfaceType ArgFlag IfaceAppArgs
type IfaceContext = [IfacePredType]
data IfaceBndr
- = IfaceIdBndr !IfaceIdBndr
- | IfaceTvBndr !IfaceTvBndr
data IfaceOneShot
- = IfaceNoOneShot
- | IfaceOneShot
type IfaceLamBndr = (IfaceBndr, IfaceOneShot)
type IfaceTvBndr = (IfLclName, IfaceKind)
type IfaceIdBndr = (IfaceType, IfLclName, IfaceType)
type IfaceTyConBinder = VarBndr IfaceBndr TyConBndrVis
type IfaceForAllSpecBndr = VarBndr IfaceBndr Specificity
type IfaceForAllBndr = VarBndr IfaceBndr ArgFlag
data ArgFlag where
- Invisible Specificity
- Required
- pattern Specified :: ArgFlag
- pattern Inferred :: ArgFlag
data AnonArgFlag
- = VisArg
- | InvisArg
data ShowForAllFlag
- = ShowForAllMust
- | ShowForAllWhen
mkIfaceForAllTvBndr :: ArgFlag -> IfaceTvBndr -> IfaceForAllBndr
mkIfaceTyConKind :: [IfaceTyConBinder] -> IfaceKind -> IfaceKind
ifaceForAllSpecToBndrs :: [IfaceForAllSpecBndr] -> [IfaceForAllBndr]
ifaceForAllSpecToBndr :: IfaceForAllSpecBndr -> IfaceForAllBndr
ifForAllBndrVar :: IfaceForAllBndr -> IfaceBndr
ifForAllBndrName :: IfaceForAllBndr -> IfLclName
ifaceBndrName :: IfaceBndr -> IfLclName
ifTyConBinderVar :: IfaceTyConBinder -> IfaceBndr
ifTyConBinderName :: IfaceTyConBinder -> IfLclName
isIfaceLiftedTypeKind :: IfaceKind -> Bool
appArgsIfaceTypes :: IfaceAppArgs -> [IfaceType]
appArgsIfaceTypesArgFlags :: IfaceAppArgs -> [(IfaceType, ArgFlag)]
newtype SuppressBndrSig = SuppressBndrSig Bool
newtype UseBndrParens = UseBndrParens Bool
newtype PrintExplicitKinds = PrintExplicitKinds Bool
pprIfaceType :: IfaceType -> SDoc
pprParendIfaceType :: IfaceType -> SDoc
pprPrecIfaceType :: PprPrec -> IfaceType -> SDoc
pprIfaceContext :: PprPrec -> [IfacePredType] -> SDoc
pprIfaceContextArr :: [IfacePredType] -> SDoc
pprIfaceIdBndr :: IfaceIdBndr -> SDoc
pprIfaceLamBndr :: IfaceLamBndr -> SDoc
pprIfaceTvBndr :: IfaceTvBndr -> SuppressBndrSig -> UseBndrParens -> SDoc
pprIfaceTyConBinders :: SuppressBndrSig -> [IfaceTyConBinder] -> SDoc
pprIfaceBndrs :: [IfaceBndr] -> SDoc
pprIfaceAppArgs :: IfaceAppArgs -> SDoc
pprParendIfaceAppArgs :: IfaceAppArgs -> SDoc
pprIfaceForAllPart :: [IfaceForAllBndr] -> [IfacePredType] -> SDoc -> SDoc
pprIfaceForAllPartMust :: [IfaceForAllBndr] -> [IfacePredType] -> SDoc -> SDoc
pprIfaceForAll :: [IfaceForAllBndr] -> SDoc
pprIfaceSigmaType :: ShowForAllFlag -> IfaceType -> SDoc
pprIfaceTyLit :: IfaceTyLit -> SDoc
pprIfaceCoercion :: IfaceCoercion -> SDoc
pprParendIfaceCoercion :: IfaceCoercion -> SDoc
splitIfaceSigmaTy :: IfaceType -> ([IfaceForAllBndr], [IfacePredType], IfaceType)
pprIfaceTypeApp :: PprPrec -> IfaceTyCon -> IfaceAppArgs -> SDoc
pprUserIfaceForAll :: [IfaceForAllBndr] -> SDoc
pprIfaceCoTcApp :: PprPrec -> IfaceTyCon -> [IfaceCoercion] -> SDoc
pprTyTcApp :: PprPrec -> IfaceTyCon -> IfaceAppArgs -> SDoc
pprIfacePrefixApp :: PprPrec -> SDoc -> [SDoc] -> SDoc
ppr_fun_arrow :: IfaceMult -> SDoc
isIfaceTauType :: IfaceType -> Bool
suppressIfaceInvisibles :: PrintExplicitKinds -> [IfaceTyConBinder] -> [a] -> [a]
stripIfaceInvisVars :: PrintExplicitKinds -> [IfaceTyConBinder] -> [IfaceTyConBinder]
stripInvisArgs :: PrintExplicitKinds -> IfaceAppArgs -> IfaceAppArgs
mkIfaceTySubst :: [(IfLclName, IfaceType)] -> IfaceTySubst
substIfaceTyVar :: IfaceTySubst -> IfLclName -> IfaceType
substIfaceAppArgs :: IfaceTySubst -> IfaceAppArgs -> IfaceAppArgs
inDomIfaceTySubst :: IfaceTySubst -> IfaceTvBndr -> Bool
many_ty :: IfaceType

Documentation

type IfExtName = Name Source #

type IfLclName = FastString Source #

data IfaceType Source #

A kind of universal type, used for types and kinds.

Any time a Type is pretty-printed, it is first converted to an IfaceType before being printed. See Note [Pretty printing via Iface syntax] in GHC.Types.TyThing.Ppr

Instances

Instances details

NFData IfaceType Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceType -> () Source #
Binary IfaceType Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceType -> IO () Source # put :: BinHandle -> IfaceType -> IO (Bin IfaceType) Source # get :: BinHandle -> IO IfaceType Source #
Outputable IfaceType Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceType -> SDoc Source #
Binary (DefMethSpec IfaceType) Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> DefMethSpec IfaceType -> IO () Source # put :: BinHandle -> DefMethSpec IfaceType -> IO (Bin (DefMethSpec IfaceType)) Source # get :: BinHandle -> IO (DefMethSpec IfaceType) Source #

type IfacePredType = IfaceType Source #

type IfaceKind = IfaceType Source #

data IfaceCoercion Source #

Instances

Instances details

NFData IfaceCoercion Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceCoercion -> () Source #
Binary IfaceCoercion Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceCoercion -> IO () Source # put :: BinHandle -> IfaceCoercion -> IO (Bin IfaceCoercion) Source # get :: BinHandle -> IO IfaceCoercion Source #
Outputable IfaceCoercion Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceCoercion -> SDoc Source #

data IfaceMCoercion Source #

Constructors

IfaceMRefl
IfaceMCo IfaceCoercion

Instances

Instances details

NFData IfaceMCoercion Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceMCoercion -> () Source #
Binary IfaceMCoercion Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceMCoercion -> IO () Source # put :: BinHandle -> IfaceMCoercion -> IO (Bin IfaceMCoercion) Source # get :: BinHandle -> IO IfaceMCoercion Source #

data IfaceUnivCoProv Source #

Constructors

IfacePhantomProv IfaceCoercion
IfaceProofIrrelProv IfaceCoercion
IfacePluginProv String

Instances

Instances details

NFData IfaceUnivCoProv Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceUnivCoProv -> () Source #
Binary IfaceUnivCoProv Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceUnivCoProv -> IO () Source # put :: BinHandle -> IfaceUnivCoProv -> IO (Bin IfaceUnivCoProv) Source # get :: BinHandle -> IO IfaceUnivCoProv Source #

type IfaceMult = IfaceType Source #

data IfaceTyCon Source #

Constructors

IfaceTyCon
Fields ifaceTyConName :: IfExtName ifaceTyConInfo :: IfaceTyConInfo

Instances

Instances details

NFData IfaceTyCon Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyCon -> () Source #
Binary IfaceTyCon Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceTyCon -> IO () Source # put :: BinHandle -> IfaceTyCon -> IO (Bin IfaceTyCon) Source # get :: BinHandle -> IO IfaceTyCon Source #
Outputable IfaceTyCon Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyCon -> SDoc Source #
Eq IfaceTyCon Source #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyCon -> IfaceTyCon -> Bool # (/=) :: IfaceTyCon -> IfaceTyCon -> Bool #

data IfaceTyConInfo Source #

Constructors

IfaceTyConInfo
Fields ifaceTyConIsPromoted :: PromotionFlag ifaceTyConSort :: IfaceTyConSort

Instances

Instances details

NFData IfaceTyConInfo Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyConInfo -> () Source #
Binary IfaceTyConInfo Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceTyConInfo -> IO () Source # put :: BinHandle -> IfaceTyConInfo -> IO (Bin IfaceTyConInfo) Source # get :: BinHandle -> IO IfaceTyConInfo Source #
Outputable IfaceTyConInfo Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConInfo -> SDoc Source #
Eq IfaceTyConInfo Source #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool # (/=) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool #

mkIfaceTyConInfo :: PromotionFlag -> IfaceTyConSort -> IfaceTyConInfo Source #

data IfaceTyConSort Source #

The various types of TyCons which have special, built-in syntax.

Constructors

IfaceNormalTyCon	a regular tycon
IfaceTupleTyCon !Arity !TupleSort	e.g. `(a, b, c)` or `(#a, b, c#)`. The arity is the tuple width, not the tycon arity (which is twice the width in the case of unboxed tuples).
IfaceSumTyCon !Arity	e.g. `(a \| b \| c)`
IfaceEqualityTyCon	A heterogeneous equality TyCon (i.e. eqPrimTyCon, eqReprPrimTyCon, heqTyCon) that is actually being applied to two types of the same kind. This affects pretty-printing only: see Note [Equality predicates in IfaceType]

Instances

Instances details

NFData IfaceTyConSort Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyConSort -> () Source #
Binary IfaceTyConSort Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceTyConSort -> IO () Source # put :: BinHandle -> IfaceTyConSort -> IO (Bin IfaceTyConSort) Source # get :: BinHandle -> IO IfaceTyConSort Source #
Outputable IfaceTyConSort Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConSort -> SDoc Source #
Eq IfaceTyConSort Source #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyConSort -> IfaceTyConSort -> Bool # (/=) :: IfaceTyConSort -> IfaceTyConSort -> Bool #

data IfaceTyLit Source #

Constructors

IfaceNumTyLit Integer
IfaceStrTyLit FastString
IfaceCharTyLit Char

Instances

Instances details

NFData IfaceTyLit Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyLit -> () Source #
Binary IfaceTyLit Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceTyLit -> IO () Source # put :: BinHandle -> IfaceTyLit -> IO (Bin IfaceTyLit) Source # get :: BinHandle -> IO IfaceTyLit Source #
Outputable IfaceTyLit Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyLit -> SDoc Source #
Eq IfaceTyLit Source #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyLit -> IfaceTyLit -> Bool # (/=) :: IfaceTyLit -> IfaceTyLit -> Bool #

data IfaceAppArgs Source #

Stores the arguments in a type application as a list. See Note [Suppressing invisible arguments].

Constructors

IA_Nil
IA_Arg IfaceType ArgFlag IfaceAppArgs

Instances

Instances details

Monoid IfaceAppArgs Source #
Instance details Defined in GHC.Iface.Type Methods mempty :: IfaceAppArgs Source # mappend :: IfaceAppArgs -> IfaceAppArgs -> IfaceAppArgs Source # mconcat :: [IfaceAppArgs] -> IfaceAppArgs Source #
Semigroup IfaceAppArgs Source #
Instance details Defined in GHC.Iface.Type Methods (<>) :: IfaceAppArgs -> IfaceAppArgs -> IfaceAppArgs Source # sconcat :: NonEmpty IfaceAppArgs -> IfaceAppArgs Source # stimes :: Integral b => b -> IfaceAppArgs -> IfaceAppArgs Source #
NFData IfaceAppArgs Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceAppArgs -> () Source #
Binary IfaceAppArgs Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceAppArgs -> IO () Source # put :: BinHandle -> IfaceAppArgs -> IO (Bin IfaceAppArgs) Source # get :: BinHandle -> IO IfaceAppArgs Source #
Outputable IfaceAppArgs Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceAppArgs -> SDoc Source #

type IfaceContext = [IfacePredType] Source #

data IfaceBndr Source #

Constructors

IfaceIdBndr !IfaceIdBndr
IfaceTvBndr !IfaceTvBndr

Instances

Instances details

NFData IfaceBndr Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceBndr -> () Source #
Binary IfaceBndr Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceBndr -> IO () Source # put :: BinHandle -> IfaceBndr -> IO (Bin IfaceBndr) Source # get :: BinHandle -> IO IfaceBndr Source #
Outputable IfaceBndr Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceBndr -> SDoc Source #

data IfaceOneShot Source #

Constructors

IfaceNoOneShot
IfaceOneShot

Instances

Instances details

NFData IfaceOneShot Source #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceOneShot -> () Source #
Binary IfaceOneShot Source #
Instance details Defined in GHC.Iface.Type Methods put_ :: BinHandle -> IfaceOneShot -> IO () Source # put :: BinHandle -> IfaceOneShot -> IO (Bin IfaceOneShot) Source # get :: BinHandle -> IO IfaceOneShot Source #
Outputable IfaceOneShot Source #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceOneShot -> SDoc Source #

type IfaceLamBndr = (IfaceBndr, IfaceOneShot) Source #

type IfaceTvBndr = (IfLclName, IfaceKind) Source #

type IfaceIdBndr = (IfaceType, IfLclName, IfaceType) Source #

type IfaceTyConBinder = VarBndr IfaceBndr TyConBndrVis Source #

type IfaceForAllSpecBndr = VarBndr IfaceBndr Specificity Source #

type IfaceForAllBndr = VarBndr IfaceBndr ArgFlag Source #

data ArgFlag Source #

Argument Flag

Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, TyCoVarBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep

Constructors

Invisible Specificity
Required

Bundled Patterns

pattern Specified :: ArgFlag
pattern Inferred :: ArgFlag

Instances

Instances details

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

data AnonArgFlag Source #

The non-dependent version of ArgFlag. See Note [AnonArgFlag] Appears here partly so that it's together with its friends ArgFlag and ForallVisFlag, but also because it is used in IfaceType, rather early in the compilation chain

Constructors

VisArg	Used for `(->)`: an ordinary non-dependent arrow. The argument is visible in source code.
InvisArg	Used for `(=>)`: a non-dependent predicate arrow. The argument is invisible in source code.

Instances

Instances details

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

data ShowForAllFlag Source #

Show forall flag

Unconditionally show the forall quantifier with (ShowForAllMust) or when (ShowForAllWhen) the names used are free in the binder or when compiling with -fprint-explicit-foralls.

Constructors

ShowForAllMust
ShowForAllWhen

mkIfaceForAllTvBndr :: ArgFlag -> IfaceTvBndr -> IfaceForAllBndr Source #

Make an IfaceForAllBndr from an IfaceTvBndr.

mkIfaceTyConKind :: [IfaceTyConBinder] -> IfaceKind -> IfaceKind Source #

Build the tyConKind from the binders and the result kind. Keep in sync with mkTyConKind in GHC.Core.TyCon.

ifaceForAllSpecToBndrs :: [IfaceForAllSpecBndr] -> [IfaceForAllBndr] Source #

ifaceForAllSpecToBndr :: IfaceForAllSpecBndr -> IfaceForAllBndr Source #

ifForAllBndrVar :: IfaceForAllBndr -> IfaceBndr Source #

Extract an IfaceBndr from an IfaceForAllBndr.

ifForAllBndrName :: IfaceForAllBndr -> IfLclName Source #

Extract the variable name from an IfaceForAllBndr.

ifaceBndrName :: IfaceBndr -> IfLclName Source #

ifTyConBinderVar :: IfaceTyConBinder -> IfaceBndr Source #

Extract an IfaceBndr from an IfaceTyConBinder.

ifTyConBinderName :: IfaceTyConBinder -> IfLclName Source #

Extract the variable name from an IfaceTyConBinder.

isIfaceLiftedTypeKind :: IfaceKind -> Bool Source #

Given a kind K, is K of the form (TYPE ('BoxedRep 'LiftedRep))?

appArgsIfaceTypes :: IfaceAppArgs -> [IfaceType] Source #

appArgsIfaceTypesArgFlags :: IfaceAppArgs -> [(IfaceType, ArgFlag)] Source #

newtype SuppressBndrSig Source #

Do we want to suppress kind annotations on binders? See Note [Suppressing binder signatures]

Constructors

SuppressBndrSig Bool

newtype UseBndrParens Source #

Constructors

UseBndrParens Bool

newtype PrintExplicitKinds Source #

Constructors

PrintExplicitKinds Bool

pprIfaceType :: IfaceType -> SDoc Source #

pprParendIfaceType :: IfaceType -> SDoc Source #

pprPrecIfaceType :: PprPrec -> IfaceType -> SDoc Source #

pprIfaceContext :: PprPrec -> [IfacePredType] -> SDoc Source #

Prints a context or () if empty You give it the context precedence

pprIfaceContextArr :: [IfacePredType] -> SDoc Source #

Prints "(C a, D b) =>", including the arrow. Used when we want to print a context in a type, so we use funPrec to decide whether to parenthesise a singleton predicate; e.g. Num a => a -> a

pprIfaceIdBndr :: IfaceIdBndr -> SDoc Source #

pprIfaceLamBndr :: IfaceLamBndr -> SDoc Source #

pprIfaceTvBndr :: IfaceTvBndr -> SuppressBndrSig -> UseBndrParens -> SDoc Source #

pprIfaceTyConBinders :: SuppressBndrSig -> [IfaceTyConBinder] -> SDoc Source #

pprIfaceBndrs :: [IfaceBndr] -> SDoc Source #

pprIfaceAppArgs :: IfaceAppArgs -> SDoc Source #

pprParendIfaceAppArgs :: IfaceAppArgs -> SDoc Source #

pprIfaceForAllPart :: [IfaceForAllBndr] -> [IfacePredType] -> SDoc -> SDoc Source #

pprIfaceForAllPartMust :: [IfaceForAllBndr] -> [IfacePredType] -> SDoc -> SDoc Source #

Like pprIfaceForAllPart, but always uses an explicit forall.

pprIfaceForAll :: [IfaceForAllBndr] -> SDoc Source #

Render the "forall ... ." or "forall ... ->" bit of a type.

pprIfaceSigmaType :: ShowForAllFlag -> IfaceType -> SDoc Source #

pprIfaceTyLit :: IfaceTyLit -> SDoc Source #

pprIfaceCoercion :: IfaceCoercion -> SDoc Source #

pprParendIfaceCoercion :: IfaceCoercion -> SDoc Source #

splitIfaceSigmaTy :: IfaceType -> ([IfaceForAllBndr], [IfacePredType], IfaceType) Source #

pprIfaceTypeApp :: PprPrec -> IfaceTyCon -> IfaceAppArgs -> SDoc Source #

pprUserIfaceForAll :: [IfaceForAllBndr] -> SDoc Source #

pprIfaceCoTcApp :: PprPrec -> IfaceTyCon -> [IfaceCoercion] -> SDoc Source #

pprTyTcApp :: PprPrec -> IfaceTyCon -> IfaceAppArgs -> SDoc Source #

pprIfacePrefixApp :: PprPrec -> SDoc -> [SDoc] -> SDoc Source #

ppr_fun_arrow :: IfaceMult -> SDoc Source #

isIfaceTauType :: IfaceType -> Bool Source #

suppressIfaceInvisibles :: PrintExplicitKinds -> [IfaceTyConBinder] -> [a] -> [a] Source #

stripIfaceInvisVars :: PrintExplicitKinds -> [IfaceTyConBinder] -> [IfaceTyConBinder] Source #

stripInvisArgs :: PrintExplicitKinds -> IfaceAppArgs -> IfaceAppArgs Source #

mkIfaceTySubst :: [(IfLclName, IfaceType)] -> IfaceTySubst Source #

substIfaceTyVar :: IfaceTySubst -> IfLclName -> IfaceType Source #

substIfaceAppArgs :: IfaceTySubst -> IfaceAppArgs -> IfaceAppArgs Source #

inDomIfaceTySubst :: IfaceTySubst -> IfaceTvBndr -> Bool Source #

many_ty :: IfaceType Source #

IfaceFreeTyVar TyVar
IfaceTyVar IfLclName
IfaceLitTy IfaceTyLit
IfaceAppTy IfaceType IfaceAppArgs
IfaceFunTy AnonArgFlag IfaceMult IfaceType IfaceType
IfaceForAllTy IfaceForAllBndr IfaceType
IfaceTyConApp IfaceTyCon IfaceAppArgs
IfaceCastTy IfaceType IfaceCoercion
IfaceCoercionTy IfaceCoercion
IfaceTupleTy TupleSort PromotionFlag IfaceAppArgs

IfaceReflCo IfaceType
IfaceGReflCo Role IfaceType IfaceMCoercion
IfaceFunCo Role IfaceCoercion IfaceCoercion IfaceCoercion
IfaceTyConAppCo Role IfaceTyCon [IfaceCoercion]
IfaceAppCo IfaceCoercion IfaceCoercion
IfaceForAllCo IfaceBndr IfaceCoercion IfaceCoercion
IfaceCoVarCo IfLclName
IfaceAxiomInstCo IfExtName BranchIndex [IfaceCoercion]
IfaceAxiomRuleCo IfLclName [IfaceCoercion]
IfaceUnivCo IfaceUnivCoProv Role IfaceType IfaceType
IfaceSymCo IfaceCoercion
IfaceTransCo IfaceCoercion IfaceCoercion
IfaceNthCo Int IfaceCoercion
IfaceLRCo LeftOrRight IfaceCoercion
IfaceInstCo IfaceCoercion IfaceCoercion
IfaceKindCo IfaceCoercion
IfaceSubCo IfaceCoercion
IfaceFreeCoVar CoVar
IfaceHoleCo CoVar	See Note [Holes in IfaceCoercion]