IfaceType

Documentation

type IfExtName = Name

type IfLclName = FastString

data IfaceType

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 IfaceSyn] in PprTyThing

Constructors

IfaceFreeTyVar TyVar

IfaceTyVar IfLclName

IfaceLitTy IfaceTyLit

IfaceAppTy IfaceType IfaceAppArgs

IfaceFunTy AnonArgFlag IfaceType IfaceType

IfaceForAllTy IfaceForAllBndr IfaceType

IfaceTyConApp IfaceTyCon IfaceAppArgs

IfaceCastTy IfaceType IfaceCoercion

IfaceCoercionTy IfaceCoercion

IfaceTupleTy TupleSort PromotionFlag IfaceAppArgs

Instances

Outputable IfaceType

Defined in IfaceType

Methods

ppr :: IfaceType -> SDoc

pprPrec :: Rational -> IfaceType -> SDoc

Binary IfaceType

Defined in IfaceType

Methods

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

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

get :: BinHandle -> IO IfaceType

Binary (DefMethSpec IfaceType)

Defined in IfaceType

Methods

put_ :: BinHandle -> DefMethSpec IfaceType -> IO ()

put :: BinHandle -> DefMethSpec IfaceType -> IO (Bin (DefMethSpec IfaceType))

get :: BinHandle -> IO (DefMethSpec IfaceType)

type IfacePredType = IfaceType

type IfaceKind = IfaceType

data IfaceCoercion

Constructors

IfaceReflCo IfaceType

IfaceGReflCo Role IfaceType IfaceMCoercion

IfaceFunCo Role 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]

Instances

Outputable IfaceCoercion

Defined in IfaceType

Methods

ppr :: IfaceCoercion -> SDoc

pprPrec :: Rational -> IfaceCoercion -> SDoc

Binary IfaceCoercion

Defined in IfaceType

Methods

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

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

get :: BinHandle -> IO IfaceCoercion

data IfaceMCoercion

Constructors

IfaceMRefl

IfaceMCo IfaceCoercion

Instances

Binary IfaceMCoercion

Defined in IfaceType

Methods

put_ :: BinHandle -> IfaceMCoercion -> IO ()

put :: BinHandle -> IfaceMCoercion -> IO (Bin IfaceMCoercion)

get :: BinHandle -> IO IfaceMCoercion

data IfaceUnivCoProv

Constructors

IfaceUnsafeCoerceProv

IfacePhantomProv IfaceCoercion

IfaceProofIrrelProv IfaceCoercion

IfacePluginProv String

Instances

Binary IfaceUnivCoProv

Defined in IfaceType

Methods

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

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

get :: BinHandle -> IO IfaceUnivCoProv

data IfaceTyCon

Constructors

IfaceTyCon

Fields

• ifaceTyConName :: IfExtName
• ifaceTyConInfo :: IfaceTyConInfo

Instances

Eq IfaceTyCon

Defined in IfaceType

Methods

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

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

Outputable IfaceTyCon

Defined in IfaceType

Methods

ppr :: IfaceTyCon -> SDoc

pprPrec :: Rational -> IfaceTyCon -> SDoc

Binary IfaceTyCon

Defined in IfaceType

Methods

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

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

get :: BinHandle -> IO IfaceTyCon

data IfaceTyConInfo

Constructors

IfaceTyConInfo

Fields

• ifaceTyConIsPromoted :: PromotionFlag
• ifaceTyConSort :: IfaceTyConSort

Instances

Eq IfaceTyConInfo

Defined in IfaceType

Methods

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

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

Binary IfaceTyConInfo

Defined in IfaceType

Methods

put_ :: BinHandle -> IfaceTyConInfo -> IO ()

put :: BinHandle -> IfaceTyConInfo -> IO (Bin IfaceTyConInfo)

get :: BinHandle -> IO IfaceTyConInfo

data IfaceTyConSort

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

Defined in IfaceType

Methods

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

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

Binary IfaceTyConSort

Defined in IfaceType

Methods

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

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

get :: BinHandle -> IO IfaceTyConSort

data IfaceTyLit

Constructors

IfaceNumTyLit Integer

IfaceStrTyLit FastString

Instances

Eq IfaceTyLit

Defined in IfaceType

Methods

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

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

Outputable IfaceTyLit

Defined in IfaceType

Methods

ppr :: IfaceTyLit -> SDoc

pprPrec :: Rational -> IfaceTyLit -> SDoc

Binary IfaceTyLit

Defined in IfaceType

Methods

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

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

get :: BinHandle -> IO IfaceTyLit

data IfaceAppArgs

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

Constructors

IA_Nil

IA_Arg IfaceType ArgFlag IfaceAppArgs

Instances

Semigroup IfaceAppArgs

Defined in IfaceType

Methods

(<>) :: IfaceAppArgs -> IfaceAppArgs -> IfaceAppArgs

sconcat :: NonEmpty IfaceAppArgs -> IfaceAppArgs

stimes :: Integral b => b -> IfaceAppArgs -> IfaceAppArgs

Monoid IfaceAppArgs

Defined in IfaceType

Methods

mempty :: IfaceAppArgs

mappend :: IfaceAppArgs -> IfaceAppArgs -> IfaceAppArgs

mconcat :: [IfaceAppArgs] -> IfaceAppArgs

Outputable IfaceAppArgs

Defined in IfaceType

Methods

ppr :: IfaceAppArgs -> SDoc

pprPrec :: Rational -> IfaceAppArgs -> SDoc

Binary IfaceAppArgs

Defined in IfaceType

Methods

put_ :: BinHandle -> IfaceAppArgs -> IO ()

put :: BinHandle -> IfaceAppArgs -> IO (Bin IfaceAppArgs)

get :: BinHandle -> IO IfaceAppArgs

type IfaceContext = [IfacePredType]

data IfaceBndr

Constructors

IfaceIdBndr !IfaceIdBndr

IfaceTvBndr !IfaceTvBndr

Instances

Outputable IfaceBndr

Defined in IfaceType

Methods

ppr :: IfaceBndr -> SDoc

pprPrec :: Rational -> IfaceBndr -> SDoc

Binary IfaceBndr

Defined in IfaceType

Methods

put_ :: BinHandle -> IfaceBndr -> IO ()

put :: BinHandle -> IfaceBndr -> IO (Bin IfaceBndr)

get :: BinHandle -> IO IfaceBndr

data IfaceOneShot

Constructors

IfaceNoOneShot

IfaceOneShot

Instances

Binary IfaceOneShot

Defined in IfaceType

Methods

put_ :: BinHandle -> IfaceOneShot -> IO ()

put :: BinHandle -> IfaceOneShot -> IO (Bin IfaceOneShot)

get :: BinHandle -> IO IfaceOneShot

type IfaceLamBndr = (IfaceBndr, IfaceOneShot)

type IfaceTvBndr = (IfLclName, IfaceKind)

type IfaceIdBndr = (IfLclName, IfaceType)

type IfaceTyConBinder = VarBndr IfaceBndr TyConBndrVis

type IfaceForAllBndr = VarBndr IfaceBndr ArgFlag

data ArgFlag

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 TyCoRep

Constructors

Inferred

Specified

Required

Instances

Eq ArgFlag

Defined in Var

Methods

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

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

Data ArgFlag

Defined in Var

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArgFlag -> c ArgFlag

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArgFlag

toConstr :: ArgFlag -> Constr

dataTypeOf :: ArgFlag -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArgFlag)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArgFlag)

gmapT :: (forall b. Data b => b -> b) -> ArgFlag -> ArgFlag

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArgFlag -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArgFlag -> r

gmapQ :: (forall d. Data d => d -> u) -> ArgFlag -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArgFlag -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArgFlag -> m ArgFlag

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArgFlag -> m ArgFlag

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArgFlag -> m ArgFlag

Ord ArgFlag

Defined in 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

Defined in Var

Methods

ppr :: ArgFlag -> SDoc

pprPrec :: Rational -> ArgFlag -> SDoc

Binary ArgFlag

Defined in Var

Methods

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

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

get :: BinHandle -> IO ArgFlag

Outputable tv => Outputable (VarBndr tv ArgFlag)

Defined in Var

Methods

ppr :: VarBndr tv ArgFlag -> SDoc

pprPrec :: Rational -> VarBndr tv ArgFlag -> SDoc

data AnonArgFlag

The non-dependent version of ArgFlag.

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

Eq AnonArgFlag

Defined in Var

Methods

(==) :: AnonArgFlag -> AnonArgFlag -> Bool

(/=) :: AnonArgFlag -> AnonArgFlag -> Bool

Data AnonArgFlag

Defined in Var

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnonArgFlag -> c AnonArgFlag

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnonArgFlag

toConstr :: AnonArgFlag -> Constr

dataTypeOf :: AnonArgFlag -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnonArgFlag)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnonArgFlag)

gmapT :: (forall b. Data b => b -> b) -> AnonArgFlag -> AnonArgFlag

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnonArgFlag -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnonArgFlag -> r

gmapQ :: (forall d. Data d => d -> u) -> AnonArgFlag -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnonArgFlag -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnonArgFlag -> m AnonArgFlag

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnonArgFlag -> m AnonArgFlag

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnonArgFlag -> m AnonArgFlag

Ord AnonArgFlag

Defined in 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

Defined in Var

Methods

ppr :: AnonArgFlag -> SDoc

pprPrec :: Rational -> AnonArgFlag -> SDoc

Binary AnonArgFlag

Defined in Var

Methods

put_ :: BinHandle -> AnonArgFlag -> IO ()

put :: BinHandle -> AnonArgFlag -> IO (Bin AnonArgFlag)

get :: BinHandle -> IO AnonArgFlag

data ForallVisFlag

Is a forall invisible (e.g., forall a b. {...}, with a dot) or visible (e.g., forall a b -> {...}, with an arrow)?

Constructors

ForallVis

A visible forall (with an arrow)

ForallInvis

An invisible forall (with a dot)

Instances

Eq ForallVisFlag

Defined in Var

Methods

(==) :: ForallVisFlag -> ForallVisFlag -> Bool

(/=) :: ForallVisFlag -> ForallVisFlag -> Bool

Data ForallVisFlag

Defined in Var

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForallVisFlag -> c ForallVisFlag

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForallVisFlag

toConstr :: ForallVisFlag -> Constr

dataTypeOf :: ForallVisFlag -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForallVisFlag)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForallVisFlag)

gmapT :: (forall b. Data b => b -> b) -> ForallVisFlag -> ForallVisFlag

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForallVisFlag -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForallVisFlag -> r

gmapQ :: (forall d. Data d => d -> u) -> ForallVisFlag -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ForallVisFlag -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForallVisFlag -> m ForallVisFlag

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForallVisFlag -> m ForallVisFlag

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForallVisFlag -> m ForallVisFlag

Ord ForallVisFlag

Defined in Var

Methods

compare :: ForallVisFlag -> ForallVisFlag -> Ordering

(<) :: ForallVisFlag -> ForallVisFlag -> Bool

(<=) :: ForallVisFlag -> ForallVisFlag -> Bool

(>) :: ForallVisFlag -> ForallVisFlag -> Bool

(>=) :: ForallVisFlag -> ForallVisFlag -> Bool

max :: ForallVisFlag -> ForallVisFlag -> ForallVisFlag

min :: ForallVisFlag -> ForallVisFlag -> ForallVisFlag

Outputable ForallVisFlag

Defined in Var

Methods

ppr :: ForallVisFlag -> SDoc

pprPrec :: Rational -> ForallVisFlag -> SDoc

data ShowForAllFlag

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

Make an IfaceForAllBndr from an IfaceTvBndr.

ifForAllBndrVar :: IfaceForAllBndr -> IfaceBndr

Extract an IfaceBndr from an IfaceForAllBndr.

ifForAllBndrName :: IfaceForAllBndr -> IfLclName

Extract the variable name from an IfaceForAllBndr.

ifaceBndrName :: IfaceBndr -> IfLclName

ifTyConBinderVar :: IfaceTyConBinder -> IfaceBndr

Extract an IfaceBndr from an IfaceTyConBinder.

ifTyConBinderName :: IfaceTyConBinder -> IfLclName

Extract the variable name from an IfaceTyConBinder.

isIfaceLiftedTypeKind :: IfaceKind -> Bool

appArgsIfaceTypes :: IfaceAppArgs -> [IfaceType]

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

pprIfaceType :: IfaceType -> SDoc

pprParendIfaceType :: IfaceType -> SDoc

pprPrecIfaceType :: PprPrec -> IfaceType -> SDoc

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

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

pprIfaceContextArr :: [IfacePredType] -> SDoc

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

pprIfaceLamBndr :: IfaceLamBndr -> SDoc

pprIfaceTvBndr :: Bool -> IfaceTvBndr -> SDoc

pprIfaceTyConBinders :: [IfaceTyConBinder] -> SDoc

pprIfaceBndrs :: [IfaceBndr] -> SDoc

pprIfaceAppArgs :: IfaceAppArgs -> SDoc

pprParendIfaceAppArgs :: IfaceAppArgs -> SDoc

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

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

Like pprIfaceForAllPart, but always uses an explicit forall.

pprIfaceForAll :: [IfaceForAllBndr] -> SDoc

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

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

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

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

stripInvisArgs :: DynFlags -> IfaceAppArgs -> IfaceAppArgs

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

substIfaceTyVar :: IfaceTySubst -> IfLclName -> IfaceType

substIfaceAppArgs :: IfaceTySubst -> IfaceAppArgs -> IfaceAppArgs

inDomIfaceTySubst :: IfaceTySubst -> IfaceTvBndr -> Bool