Safe Haskell	None
Language	Haskell2010

IfaceType

Synopsis

Documentation

type IfExtName = Name Source #

type IfLclName = FastString Source #

data IfaceType Source #

Instances

Outputable IfaceType #
Methods ppr :: IfaceType -> SDoc Source # pprPrec :: Rational -> IfaceType -> SDoc Source #
Binary IfaceType #
Methods put_ :: BinHandle -> IfaceType -> IO () Source # put :: BinHandle -> IfaceType -> IO (Bin * IfaceType) Source # get :: BinHandle -> IO IfaceType Source #
Binary (DefMethSpec IfaceType) #
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

Outputable IfaceCoercion #
Methods ppr :: IfaceCoercion -> SDoc Source # pprPrec :: Rational -> IfaceCoercion -> SDoc Source #
Binary IfaceCoercion #
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
IfaceHoleProv Unique	See Note [Holes in IfaceUnivCoProv]

Instances

Binary IfaceUnivCoProv #
Methods put_ :: BinHandle -> IfaceUnivCoProv -> IO () Source # put :: BinHandle -> IfaceUnivCoProv -> IO (Bin * IfaceUnivCoProv) Source # get :: BinHandle -> IO IfaceUnivCoProv Source #

data IfaceTyCon Source #

Constructors

IfaceTyCon
Fields ifaceTyConName :: IfExtName ifaceTyConInfo :: IfaceTyConInfo

Instances

Eq IfaceTyCon #
Methods (==) :: IfaceTyCon -> IfaceTyCon -> Bool # (/=) :: IfaceTyCon -> IfaceTyCon -> Bool #
Outputable IfaceTyCon #
Methods ppr :: IfaceTyCon -> SDoc Source # pprPrec :: Rational -> IfaceTyCon -> SDoc Source #
Binary IfaceTyCon #
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 :: IsPromoted ifaceTyConSort :: IfaceTyConSort

Instances

Eq IfaceTyConInfo #
Methods (==) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool # (/=) :: IfaceTyConInfo -> IfaceTyConInfo -> Bool #
Binary IfaceTyConInfo #
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 !Bool	a type equality. `True` indicates kind-homogeneous. See Note [Equality predicates in IfaceType] for details.

Instances

Eq IfaceTyConSort #
Methods (==) :: IfaceTyConSort -> IfaceTyConSort -> Bool # (/=) :: IfaceTyConSort -> IfaceTyConSort -> Bool #
Binary IfaceTyConSort #
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 #
Methods (==) :: IsPromoted -> IsPromoted -> Bool # (/=) :: IsPromoted -> IsPromoted -> Bool #
Binary IsPromoted #
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 #
Methods (==) :: IfaceTyLit -> IfaceTyLit -> Bool # (/=) :: IfaceTyLit -> IfaceTyLit -> Bool #
Outputable IfaceTyLit #
Methods ppr :: IfaceTyLit -> SDoc Source # pprPrec :: Rational -> IfaceTyLit -> SDoc Source #
Binary IfaceTyLit #
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

Monoid IfaceTcArgs #
Methods mempty :: IfaceTcArgs Source # mappend :: IfaceTcArgs -> IfaceTcArgs -> IfaceTcArgs Source # mconcat :: [IfaceTcArgs] -> IfaceTcArgs Source #
Outputable IfaceTcArgs #
Methods ppr :: IfaceTcArgs -> SDoc Source # pprPrec :: Rational -> IfaceTcArgs -> SDoc Source #
Binary IfaceTcArgs #
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 #
Methods ppr :: IfaceBndr -> SDoc Source # pprPrec :: Rational -> IfaceBndr -> SDoc Source #
Binary IfaceBndr #
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 #
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 [TyBinders and ArgFlags] in TyCoRep

Constructors

Required
Specified
Inferred

Instances

Eq ArgFlag #
Methods (==) :: ArgFlag -> ArgFlag -> Bool # (/=) :: ArgFlag -> ArgFlag -> Bool #
Data ArgFlag #
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 #
Methods ppr :: ArgFlag -> SDoc Source # pprPrec :: Rational -> ArgFlag -> SDoc Source #
Binary ArgFlag #
Methods put_ :: BinHandle -> ArgFlag -> IO () Source # put :: BinHandle -> ArgFlag -> IO (Bin * ArgFlag) Source # get :: BinHandle -> IO ArgFlag Source #
Outputable tv => Outputable (TyVarBndr tv ArgFlag) #
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

ifTyConBinderTyVar :: IfaceTyConBinder -> IfaceTvBndr Source #

Extract a IfaceTvBndr from a IfaceTyConBinder

ifTyConBinderName :: IfaceTyConBinder -> IfLclName Source #

Extract the variable name from a IfaceTyConBinder

data IfRnEnv2 Source #

emptyIfRnEnv2 :: IfRnEnv2 Source #

eqIfaceType :: IfRnEnv2 -> IfaceType -> IfaceType -> Bool Source #

eqIfaceTypes :: IfRnEnv2 -> [IfaceType] -> [IfaceType] -> Bool Source #

eqIfaceTcArgs :: IfRnEnv2 -> IfaceTcArgs -> IfaceTcArgs -> Bool Source #

eqIfaceTvBndrs :: IfRnEnv2 -> [IfaceTvBndr] -> [IfaceTvBndr] -> Maybe IfRnEnv2 Source #

Similar to eqTyVarBndrs, checks that tyvar lists are the same length and have matching kinds; if so, extend the IfRnEnv2. Returns Nothing if they don't match.

isIfaceLiftedTypeKind :: IfaceKind -> Bool Source #

tcArgsIfaceTypes :: IfaceTcArgs -> [IfaceType] Source #

pprIfaceType :: IfaceType -> SDoc Source #

pprParendIfaceType :: IfaceType -> SDoc Source #

pprIfaceContext :: [IfacePredType] -> SDoc Source #

Prints a context or () if empty. This is used when, e.g., we want to display a context in an error message.

pprIfaceContextArr :: [IfacePredType] -> SDoc Source #

Prints "(C a, D b) =>", including the arrow. This is used when we want to print a context in a type.

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 #

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 #

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 #

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

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]