Safe Haskell	None
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
}
data IfaceTyConSort
- = IfaceNormalTyCon
- | IfaceTupleTyCon !Arity !TupleSort
- | IfaceSumTyCon !Arity
- | IfaceEqualityTyCon
data IfaceTyLit
- = IfaceNumTyLit Integer
- | IfaceStrTyLit FastString
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.Core.Ppr.TyThing

Instances

Instances details

NFData IfaceType #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceType -> () Source #
Outputable IfaceType #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceType -> SDoc Source # pprPrec :: Rational -> IfaceType -> SDoc Source #
Binary IfaceType #
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 #
Binary (DefMethSpec IfaceType) #
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 #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceCoercion -> () Source #
Outputable IfaceCoercion #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceCoercion -> SDoc Source # pprPrec :: Rational -> IfaceCoercion -> SDoc Source #
Binary IfaceCoercion #
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 #

data IfaceMCoercion Source #

Constructors

IfaceMRefl
IfaceMCo IfaceCoercion

Instances

Instances details

NFData IfaceMCoercion #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceMCoercion -> () Source #
Binary IfaceMCoercion #
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 #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceUnivCoProv -> () Source #
Binary IfaceUnivCoProv #
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

Eq IfaceTyCon #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyCon -> IfaceTyCon -> Bool # (/=) :: IfaceTyCon -> IfaceTyCon -> Bool #
NFData IfaceTyCon #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyCon -> () Source #
Outputable IfaceTyCon #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyCon -> SDoc Source # pprPrec :: Rational -> IfaceTyCon -> SDoc Source #
Binary IfaceTyCon #
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 #

data IfaceTyConInfo Source #

Constructors

IfaceTyConInfo
Fields ifaceTyConIsPromoted :: PromotionFlag ifaceTyConSort :: IfaceTyConSort

Instances

Instances details

Eq IfaceTyConInfo #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool # (/=) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool #
NFData IfaceTyConInfo #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyConInfo -> () Source #
Outputable IfaceTyConInfo #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConInfo -> SDoc Source # pprPrec :: Rational -> IfaceTyConInfo -> SDoc Source #
Binary IfaceTyConInfo #
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 #

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 `()`. 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

Eq IfaceTyConSort #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyConSort -> IfaceTyConSort -> Bool # (/=) :: IfaceTyConSort -> IfaceTyConSort -> Bool #
NFData IfaceTyConSort #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyConSort -> () Source #
Outputable IfaceTyConSort #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConSort -> SDoc Source # pprPrec :: Rational -> IfaceTyConSort -> SDoc Source #
Binary IfaceTyConSort #
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 #

data IfaceTyLit Source #

Constructors

IfaceNumTyLit Integer
IfaceStrTyLit FastString

Instances

Instances details

Eq IfaceTyLit #
Instance details Defined in GHC.Iface.Type Methods (==) :: IfaceTyLit -> IfaceTyLit -> Bool # (/=) :: IfaceTyLit -> IfaceTyLit -> Bool #
NFData IfaceTyLit #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceTyLit -> () Source #
Outputable IfaceTyLit #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyLit -> SDoc Source # pprPrec :: Rational -> IfaceTyLit -> SDoc Source #
Binary IfaceTyLit #
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 #

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

Semigroup IfaceAppArgs #
Instance details Defined in GHC.Iface.Type Methods (<>) :: IfaceAppArgs -> IfaceAppArgs -> IfaceAppArgs Source # sconcat :: NonEmpty IfaceAppArgs -> IfaceAppArgs Source # stimes :: Integral b => b -> IfaceAppArgs -> IfaceAppArgs Source #
Monoid IfaceAppArgs #
Instance details Defined in GHC.Iface.Type Methods mempty :: IfaceAppArgs Source # mappend :: IfaceAppArgs -> IfaceAppArgs -> IfaceAppArgs Source # mconcat :: [IfaceAppArgs] -> IfaceAppArgs Source #
NFData IfaceAppArgs #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceAppArgs -> () Source #
Outputable IfaceAppArgs #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceAppArgs -> SDoc Source # pprPrec :: Rational -> IfaceAppArgs -> SDoc Source #
Binary IfaceAppArgs #
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 #

type IfaceContext = [IfacePredType] Source #

data IfaceBndr Source #

Constructors

IfaceIdBndr !IfaceIdBndr
IfaceTvBndr !IfaceTvBndr

Instances

Instances details

NFData IfaceBndr #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceBndr -> () Source #
Outputable IfaceBndr #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceBndr -> SDoc Source # pprPrec :: Rational -> IfaceBndr -> SDoc Source #
Binary IfaceBndr #
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 #

data IfaceOneShot Source #

Constructors

IfaceNoOneShot
IfaceOneShot

Instances

Instances details

NFData IfaceOneShot #
Instance details Defined in GHC.Iface.Type Methods rnf :: IfaceOneShot -> () Source #
Outputable IfaceOneShot #
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceOneShot -> SDoc Source # pprPrec :: Rational -> IfaceOneShot -> SDoc Source #
Binary IfaceOneShot #
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 #

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

Eq ArgFlag #
Instance details Defined in GHC.Types.Var Methods (==) :: ArgFlag -> ArgFlag -> Bool # (/=) :: ArgFlag -> ArgFlag -> Bool #
Data ArgFlag #
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 #
Ord ArgFlag #
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 ArgFlag #
Instance details Defined in GHC.Types.Var Methods ppr :: ArgFlag -> SDoc Source # pprPrec :: Rational -> ArgFlag -> SDoc Source #
Binary ArgFlag #
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 tv => Outputable (VarBndr tv ArgFlag) #
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv ArgFlag -> SDoc Source # pprPrec :: Rational -> 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

Eq AnonArgFlag #
Instance details Defined in GHC.Types.Var Methods (==) :: AnonArgFlag -> AnonArgFlag -> Bool # (/=) :: AnonArgFlag -> AnonArgFlag -> Bool #
Data AnonArgFlag #
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 #
Ord AnonArgFlag #
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 #
Outputable AnonArgFlag #
Instance details Defined in GHC.Types.Var Methods ppr :: AnonArgFlag -> SDoc Source # pprPrec :: Rational -> AnonArgFlag -> SDoc Source #
Binary AnonArgFlag #
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 #

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 #

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]