ghc-8.4.0.20180204: The GHC API

Safe HaskellNone
LanguageHaskell2010

IfaceType

Synopsis

Documentation

type IfExtName = Name Source #

type IfLclName = FastString Source #

data IfaceType Source #

Constructors

IfaceFreeTyVar TyVar 
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 IsPromoted IfaceTcArgs 
Instances
Outputable IfaceType # 
Instance details

Methods

ppr :: IfaceType -> SDoc Source #

pprPrec :: Rational -> IfaceType -> SDoc Source #

Binary IfaceType # 
Instance details

Methods

put_ :: BinHandle -> IfaceType -> IO () Source #

put :: BinHandle -> IfaceType -> IO (Bin IfaceType) Source #

get :: BinHandle -> IO IfaceType Source #

Binary (DefMethSpec IfaceType) # 
Instance details

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 #

Constructors

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] 
IfaceFreeCoVar CoVar 
IfaceHoleCo CoVar

See Note [Holes in IfaceCoercion]

Instances
Outputable IfaceCoercion # 
Instance details

Methods

ppr :: IfaceCoercion -> SDoc Source #

pprPrec :: Rational -> IfaceCoercion -> SDoc Source #

Binary IfaceCoercion # 
Instance details

Methods

put_ :: BinHandle -> IfaceCoercion -> IO () Source #

put :: BinHandle -> IfaceCoercion -> IO (Bin IfaceCoercion) Source #

get :: BinHandle -> IO IfaceCoercion Source #

data IfaceUnivCoProv Source #

Constructors

IfaceUnsafeCoerceProv 
IfacePhantomProv IfaceCoercion 
IfaceProofIrrelProv IfaceCoercion 
IfacePluginProv String 
Instances
Binary IfaceUnivCoProv # 
Instance details

Methods

put_ :: BinHandle -> IfaceUnivCoProv -> IO () Source #

put :: BinHandle -> IfaceUnivCoProv -> IO (Bin IfaceUnivCoProv) Source #

get :: BinHandle -> IO IfaceUnivCoProv Source #

data IfaceTyCon Source #

Constructors

IfaceTyCon 

Fields

Instances
Eq IfaceTyCon # 
Instance details

Methods

(==) :: IfaceTyCon -> IfaceTyCon -> Bool #

(/=) :: IfaceTyCon -> IfaceTyCon -> Bool #

Outputable IfaceTyCon # 
Instance details

Methods

ppr :: IfaceTyCon -> SDoc Source #

pprPrec :: Rational -> IfaceTyCon -> SDoc Source #

Binary IfaceTyCon # 
Instance details

Methods

put_ :: BinHandle -> IfaceTyCon -> IO () Source #

put :: BinHandle -> IfaceTyCon -> IO (Bin IfaceTyCon) Source #

get :: BinHandle -> IO IfaceTyCon Source #

data IfaceTyConInfo Source #

Constructors

IfaceTyConInfo 

Fields

Instances
Eq IfaceTyConInfo # 
Instance details

Methods

(==) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool #

(/=) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool #

Binary IfaceTyConInfo # 
Instance details

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
Eq IfaceTyConSort # 
Instance details

Methods

(==) :: IfaceTyConSort -> IfaceTyConSort -> Bool #

(/=) :: IfaceTyConSort -> IfaceTyConSort -> Bool #

Binary IfaceTyConSort # 
Instance details

Methods

put_ :: BinHandle -> IfaceTyConSort -> IO () Source #

put :: BinHandle -> IfaceTyConSort -> IO (Bin IfaceTyConSort) Source #

get :: BinHandle -> IO IfaceTyConSort Source #

data IsPromoted Source #

Is a TyCon a promoted data constructor or just a normal type constructor?

Constructors

IsNotPromoted 
IsPromoted 
Instances
Eq IsPromoted # 
Instance details

Methods

(==) :: IsPromoted -> IsPromoted -> Bool #

(/=) :: IsPromoted -> IsPromoted -> Bool #

Binary IsPromoted # 
Instance details

Methods

put_ :: BinHandle -> IsPromoted -> IO () Source #

put :: BinHandle -> IsPromoted -> IO (Bin IsPromoted) Source #

get :: BinHandle -> IO IsPromoted Source #

data IfaceTyLit Source #

Constructors

IfaceNumTyLit Integer 
IfaceStrTyLit FastString 
Instances
Eq IfaceTyLit # 
Instance details

Methods

(==) :: IfaceTyLit -> IfaceTyLit -> Bool #

(/=) :: IfaceTyLit -> IfaceTyLit -> Bool #

Outputable IfaceTyLit # 
Instance details

Methods

ppr :: IfaceTyLit -> SDoc Source #

pprPrec :: Rational -> IfaceTyLit -> SDoc Source #

Binary IfaceTyLit # 
Instance details

Methods

put_ :: BinHandle -> IfaceTyLit -> IO () Source #

put :: BinHandle -> IfaceTyLit -> IO (Bin IfaceTyLit) Source #

get :: BinHandle -> IO IfaceTyLit Source #

data IfaceTcArgs Source #

Constructors

ITC_Nil 
ITC_Vis IfaceType IfaceTcArgs 
ITC_Invis IfaceKind IfaceTcArgs 
Instances
Semigroup IfaceTcArgs # 
Instance details

Methods

(<>) :: IfaceTcArgs -> IfaceTcArgs -> IfaceTcArgs Source #

sconcat :: NonEmpty IfaceTcArgs -> IfaceTcArgs Source #

stimes :: Integral b => b -> IfaceTcArgs -> IfaceTcArgs Source #

Monoid IfaceTcArgs # 
Instance details

Methods

mempty :: IfaceTcArgs Source #

mappend :: IfaceTcArgs -> IfaceTcArgs -> IfaceTcArgs Source #

mconcat :: [IfaceTcArgs] -> IfaceTcArgs Source #

Outputable IfaceTcArgs # 
Instance details

Methods

ppr :: IfaceTcArgs -> SDoc Source #

pprPrec :: Rational -> IfaceTcArgs -> SDoc Source #

Binary IfaceTcArgs # 
Instance details

Methods

put_ :: BinHandle -> IfaceTcArgs -> IO () Source #

put :: BinHandle -> IfaceTcArgs -> IO (Bin IfaceTcArgs) Source #

get :: BinHandle -> IO IfaceTcArgs Source #

type IfaceContext = [IfacePredType] Source #

data IfaceBndr Source #

Constructors

IfaceIdBndr !IfaceIdBndr 
IfaceTvBndr !IfaceTvBndr 
Instances
Outputable IfaceBndr # 
Instance details

Methods

ppr :: IfaceBndr -> SDoc Source #

pprPrec :: Rational -> IfaceBndr -> SDoc Source #

Binary IfaceBndr # 
Instance details

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
Binary IfaceOneShot # 
Instance details

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 = (IfLclName, IfaceType) Source #

type IfaceTyConBinder = TyVarBndr IfaceTvBndr TyConBndrVis Source #

type IfaceForAllBndr = TyVarBndr IfaceTvBndr 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 [TyVarBndrs, TyVarBinders, TyConBinders, and visibility] in TyCoRep

Constructors

Required 
Specified 
Inferred 
Instances
Eq ArgFlag # 
Instance details

Methods

(==) :: ArgFlag -> ArgFlag -> Bool #

(/=) :: ArgFlag -> ArgFlag -> Bool #

Data ArgFlag # 
Instance details

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 :: (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 #

Outputable ArgFlag # 
Instance details

Methods

ppr :: ArgFlag -> SDoc Source #

pprPrec :: Rational -> ArgFlag -> SDoc Source #

Binary ArgFlag # 
Instance details

Methods

put_ :: BinHandle -> ArgFlag -> IO () Source #

put :: BinHandle -> ArgFlag -> IO (Bin ArgFlag) Source #

get :: BinHandle -> IO ArgFlag Source #

Outputable tv => Outputable (TyVarBndr tv ArgFlag) # 
Instance details

Methods

ppr :: TyVarBndr tv ArgFlag -> SDoc Source #

pprPrec :: Rational -> TyVarBndr tv ArgFlag -> SDoc 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 

ifForAllBndrTyVar :: IfaceForAllBndr -> IfaceTvBndr Source #

Extract an IfaceTvBndr from an IfaceForAllBndr.

ifForAllBndrName :: IfaceForAllBndr -> IfLclName Source #

Extract the variable name from an IfaceForAllBndr.

ifTyConBinderTyVar :: IfaceTyConBinder -> IfaceTvBndr Source #

Extract an IfaceTvBndr from an IfaceTyConBinder.

ifTyConBinderName :: IfaceTyConBinder -> IfLclName Source #

Extract the variable name from an IfaceTyConBinder.

isIfaceLiftedTypeKind :: IfaceKind -> Bool Source #

tcArgsIfaceTypes :: IfaceTcArgs -> [IfaceType] Source #

pprIfaceType :: IfaceType -> SDoc Source #

pprParendIfaceType :: IfaceType -> SDoc Source #

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

pprIfaceContext :: TyPrec -> [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 :: Bool -> IfaceTvBndr -> SDoc Source #

pprIfaceTyConBinders :: [IfaceTyConBinder] -> SDoc Source #

pprIfaceBndrs :: [IfaceBndr] -> SDoc Source #

pprIfaceTcArgs :: IfaceTcArgs -> SDoc Source #

pprParendIfaceTcArgs :: IfaceTcArgs -> 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 :: TyPrec -> IfaceTyCon -> IfaceTcArgs -> SDoc Source #

pprUserIfaceForAll :: [IfaceForAllBndr] -> SDoc Source #

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

pprTyTcApp :: TyPrec -> IfaceTyCon -> IfaceTcArgs -> SDoc Source #

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

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

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

stripInvisArgs :: DynFlags -> IfaceTcArgs -> IfaceTcArgs Source #

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

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

substIfaceTcArgs :: IfaceTySubst -> IfaceTcArgs -> IfaceTcArgs Source #

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