Safe Haskell	Safe-Inferred
Language	Haskell2010

StubTypes

Synopsis

data DynFlags = DynFlags_
type FamInstEnvs = (FamInstEnv, FamInstEnv)
data Name = Name_
data OccName = OccName_
data Module = Module_
data UnitId = UnitId_
data TyThing = TyThing_
data ModSummary = ModSummary_
data TcGblEnv = TcGblEnv_
data LHsExpr a = LHsExpr_
data GhcTc = GhcTc_
data GhcRn = GhcRn_
data GhcException
- = CmdLineError String
- | ProgramError String
- | PprProgramError String SDoc
data ModuleName = ModuleName_
data SDoc = SDoc_
data HsParsedModule = HsParsedModule_
data HsGroup a = HsGroup_
data Phase = Phase_
data Coercion = Coercion_
data Type = Type_
type Kind = Type
type TyVar = Var
data TyCoBinder = TyCoBinder_
data SrcSpan = SrcSpan_
data RealSrcSpan = RealSrcSpan_
data Tickish a = SourceNote {
- sourceSpan ∷ RealSrcSpan
- sourceName ∷ String
}
data Var = Var_
type Id = Var
data Fingerprint = Fingerprint_
data PrintUnqualified = PrintUnqualified_
data TyCon = TyCon_
data IdDetails
- = ClassOpId Class
- | DataConWorkId DataCon
- | PrimOpId PrimOp
data IdUnfolding = IdUnfolding_
data Unfolding = Unfolding_
data FunctionOrData
- = IsFunction
- | IsData
data FV = FV_
data Class = Class_
data NameSpace = NameSpace_
data HscEnv = HscEnv {
- hsc_dflags ∷ DynFlags
}
data RdrName = RdrName_
data Messages = Messages_
data Literal
- = LitChar Char
- | LitNumber !LitNumType !Integer Type
- | LitString ByteString
- | LitNullAddr
- | LitRubbish
- | LitFloat Rational
- | LitDouble Rational
- | LitLabel FastString (Maybe Int) FunctionOrData
data LitNumType
- = LitNumInteger
- | LitNumNatural
- | LitNumInt
- | LitNumInt64
- | LitNumWord
- | LitNumWord64
type FastString = String
data AlgTyConRhs
- = AbstractTyCon
- | DataTyCon {
  - data_cons ∷ [DataCon]
  }
- | TupleTyCon {
  - data_con ∷ DataCon
  }
- | SumTyCon {
  - data_cons ∷ [DataCon]
  }
- | NewTyCon {
  - data_con ∷ DataCon
  }
data DataCon = DataCon_
data Role = Representational
data CoAxiom (a ∷ BranchFlag) = CoAxiom_
data BranchFlag
- = BFBranched
- | BFUnbranched
type Unbranched = 'BFUnbranched
data PrimOp
- = IntAddOp
- | IntSubOp
- | IntMulOp
- | IntQuotOp
- | IntRemOp
- | IntGtOp
- | IntGeOp
- | IntLtOp
- | IntLeOp
- | IntEqOp
data Expr b
- = Var Id
- | Lit Literal
- | App (Expr b) (Arg b)
- | Lam b (Expr b)
- | Let (Bind b) (Expr b)
- | Case (Expr b) b Type [Alt b]
- | Cast (Expr b) Coercion
- | Tick (Tickish Id) (Expr b)
- | Type Type
- | Coercion Coercion
data Bind b
- = NonRec b (Expr b)
- | Rec [(b, Expr b)]
data AltCon
- = DataAlt DataCon
- | LitAlt Literal
- | DEFAULT
type CoreExpr = Expr CoreBndr
type CoreBndr = Var
type CoreAlt = Alt CoreBndr
type CoreBind = Bind CoreBndr
type CoreProgram = [CoreBind]
type Arg b = Expr b
type Alt b = (AltCon, [b], Expr b)
data ImpDeclSpec = ImpDeclSpec {
- is_mod ∷ ModuleName
- is_as ∷ ModuleName
- is_qual ∷ Bool
- is_dloc ∷ SrcSpan
}
data ImpItemSpec
- = ImpAll
- | ImpSome {
  - is_explicit ∷ Bool
  - is_iloc ∷ SrcSpan
  }
data ImportSpec = ImpSpec {
- is_decl ∷ ImpDeclSpec
- is_item ∷ ImpItemSpec
}
data ModIface = ModIface {
- mi_exports ∷ [IfaceExport]
}
data ModGuts = ModGuts {
- mg_fam_inst_env ∷ FamInstEnv
- mg_module ∷ Module
}
data FamInstEnv = FamInstEnv_
data SimplMode = SimplMode {
- sm_names ∷ [String]
- sm_phase ∷ CompilerPhase
- sm_dflags ∷ DynFlags
- sm_rules ∷ Bool
- sm_inline ∷ Bool
- sm_case_case ∷ Bool
- sm_eta_expand ∷ Bool
}
data CompilerPhase
- = Phase PhaseNum
- | InitialPhase
type PhaseNum = Int
data CoreToDo
- = CoreDoSimplify Int SimplMode
- | CoreDoPluginPass String CorePluginPass
- | CoreDoFloatInwards
- | CoreDoFloatOutwards FloatOutSwitches
- | CoreLiberateCase
- | CoreDoPrintCore
- | CoreDoStaticArgs
- | CoreDoCallArity
- | CoreDoExitify
- | CoreDoStrictness
- | CoreDoWorkerWrapper
- | CoreDoSpecialising
- | CoreDoSpecConstr
- | CoreCSE
- | CoreDoRuleCheck CompilerPhase String
- | CoreDoNothing
- | CoreDoPasses [CoreToDo]
- | CoreDesugar
- | CoreDesugarOpt
- | CoreTidy
- | CorePrep
- | CoreOccurAnal
data GlobalRdrElt = GRE {
- gre_name ∷ Name
- gre_par ∷ Parent
- gre_lcl ∷ Bool
- gre_imp ∷ [ImportSpec]
}
data Parent = Parent_
data FloatOutSwitches = FloatOutSwitches_
type CorePluginPass = ModGuts → CoreM ModGuts
type IfaceExport = AvailInfo
data AvailInfo = AvailInfo_
data GlobalRdrEnv = GlobalRdrEnv_
data UniqSet a = UniqSet_
data StubM a = StubM_
newtype Hsc a = Hsc_ (StubM a)
newtype CoreM a = CoreM_ (StubM a)
newtype TcM a = TcM_ (StubM a)
type TcRn a = TcM a
newtype IfM ab a = IfM_ (StubM a)
newtype Ghc a = Ghc_ (StubM a)
data ModLocation = ModLocation_
data ModuleOrigin = ModuleOrigin_
data UnusablePackageReason = UnusablePackageReason_
data ModuleSuggestion = ModuleSuggestion_
data FindResult
- = Found ModLocation Module
- | NoPackage UnitId
- | FoundMultiple [(Module, ModuleOrigin)]
- | NotFound {
  - fr_paths ∷ [FilePath]
  - fr_pkg ∷ Maybe UnitId
  - fr_mods_hidden ∷ [UnitId]
  - fr_pkgs_hidden ∷ [UnitId]
  - fr_unusables ∷ [(UnitId, UnusablePackageReason)]
  - fr_suggestions ∷ [ModuleSuggestion]
  }
class Outputable a where
- ppr ∷ a → SDoc
- pprPrec ∷ Rational → a → SDoc
occName ∷ Name → OccName
occNameString ∷ OccName → String
moduleName ∷ Module → ModuleName
nameModule_maybe ∷ Name → Maybe Module
moduleUnitId ∷ Module → UnitId
stableModuleNameCmp ∷ ModuleName → ModuleName → Ordering
stableUnitIdCmp ∷ UnitId → UnitId → Ordering
fingerprintString ∷ String → Fingerprint
fingerprintFingerprints ∷ [Fingerprint] → Fingerprint
(<+>) ∷ SDoc → SDoc → SDoc
text ∷ String → SDoc
mi_module ∷ ModIface → Module
showSDocForUser ∷ DynFlags → PrintUnqualified → SDoc → String
alwaysQualify ∷ PrintUnqualified
tyConsOfType ∷ Type → UniqSet TyCon
mkCoercionTy ∷ Coercion → Type
varType ∷ Var → Type
isLiftedTypeKind ∷ Kind → Bool
classifiesTypeWithValues ∷ Kind → Bool
isRuntimeRepTy ∷ Type → Bool
isRuntimeRepKindedTy ∷ Type → Bool
splitFunTy_maybe ∷ Type → Maybe (Type, Type)
unitTy ∷ Type
unitDataConId ∷ Id
voidPrimId ∷ Id
voidArgId ∷ Id
rUNTIME_ERROR_ID ∷ Id
getOccString ∷ a → String
getName ∷ a → Name
tyVarKind ∷ a → Kind
tyConKind ∷ a → Kind
tyThingId ∷ a → Id
tyThingTyCon ∷ a → TyCon
boolTy ∷ Type
stringTy ∷ Type
charTy ∷ Type
getOccName ∷ a → OccName
trueDataCon ∷ DataCon
falseDataCon ∷ DataCon
unitDataCon ∷ DataCon
charDataCon ∷ DataCon
boolTyCon ∷ TyCon
listTyCon ∷ TyCon
intTyCon ∷ TyCon
intPrimTyCon ∷ TyCon
addrPrimTyCon ∷ TyCon
voidPrimTyCon ∷ TyCon
unitTyCon ∷ TyCon
nonDetEltsUniqSet ∷ UniqSet a → [a]
normaliseType ∷ a → b → c → (Coercion, Type)
getTyVar_maybe ∷ a → Maybe TyVar
splitTyConApp_maybe ∷ Type → Maybe (TyCon, [Type])
splitAppTy_maybe ∷ Type → Maybe (Type, Type)
splitForAllTy_maybe ∷ Type → Maybe (TyVar, Type)
splitCastTy_maybe ∷ Type → Maybe (Type, Coercion)
splitPiTy_maybe ∷ Type → Maybe (TyCoBinder, Type)
unwrapNewTyCon_maybe ∷ TyCon → Maybe ([TyVar], Type, CoAxiom Unbranched)
tyConTyVars ∷ TyCon → [TyVar]
unionManyUniqSets ∷ [UniqSet a] → UniqSet a
dataConTyCon ∷ DataCon → TyCon
dataConOrigArgTys ∷ DataCon → [Type]
dataConInstOrigArgTys ∷ DataCon → [Type] → [Type]
dataConOrigResTy ∷ DataCon → Type
isAlgTyCon ∷ TyCon → Bool
isTupleTyCon ∷ TyCon → Bool
isFamilyTyCon ∷ TyCon → Bool
isStrLitTy ∷ Type → Maybe FastString
($+$) ∷ a → b → b
algTyConRhs ∷ TyCon → AlgTyConRhs
mkCharExpr ∷ Char → CoreExpr
isDefaultAlt ∷ a → Bool
mkListExpr ∷ Type → [CoreExpr] → CoreExpr
findAlt ∷ AltCon → [(AltCon, a, b)] → Maybe (AltCon, a, b)
errorIds ∷ [Id]
fvVarList ∷ FV → [Var]
isTyVar ∷ a → Bool
unpackCStringName ∷ Name
unpackCStringFoldrName ∷ Name
buildName ∷ Name
idDetails ∷ Id → IdDetails
realIdUnfolding ∷ Id → Unfolding
mkDictSelRhs ∷ Class → Int → CoreExpr
classAllSelIds ∷ Class → [Id]
expr_fvs ∷ CoreExpr → FV
maybeUnfoldingTemplate ∷ Unfolding → Maybe CoreExpr
mkImpossibleExpr ∷ Type → CoreExpr
getDynFlags ∷ Monad m ⇒ m DynFlags
mkFastString ∷ String → FastString
moduleNameString ∷ ModuleName → String
findExposedPackageModule ∷ HscEnv → ModuleName → Maybe FastString → IO FindResult
mkModule ∷ UnitId → ModuleName → Module
initTcInteractive ∷ HscEnv → TcM a → IO (Messages, Maybe a)
initIfaceTcRn ∷ a → TcRn b
mkTyConApp ∷ TyCon → [Type] → Type
lookupId ∷ Monad m ⇒ Name → m Id
lookupTyCon ∷ Monad m ⇒ Name → m TyCon
mkRuntimeErrorApp ∷ Id → Type → String → CoreExpr
idName ∷ Id → Name
showPpr ∷ DynFlags → a → String
lookupThing ∷ Monad m ⇒ Name → m TyThing
mkTyConTy ∷ TyCon → Type
mkCoreApps ∷ CoreExpr → [CoreExpr] → CoreExpr
mkIntExpr ∷ DynFlags → Integer → CoreExpr
mkModuleName ∷ String → ModuleName
noSrcSpan ∷ SrcSpan
throwGhcExceptionIO ∷ GhcException → IO a
showSDoc ∷ DynFlags → SDoc → String
cannotFindModule ∷ DynFlags → ModuleName → FindResult → SDoc
hsep ∷ [SDoc] → SDoc
panic ∷ String → a
lookupGRE_RdrName ∷ RdrName → GlobalRdrEnv → [GlobalRdrElt]
gresFromAvails ∷ Maybe ImportSpec → [AvailInfo] → [GlobalRdrElt]
mkGlobalRdrEnv ∷ [GlobalRdrElt] → GlobalRdrEnv
loadPluginInterface ∷ SDoc → Module → IfM lcl ModIface
getHscEnv ∷ Monad m ⇒ m HscEnv
type PackageFamInstEnv = FamInstEnv
getPackageFamInstEnv ∷ CoreM PackageFamInstEnv
mkUnqual ∷ NameSpace → FastString → RdrName
bindsOnlyPass ∷ (CoreProgram → CoreM CoreProgram) → ModGuts → CoreM ModGuts
varName ∷ NameSpace
dataName ∷ NameSpace
tcClsName ∷ NameSpace
tyConAppTyCon_maybe ∷ Type → Maybe TyCon
nameOccName ∷ Name → OccName
charTyConName ∷ Name
noinlineIdName ∷ Name
nilDataCon ∷ DataCon
dataConWorkId ∷ DataCon → Id
thNameToGhcName ∷ Name → CoreM (Maybe Name)
showSDocUnsafe ∷ SDoc → String
dropRuntimeRepArgs ∷ [Type] → [Type]

Documentation

data DynFlags Source #

Constructors

DynFlags_

type FamInstEnvs = (FamInstEnv, FamInstEnv) Source #

data Name Source #

Constructors

Name_

Instances

Instances details

Data Name Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Name → c Name Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Name Source # toConstr ∷ Name → Constr Source # dataTypeOf ∷ Name → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Name) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Name) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Name → Name Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Name → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Name → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Name → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Name → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Name → m Name Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Name → m Name Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Name → m Name Source #
Eq Name Source #
Instance details Defined in StubTypes Methods (==) ∷ Name → Name → Bool Source # (/=) ∷ Name → Name → Bool Source #
Ord Name Source #
Instance details Defined in StubTypes Methods compare ∷ Name → Name → Ordering Source # (<) ∷ Name → Name → Bool Source # (<=) ∷ Name → Name → Bool Source # (>) ∷ Name → Name → Bool Source # (>=) ∷ Name → Name → Bool Source # max ∷ Name → Name → Name Source # min ∷ Name → Name → Name Source #
Outputable Name Source #
Instance details Defined in StubTypes Methods ppr ∷ Name → SDoc Source # pprPrec ∷ Rational → Name → SDoc Source #

data OccName Source #

Constructors

OccName_

Instances

Instances details

Eq OccName Source #
Instance details Defined in StubTypes Methods (==) ∷ OccName → OccName → Bool Source # (/=) ∷ OccName → OccName → Bool Source #
Ord OccName Source #
Instance details Defined in StubTypes Methods compare ∷ OccName → OccName → Ordering Source # (<) ∷ OccName → OccName → Bool Source # (<=) ∷ OccName → OccName → Bool Source # (>) ∷ OccName → OccName → Bool Source # (>=) ∷ OccName → OccName → Bool Source # max ∷ OccName → OccName → OccName Source # min ∷ OccName → OccName → OccName Source #

data Module Source #

Constructors

Module_

Instances

Instances details

Eq Module Source #
Instance details Defined in StubTypes Methods (==) ∷ Module → Module → Bool Source # (/=) ∷ Module → Module → Bool Source #
Ord Module Source #
Instance details Defined in StubTypes Methods compare ∷ Module → Module → Ordering Source # (<) ∷ Module → Module → Bool Source # (<=) ∷ Module → Module → Bool Source # (>) ∷ Module → Module → Bool Source # (>=) ∷ Module → Module → Bool Source # max ∷ Module → Module → Module Source # min ∷ Module → Module → Module Source #

data UnitId Source #

Constructors

UnitId_

data TyThing Source #

Constructors

TyThing_

data ModSummary Source #

Constructors

ModSummary_

data TcGblEnv Source #

Constructors

TcGblEnv_

data LHsExpr a Source #

Constructors

LHsExpr_

data GhcTc Source #

Constructors

GhcTc_

data GhcRn Source #

Constructors

GhcRn_

data GhcException Source #

Constructors

CmdLineError String
ProgramError String
PprProgramError String SDoc

Instances

Instances details

Exception GhcException Source #
Instance details Defined in StubTypes Methods toException ∷ GhcException → SomeException Source # fromException ∷ SomeException → Maybe GhcException Source # displayException ∷ GhcException → String Source #
Show GhcException Source #
Instance details Defined in StubTypes Methods showsPrec ∷ Int → GhcException → ShowS Source # show ∷ GhcException → String Source # showList ∷ [GhcException] → ShowS Source #

data ModuleName Source #

Constructors

ModuleName_

Instances

Instances details

Data ModuleName Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ModuleName → c ModuleName Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ModuleName Source # toConstr ∷ ModuleName → Constr Source # dataTypeOf ∷ ModuleName → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ModuleName) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ModuleName) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ModuleName → ModuleName Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ModuleName → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ModuleName → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ModuleName → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ModuleName → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ModuleName → m ModuleName Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ModuleName → m ModuleName Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ModuleName → m ModuleName Source #
Eq ModuleName Source #
Instance details Defined in StubTypes Methods (==) ∷ ModuleName → ModuleName → Bool Source # (/=) ∷ ModuleName → ModuleName → Bool Source #
Ord ModuleName Source #
Instance details Defined in StubTypes Methods compare ∷ ModuleName → ModuleName → Ordering Source # (<) ∷ ModuleName → ModuleName → Bool Source # (<=) ∷ ModuleName → ModuleName → Bool Source # (>) ∷ ModuleName → ModuleName → Bool Source # (>=) ∷ ModuleName → ModuleName → Bool Source # max ∷ ModuleName → ModuleName → ModuleName Source # min ∷ ModuleName → ModuleName → ModuleName Source #
Outputable ModuleName Source #
Instance details Defined in StubTypes Methods ppr ∷ ModuleName → SDoc Source # pprPrec ∷ Rational → ModuleName → SDoc Source #

data SDoc Source #

Constructors

SDoc_

Instances

Instances details

IsString SDoc Source #
Instance details Defined in StubTypes Methods fromString ∷ String → SDoc Source #
Show SDoc Source #
Instance details Defined in StubTypes Methods showsPrec ∷ Int → SDoc → ShowS Source # show ∷ SDoc → String Source # showList ∷ [SDoc] → ShowS Source #

data HsParsedModule Source #

Constructors

HsParsedModule_

data HsGroup a Source #

Constructors

HsGroup_

data Phase Source #

Constructors

Phase_

data Coercion Source #

Constructors

Coercion_

Instances

Instances details

Data Coercion Source #

Instance details

Defined in StubTypes

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Coercion → c Coercion Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Coercion Source #

toConstr ∷ Coercion → Constr Source #

dataTypeOf ∷ Coercion → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Coercion) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Coercion) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Coercion → Coercion Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Coercion → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Coercion → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Coercion → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Coercion → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Coercion → m Coercion Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Coercion → m Coercion Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Coercion → m Coercion Source #

data Type Source #

Constructors

Type_

Instances

Instances details

Data Type Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Type → c Type Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Type Source # toConstr ∷ Type → Constr Source # dataTypeOf ∷ Type → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Type) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Type) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Type → Type Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Type → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Type → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Type → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Type → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Type → m Type Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Type → m Type Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Type → m Type Source #
Outputable Type Source #
Instance details Defined in StubTypes Methods ppr ∷ Type → SDoc Source # pprPrec ∷ Rational → Type → SDoc Source #

type Kind = Type Source #

type TyVar = Var Source #

data TyCoBinder Source #

Constructors

TyCoBinder_

Instances

Instances details

Data TyCoBinder Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TyCoBinder → c TyCoBinder Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TyCoBinder Source # toConstr ∷ TyCoBinder → Constr Source # dataTypeOf ∷ TyCoBinder → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TyCoBinder) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TyCoBinder) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → TyCoBinder → TyCoBinder Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TyCoBinder → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TyCoBinder → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TyCoBinder → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TyCoBinder → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TyCoBinder → m TyCoBinder Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TyCoBinder → m TyCoBinder Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TyCoBinder → m TyCoBinder Source #
Outputable TyCoBinder Source #
Instance details Defined in StubTypes Methods ppr ∷ TyCoBinder → SDoc Source # pprPrec ∷ Rational → TyCoBinder → SDoc Source #

data SrcSpan Source #

Constructors

SrcSpan_

Instances

Instances details

Data SrcSpan Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SrcSpan → c SrcSpan Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SrcSpan Source # toConstr ∷ SrcSpan → Constr Source # dataTypeOf ∷ SrcSpan → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SrcSpan) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SrcSpan) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SrcSpan → SrcSpan Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SrcSpan → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SrcSpan → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SrcSpan → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SrcSpan → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SrcSpan → m SrcSpan Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SrcSpan → m SrcSpan Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SrcSpan → m SrcSpan Source #
Eq SrcSpan Source #
Instance details Defined in StubTypes Methods (==) ∷ SrcSpan → SrcSpan → Bool Source # (/=) ∷ SrcSpan → SrcSpan → Bool Source #
Ord SrcSpan Source #
Instance details Defined in StubTypes Methods compare ∷ SrcSpan → SrcSpan → Ordering Source # (<) ∷ SrcSpan → SrcSpan → Bool Source # (<=) ∷ SrcSpan → SrcSpan → Bool Source # (>) ∷ SrcSpan → SrcSpan → Bool Source # (>=) ∷ SrcSpan → SrcSpan → Bool Source # max ∷ SrcSpan → SrcSpan → SrcSpan Source # min ∷ SrcSpan → SrcSpan → SrcSpan Source #
Outputable SrcSpan Source #
Instance details Defined in StubTypes Methods ppr ∷ SrcSpan → SDoc Source # pprPrec ∷ Rational → SrcSpan → SDoc Source #

data RealSrcSpan Source #

Constructors

RealSrcSpan_

Instances

Instances details

Data RealSrcSpan Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → RealSrcSpan → c RealSrcSpan Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c RealSrcSpan Source # toConstr ∷ RealSrcSpan → Constr Source # dataTypeOf ∷ RealSrcSpan → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c RealSrcSpan) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c RealSrcSpan) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → RealSrcSpan → RealSrcSpan Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → RealSrcSpan → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → RealSrcSpan → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → RealSrcSpan → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → RealSrcSpan → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → RealSrcSpan → m RealSrcSpan Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → RealSrcSpan → m RealSrcSpan Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → RealSrcSpan → m RealSrcSpan Source #
Outputable RealSrcSpan Source #
Instance details Defined in StubTypes Methods ppr ∷ RealSrcSpan → SDoc Source # pprPrec ∷ Rational → RealSrcSpan → SDoc Source #

data Tickish a Source #

Constructors

SourceNote
Fields sourceSpan ∷ RealSrcSpan Source covered sourceName ∷ String Name for source location

Instances

Instances details

Data a ⇒ Data (Tickish a) Source #

Instance details

Defined in StubTypes

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Tickish a → c (Tickish a) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (Tickish a) Source #

toConstr ∷ Tickish a → Constr Source #

dataTypeOf ∷ Tickish a → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Tickish a)) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Tickish a)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Tickish a → Tickish a Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Tickish a → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Tickish a → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Tickish a → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Tickish a → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Tickish a → m (Tickish a) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tickish a → m (Tickish a) Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tickish a → m (Tickish a) Source #

data Var Source #

Constructors

Var_

Instances

Instances details

Data Var Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Var → c Var Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Var Source # toConstr ∷ Var → Constr Source # dataTypeOf ∷ Var → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Var) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Var) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Var → Var Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Var → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Var → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Var → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Var → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Var → m Var Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Var → m Var Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Var → m Var Source #
Eq Var Source #
Instance details Defined in StubTypes Methods (==) ∷ Var → Var → Bool Source # (/=) ∷ Var → Var → Bool Source #
Outputable Var Source #
Instance details Defined in StubTypes Methods ppr ∷ Var → SDoc Source # pprPrec ∷ Rational → Var → SDoc Source #

type Id = Var Source #

data Fingerprint Source #

Constructors

Fingerprint_

Instances

Instances details

Outputable Fingerprint Source #
Instance details Defined in StubTypes Methods ppr ∷ Fingerprint → SDoc Source # pprPrec ∷ Rational → Fingerprint → SDoc Source #

data PrintUnqualified Source #

Constructors

PrintUnqualified_

data TyCon Source #

Constructors

TyCon_

Instances

Instances details

Eq TyCon Source #
Instance details Defined in StubTypes Methods (==) ∷ TyCon → TyCon → Bool Source # (/=) ∷ TyCon → TyCon → Bool Source #
Outputable TyCon Source #
Instance details Defined in StubTypes Methods ppr ∷ TyCon → SDoc Source # pprPrec ∷ Rational → TyCon → SDoc Source #

data IdDetails Source #

Constructors

ClassOpId Class
DataConWorkId DataCon
PrimOpId PrimOp

Instances

Instances details

Outputable IdDetails Source #
Instance details Defined in StubTypes Methods ppr ∷ IdDetails → SDoc Source # pprPrec ∷ Rational → IdDetails → SDoc Source #

data IdUnfolding Source #

Constructors

IdUnfolding_

Instances

Instances details

Outputable IdUnfolding Source #
Instance details Defined in StubTypes Methods ppr ∷ IdUnfolding → SDoc Source # pprPrec ∷ Rational → IdUnfolding → SDoc Source #

data Unfolding Source #

Constructors

Unfolding_

Instances

Instances details

Outputable Unfolding Source #
Instance details Defined in StubTypes Methods ppr ∷ Unfolding → SDoc Source # pprPrec ∷ Rational → Unfolding → SDoc Source #

data FunctionOrData Source #

Constructors

IsFunction
IsData

Instances

Instances details

Data FunctionOrData Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → FunctionOrData → c FunctionOrData Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c FunctionOrData Source # toConstr ∷ FunctionOrData → Constr Source # dataTypeOf ∷ FunctionOrData → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c FunctionOrData) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c FunctionOrData) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → FunctionOrData → FunctionOrData Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → FunctionOrData → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → FunctionOrData → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → FunctionOrData → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → FunctionOrData → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → FunctionOrData → m FunctionOrData Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FunctionOrData → m FunctionOrData Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FunctionOrData → m FunctionOrData Source #
Eq FunctionOrData Source #
Instance details Defined in StubTypes Methods (==) ∷ FunctionOrData → FunctionOrData → Bool Source # (/=) ∷ FunctionOrData → FunctionOrData → Bool Source #
Ord FunctionOrData Source #
Instance details Defined in StubTypes Methods compare ∷ FunctionOrData → FunctionOrData → Ordering Source # (<) ∷ FunctionOrData → FunctionOrData → Bool Source # (<=) ∷ FunctionOrData → FunctionOrData → Bool Source # (>) ∷ FunctionOrData → FunctionOrData → Bool Source # (>=) ∷ FunctionOrData → FunctionOrData → Bool Source # max ∷ FunctionOrData → FunctionOrData → FunctionOrData Source # min ∷ FunctionOrData → FunctionOrData → FunctionOrData Source #
Outputable FunctionOrData Source #
Instance details Defined in StubTypes Methods ppr ∷ FunctionOrData → SDoc Source # pprPrec ∷ Rational → FunctionOrData → SDoc Source #

data FV Source #

Constructors

FV_

data Class Source #

Constructors

Class_

data NameSpace Source #

Constructors

NameSpace_

data HscEnv Source #

Constructors

HscEnv
Fields hsc_dflags ∷ DynFlags

data RdrName Source #

Constructors

RdrName_

data Messages Source #

Constructors

Messages_

data Literal Source #

Constructors

LitChar Char	`Char#` - at least 31 bits. Create with `mkMachChar`
LitNumber !LitNumType !Integer Type
LitString ByteString	A string-literal: stored and emitted UTF-8 encoded, we'll arrange to decode it at runtime. Also emitted with a `'0'` terminator. Create with `mkMachString`
LitNullAddr	The `NULL` pointer, the only pointer value that can be represented as a Literal. Create with `nullAddrLit`
LitRubbish	A nonsense value, used when an unlifted binding is absent and has type `forall (a :: TYPE UnliftedRep). a`. May be lowered by code-gen to any possible value. Also see GHC:Note [Rubbish literals]
LitFloat Rational	`Float#`. Create with `mkMachFloat`
LitDouble Rational	`Double#`. Create with `mkMachDouble`
LitLabel FastString (Maybe Int) FunctionOrData	A label literal. Parameters: 1) The name of the symbol mentioned in the declaration 2) The size (in bytes) of the arguments the label expects. Only applicable with `stdcall` labels. `Just x` => `<x>` will be appended to label name when emitting assembly.

Instances

Instances details

Data Literal Source #

Instance details

Defined in StubTypes

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Literal → c Literal Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Literal Source #

toConstr ∷ Literal → Constr Source #

dataTypeOf ∷ Literal → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Literal) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Literal) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Literal → Literal Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Literal → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Literal → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Literal → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Literal → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Literal → m Literal Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Literal → m Literal Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Literal → m Literal Source #

data LitNumType Source #

Numeric literal type

Constructors

LitNumInteger	`Integer` (see GHC:Note [Integer literals])
LitNumNatural	`Natural` (see GHC:Note [Natural literals])
LitNumInt	`Int#` - according to target machine
LitNumInt64	`Int64#` - exactly 64 bits
LitNumWord	`Word#` - according to target machine
LitNumWord64	`Word64#` - exactly 64 bits

Instances

Instances details

Data LitNumType Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → LitNumType → c LitNumType Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c LitNumType Source # toConstr ∷ LitNumType → Constr Source # dataTypeOf ∷ LitNumType → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c LitNumType) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c LitNumType) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → LitNumType → LitNumType Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → LitNumType → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → LitNumType → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → LitNumType → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → LitNumType → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → LitNumType → m LitNumType Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → LitNumType → m LitNumType Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → LitNumType → m LitNumType Source #
Enum LitNumType Source #
Instance details Defined in StubTypes Methods succ ∷ LitNumType → LitNumType Source # pred ∷ LitNumType → LitNumType Source # toEnum ∷ Int → LitNumType Source # fromEnum ∷ LitNumType → Int Source # enumFrom ∷ LitNumType → [LitNumType] Source # enumFromThen ∷ LitNumType → LitNumType → [LitNumType] Source # enumFromTo ∷ LitNumType → LitNumType → [LitNumType] Source # enumFromThenTo ∷ LitNumType → LitNumType → LitNumType → [LitNumType] Source #
Eq LitNumType Source #
Instance details Defined in StubTypes Methods (==) ∷ LitNumType → LitNumType → Bool Source # (/=) ∷ LitNumType → LitNumType → Bool Source #
Ord LitNumType Source #
Instance details Defined in StubTypes Methods compare ∷ LitNumType → LitNumType → Ordering Source # (<) ∷ LitNumType → LitNumType → Bool Source # (<=) ∷ LitNumType → LitNumType → Bool Source # (>) ∷ LitNumType → LitNumType → Bool Source # (>=) ∷ LitNumType → LitNumType → Bool Source # max ∷ LitNumType → LitNumType → LitNumType Source # min ∷ LitNumType → LitNumType → LitNumType Source #

type FastString = String Source #

data AlgTyConRhs Source #

Constructors

AbstractTyCon
DataTyCon
Fields data_cons ∷ [DataCon]
TupleTyCon
Fields data_con ∷ DataCon
SumTyCon
Fields data_cons ∷ [DataCon]
NewTyCon
Fields data_con ∷ DataCon

data DataCon Source #

Constructors

DataCon_

Instances

Instances details

Data DataCon Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → DataCon → c DataCon Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DataCon Source # toConstr ∷ DataCon → Constr Source # dataTypeOf ∷ DataCon → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DataCon) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DataCon) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → DataCon → DataCon Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DataCon → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DataCon → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → DataCon → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DataCon → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DataCon → m DataCon Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DataCon → m DataCon Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DataCon → m DataCon Source #
Eq DataCon Source #
Instance details Defined in StubTypes Methods (==) ∷ DataCon → DataCon → Bool Source # (/=) ∷ DataCon → DataCon → Bool Source #
Outputable DataCon Source #
Instance details Defined in StubTypes Methods ppr ∷ DataCon → SDoc Source # pprPrec ∷ Rational → DataCon → SDoc Source #

data Role Source #

Constructors

Representational

data CoAxiom (a ∷ BranchFlag) Source #

Constructors

CoAxiom_

data BranchFlag Source #

Constructors

BFBranched
BFUnbranched

type Unbranched = 'BFUnbranched Source #

data PrimOp Source #

Constructors

IntAddOp
IntSubOp
IntMulOp
IntQuotOp
IntRemOp
IntGtOp
IntGeOp
IntLtOp
IntLeOp
IntEqOp

Instances

Instances details

Enum PrimOp Source #
Instance details Defined in StubTypes Methods succ ∷ PrimOp → PrimOp Source # pred ∷ PrimOp → PrimOp Source # toEnum ∷ Int → PrimOp Source # fromEnum ∷ PrimOp → Int Source # enumFrom ∷ PrimOp → [PrimOp] Source # enumFromThen ∷ PrimOp → PrimOp → [PrimOp] Source # enumFromTo ∷ PrimOp → PrimOp → [PrimOp] Source # enumFromThenTo ∷ PrimOp → PrimOp → PrimOp → [PrimOp] Source #
Eq PrimOp Source #
Instance details Defined in StubTypes Methods (==) ∷ PrimOp → PrimOp → Bool Source # (/=) ∷ PrimOp → PrimOp → Bool Source #
Ord PrimOp Source #
Instance details Defined in StubTypes Methods compare ∷ PrimOp → PrimOp → Ordering Source # (<) ∷ PrimOp → PrimOp → Bool Source # (<=) ∷ PrimOp → PrimOp → Bool Source # (>) ∷ PrimOp → PrimOp → Bool Source # (>=) ∷ PrimOp → PrimOp → Bool Source # max ∷ PrimOp → PrimOp → PrimOp Source # min ∷ PrimOp → PrimOp → PrimOp Source #
Outputable PrimOp Source #
Instance details Defined in StubTypes Methods ppr ∷ PrimOp → SDoc Source # pprPrec ∷ Rational → PrimOp → SDoc Source #

data Expr b Source #

Constructors

Var Id
Lit Literal
App (Expr b) (Arg b)
Lam b (Expr b)
Let (Bind b) (Expr b)
Case (Expr b) b Type [Alt b]
Cast (Expr b) Coercion
Tick (Tickish Id) (Expr b)
Type Type
Coercion Coercion

Instances

Instances details

Data b ⇒ Data (Expr b) Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b0. Data d ⇒ c (d → b0) → d → c b0) → (∀ g. g → c g) → Expr b → c (Expr b) Source # gunfold ∷ (∀ b0 r. Data b0 ⇒ c (b0 → r) → c r) → (∀ r. r → c r) → Constr → c (Expr b) Source # toConstr ∷ Expr b → Constr Source # dataTypeOf ∷ Expr b → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Expr b)) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Expr b)) Source # gmapT ∷ (∀ b0. Data b0 ⇒ b0 → b0) → Expr b → Expr b Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Expr b → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Expr b → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Expr b → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Expr b → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Expr b → m (Expr b) Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Expr b → m (Expr b) Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Expr b → m (Expr b) Source #
Outputable (Expr b) Source #
Instance details Defined in StubTypes Methods ppr ∷ Expr b → SDoc Source # pprPrec ∷ Rational → Expr b → SDoc Source #

data Bind b Source #

Constructors

NonRec b (Expr b)
Rec [(b, Expr b)]

Instances

Instances details

Data b ⇒ Data (Bind b) Source #

Instance details

Defined in StubTypes

Methods

gfoldl ∷ (∀ d b0. Data d ⇒ c (d → b0) → d → c b0) → (∀ g. g → c g) → Bind b → c (Bind b) Source #

gunfold ∷ (∀ b0 r. Data b0 ⇒ c (b0 → r) → c r) → (∀ r. r → c r) → Constr → c (Bind b) Source #

toConstr ∷ Bind b → Constr Source #

dataTypeOf ∷ Bind b → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Bind b)) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Bind b)) Source #

gmapT ∷ (∀ b0. Data b0 ⇒ b0 → b0) → Bind b → Bind b Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Bind b → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Bind b → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Bind b → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Bind b → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Bind b → m (Bind b) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Bind b → m (Bind b) Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Bind b → m (Bind b) Source #

data AltCon Source #

Constructors

DataAlt DataCon
LitAlt Literal	A literal: `case e of { 1 -> ... }` Invariant: always an unlifted literal See GHC:Note [Literal alternatives]
DEFAULT	Trivial alternative: `case e of { _ -> ... }`

Instances

Instances details

Data AltCon Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → AltCon → c AltCon Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c AltCon Source # toConstr ∷ AltCon → Constr Source # dataTypeOf ∷ AltCon → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c AltCon) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c AltCon) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → AltCon → AltCon Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → AltCon → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → AltCon → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → AltCon → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → AltCon → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → AltCon → m AltCon Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AltCon → m AltCon Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → AltCon → m AltCon Source #
Outputable AltCon Source #
Instance details Defined in StubTypes Methods ppr ∷ AltCon → SDoc Source # pprPrec ∷ Rational → AltCon → SDoc Source #

type CoreExpr = Expr CoreBndr Source #

type CoreBndr = Var Source #

type CoreAlt = Alt CoreBndr Source #

type CoreBind = Bind CoreBndr Source #

type CoreProgram = [CoreBind] Source #

type Arg b = Expr b Source #

type Alt b = (AltCon, [b], Expr b) Source #

data ImpDeclSpec Source #

Constructors

ImpDeclSpec
Fields is_mod ∷ ModuleName Module imported, e.g. `import Muggle` Note the `Muggle` may well not be the defining module for this thing! is_as ∷ ModuleName Import alias, e.g. from `as M` (or `Muggle` if there is no `as` clause) is_qual ∷ Bool Was this import qualified? is_dloc ∷ SrcSpan The location of the entire import declaration

Instances

Instances details

Data ImpDeclSpec Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ImpDeclSpec → c ImpDeclSpec Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ImpDeclSpec Source # toConstr ∷ ImpDeclSpec → Constr Source # dataTypeOf ∷ ImpDeclSpec → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ImpDeclSpec) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ImpDeclSpec) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ImpDeclSpec → ImpDeclSpec Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ImpDeclSpec → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ImpDeclSpec → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ImpDeclSpec → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ImpDeclSpec → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ImpDeclSpec → m ImpDeclSpec Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ImpDeclSpec → m ImpDeclSpec Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ImpDeclSpec → m ImpDeclSpec Source #
Eq ImpDeclSpec Source #
Instance details Defined in StubTypes Methods (==) ∷ ImpDeclSpec → ImpDeclSpec → Bool Source # (/=) ∷ ImpDeclSpec → ImpDeclSpec → Bool Source #
Ord ImpDeclSpec Source #
Instance details Defined in StubTypes Methods compare ∷ ImpDeclSpec → ImpDeclSpec → Ordering Source # (<) ∷ ImpDeclSpec → ImpDeclSpec → Bool Source # (<=) ∷ ImpDeclSpec → ImpDeclSpec → Bool Source # (>) ∷ ImpDeclSpec → ImpDeclSpec → Bool Source # (>=) ∷ ImpDeclSpec → ImpDeclSpec → Bool Source # max ∷ ImpDeclSpec → ImpDeclSpec → ImpDeclSpec Source # min ∷ ImpDeclSpec → ImpDeclSpec → ImpDeclSpec Source #

data ImpItemSpec Source #

Constructors

ImpAll
ImpSome
Fields is_explicit ∷ Bool is_iloc ∷ SrcSpan

Instances

Instances details

Data ImpItemSpec Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ImpItemSpec → c ImpItemSpec Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ImpItemSpec Source # toConstr ∷ ImpItemSpec → Constr Source # dataTypeOf ∷ ImpItemSpec → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ImpItemSpec) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ImpItemSpec) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ImpItemSpec → ImpItemSpec Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ImpItemSpec → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ImpItemSpec → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ImpItemSpec → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ImpItemSpec → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ImpItemSpec → m ImpItemSpec Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ImpItemSpec → m ImpItemSpec Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ImpItemSpec → m ImpItemSpec Source #
Eq ImpItemSpec Source #
Instance details Defined in StubTypes Methods (==) ∷ ImpItemSpec → ImpItemSpec → Bool Source # (/=) ∷ ImpItemSpec → ImpItemSpec → Bool Source #
Ord ImpItemSpec Source #
Instance details Defined in StubTypes Methods compare ∷ ImpItemSpec → ImpItemSpec → Ordering Source # (<) ∷ ImpItemSpec → ImpItemSpec → Bool Source # (<=) ∷ ImpItemSpec → ImpItemSpec → Bool Source # (>) ∷ ImpItemSpec → ImpItemSpec → Bool Source # (>=) ∷ ImpItemSpec → ImpItemSpec → Bool Source # max ∷ ImpItemSpec → ImpItemSpec → ImpItemSpec Source # min ∷ ImpItemSpec → ImpItemSpec → ImpItemSpec Source #

data ImportSpec Source #

Constructors

ImpSpec
Fields is_decl ∷ ImpDeclSpec is_item ∷ ImpItemSpec

Instances

Instances details

Data ImportSpec Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ImportSpec → c ImportSpec Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ImportSpec Source # toConstr ∷ ImportSpec → Constr Source # dataTypeOf ∷ ImportSpec → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ImportSpec) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ImportSpec) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → ImportSpec → ImportSpec Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ImportSpec → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ImportSpec → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ImportSpec → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ImportSpec → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ImportSpec → m ImportSpec Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ImportSpec → m ImportSpec Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ImportSpec → m ImportSpec Source #
Eq ImportSpec Source #
Instance details Defined in StubTypes Methods (==) ∷ ImportSpec → ImportSpec → Bool Source # (/=) ∷ ImportSpec → ImportSpec → Bool Source #
Ord ImportSpec Source #
Instance details Defined in StubTypes Methods compare ∷ ImportSpec → ImportSpec → Ordering Source # (<) ∷ ImportSpec → ImportSpec → Bool Source # (<=) ∷ ImportSpec → ImportSpec → Bool Source # (>) ∷ ImportSpec → ImportSpec → Bool Source # (>=) ∷ ImportSpec → ImportSpec → Bool Source # max ∷ ImportSpec → ImportSpec → ImportSpec Source # min ∷ ImportSpec → ImportSpec → ImportSpec Source #

data ModIface Source #

Constructors

ModIface
Fields mi_exports ∷ [IfaceExport]

data ModGuts Source #

Constructors

ModGuts
Fields mg_fam_inst_env ∷ FamInstEnv mg_module ∷ Module

data FamInstEnv Source #

Constructors

FamInstEnv_

data SimplMode Source #

Constructors

SimplMode
Fields sm_names ∷ [String] sm_phase ∷ CompilerPhase sm_dflags ∷ DynFlags sm_rules ∷ Bool sm_inline ∷ Bool sm_case_case ∷ Bool sm_eta_expand ∷ Bool

Instances

Instances details

Outputable SimplMode Source #
Instance details Defined in StubTypes Methods ppr ∷ SimplMode → SDoc Source # pprPrec ∷ Rational → SimplMode → SDoc Source #

data CompilerPhase Source #

Constructors

Phase PhaseNum
InitialPhase

type PhaseNum = Int Source #

data GlobalRdrElt Source #

Constructors

GRE
Fields gre_name ∷ Name gre_par ∷ Parent gre_lcl ∷ Bool True = the thing was defined locally gre_imp ∷ [ImportSpec] In scope through these imports

Instances

Instances details

Data GlobalRdrElt Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → GlobalRdrElt → c GlobalRdrElt Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c GlobalRdrElt Source # toConstr ∷ GlobalRdrElt → Constr Source # dataTypeOf ∷ GlobalRdrElt → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c GlobalRdrElt) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c GlobalRdrElt) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → GlobalRdrElt → GlobalRdrElt Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → GlobalRdrElt → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → GlobalRdrElt → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → GlobalRdrElt → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → GlobalRdrElt → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → GlobalRdrElt → m GlobalRdrElt Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → GlobalRdrElt → m GlobalRdrElt Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → GlobalRdrElt → m GlobalRdrElt Source #
Eq GlobalRdrElt Source #
Instance details Defined in StubTypes Methods (==) ∷ GlobalRdrElt → GlobalRdrElt → Bool Source # (/=) ∷ GlobalRdrElt → GlobalRdrElt → Bool Source #

data Parent Source #

Constructors

Parent_

Instances

Instances details

Data Parent Source #
Instance details Defined in StubTypes Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Parent → c Parent Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Parent Source # toConstr ∷ Parent → Constr Source # dataTypeOf ∷ Parent → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Parent) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Parent) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Parent → Parent Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Parent → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Parent → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Parent → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Parent → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Parent → m Parent Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Parent → m Parent Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Parent → m Parent Source #
Eq Parent Source #
Instance details Defined in StubTypes Methods (==) ∷ Parent → Parent → Bool Source # (/=) ∷ Parent → Parent → Bool Source #

data FloatOutSwitches Source #

Constructors

FloatOutSwitches_

type CorePluginPass = ModGuts → CoreM ModGuts Source #

type IfaceExport = AvailInfo Source #

data AvailInfo Source #

Constructors

AvailInfo_

data GlobalRdrEnv Source #

Constructors

GlobalRdrEnv_

data UniqSet a Source #

Constructors

UniqSet_

Instances

Instances details

Monoid (UniqSet a) Source #
Instance details Defined in StubTypes Methods mempty ∷ UniqSet a Source # mappend ∷ UniqSet a → UniqSet a → UniqSet a Source # mconcat ∷ [UniqSet a] → UniqSet a Source #
Semigroup (UniqSet a) Source #
Instance details Defined in StubTypes Methods (<>) ∷ UniqSet a → UniqSet a → UniqSet a Source # sconcat ∷ NonEmpty (UniqSet a) → UniqSet a Source # stimes ∷ Integral b ⇒ b → UniqSet a → UniqSet a Source #

data StubM a Source #

Constructors

StubM_

Instances

Instances details

Applicative StubM Source #
Instance details Defined in StubTypes Methods pure ∷ a → StubM a Source # (<>) ∷ StubM (a → b) → StubM a → StubM b Source # liftA2 ∷ (a → b → c) → StubM a → StubM b → StubM c Source # (>) ∷ StubM a → StubM b → StubM b Source # (<*) ∷ StubM a → StubM b → StubM a Source #
Functor StubM Source #
Instance details Defined in StubTypes Methods fmap ∷ (a → b) → StubM a → StubM b Source # (<$) ∷ a → StubM b → StubM a Source #
Monad StubM Source #
Instance details Defined in StubTypes Methods (>>=) ∷ StubM a → (a → StubM b) → StubM b Source # (>>) ∷ StubM a → StubM b → StubM b Source # return ∷ a → StubM a Source #

newtype Hsc a Source #

Constructors

Hsc_ (StubM a)

Instances

Instances details

Applicative Hsc Source #
Instance details Defined in StubTypes Methods pure ∷ a → Hsc a Source # (<>) ∷ Hsc (a → b) → Hsc a → Hsc b Source # liftA2 ∷ (a → b → c) → Hsc a → Hsc b → Hsc c Source # (>) ∷ Hsc a → Hsc b → Hsc b Source # (<*) ∷ Hsc a → Hsc b → Hsc a Source #
Functor Hsc Source #
Instance details Defined in StubTypes Methods fmap ∷ (a → b) → Hsc a → Hsc b Source # (<$) ∷ a → Hsc b → Hsc a Source #
Monad Hsc Source #
Instance details Defined in StubTypes Methods (>>=) ∷ Hsc a → (a → Hsc b) → Hsc b Source # (>>) ∷ Hsc a → Hsc b → Hsc b Source # return ∷ a → Hsc a Source #

newtype CoreM a Source #

Constructors

CoreM_ (StubM a)

Instances

Instances details

MonadIO CoreM Source #
Instance details Defined in StubTypes Methods liftIO ∷ IO a → CoreM a Source #
Applicative CoreM Source #
Instance details Defined in StubTypes Methods pure ∷ a → CoreM a Source # (<>) ∷ CoreM (a → b) → CoreM a → CoreM b Source # liftA2 ∷ (a → b → c) → CoreM a → CoreM b → CoreM c Source # (>) ∷ CoreM a → CoreM b → CoreM b Source # (<*) ∷ CoreM a → CoreM b → CoreM a Source #
Functor CoreM Source #
Instance details Defined in StubTypes Methods fmap ∷ (a → b) → CoreM a → CoreM b Source # (<$) ∷ a → CoreM b → CoreM a Source #
Monad CoreM Source #
Instance details Defined in StubTypes Methods (>>=) ∷ CoreM a → (a → CoreM b) → CoreM b Source # (>>) ∷ CoreM a → CoreM b → CoreM b Source # return ∷ a → CoreM a Source #

newtype TcM a Source #

Constructors

TcM_ (StubM a)

Instances

Instances details

Applicative TcM Source #
Instance details Defined in StubTypes Methods pure ∷ a → TcM a Source # (<>) ∷ TcM (a → b) → TcM a → TcM b Source # liftA2 ∷ (a → b → c) → TcM a → TcM b → TcM c Source # (>) ∷ TcM a → TcM b → TcM b Source # (<*) ∷ TcM a → TcM b → TcM a Source #
Functor TcM Source #
Instance details Defined in StubTypes Methods fmap ∷ (a → b) → TcM a → TcM b Source # (<$) ∷ a → TcM b → TcM a Source #
Monad TcM Source #
Instance details Defined in StubTypes Methods (>>=) ∷ TcM a → (a → TcM b) → TcM b Source # (>>) ∷ TcM a → TcM b → TcM b Source # return ∷ a → TcM a Source #

type TcRn a = TcM a Source #

newtype IfM ab a Source #

Constructors

IfM_ (StubM a)

Instances

Instances details

Applicative (IfM ab) Source #
Instance details Defined in StubTypes Methods pure ∷ a → IfM ab a Source # (<>) ∷ IfM ab (a → b) → IfM ab a → IfM ab b Source # liftA2 ∷ (a → b → c) → IfM ab a → IfM ab b → IfM ab c Source # (>) ∷ IfM ab a → IfM ab b → IfM ab b Source # (<*) ∷ IfM ab a → IfM ab b → IfM ab a Source #
Functor (IfM ab) Source #
Instance details Defined in StubTypes Methods fmap ∷ (a → b) → IfM ab a → IfM ab b Source # (<$) ∷ a → IfM ab b → IfM ab a Source #
Monad (IfM ab) Source #
Instance details Defined in StubTypes Methods (>>=) ∷ IfM ab a → (a → IfM ab b) → IfM ab b Source # (>>) ∷ IfM ab a → IfM ab b → IfM ab b Source # return ∷ a → IfM ab a Source #

newtype Ghc a Source #

Constructors

Ghc_ (StubM a)

Instances

Instances details

Applicative Ghc Source #
Instance details Defined in StubTypes Methods pure ∷ a → Ghc a Source # (<>) ∷ Ghc (a → b) → Ghc a → Ghc b Source # liftA2 ∷ (a → b → c) → Ghc a → Ghc b → Ghc c Source # (>) ∷ Ghc a → Ghc b → Ghc b Source # (<*) ∷ Ghc a → Ghc b → Ghc a Source #
Functor Ghc Source #
Instance details Defined in StubTypes Methods fmap ∷ (a → b) → Ghc a → Ghc b Source # (<$) ∷ a → Ghc b → Ghc a Source #
Monad Ghc Source #
Instance details Defined in StubTypes Methods (>>=) ∷ Ghc a → (a → Ghc b) → Ghc b Source # (>>) ∷ Ghc a → Ghc b → Ghc b Source # return ∷ a → Ghc a Source #

data ModLocation Source #

Constructors

ModLocation_

data ModuleOrigin Source #

Constructors

ModuleOrigin_

data UnusablePackageReason Source #

Constructors

UnusablePackageReason_

data ModuleSuggestion Source #

Constructors

ModuleSuggestion_

data FindResult Source #

Constructors

Found ModLocation Module	The module was found
NoPackage UnitId	The requested package was not found
FoundMultiple [(Module, ModuleOrigin)]	_Error_: both in multiple packages
NotFound	Not found
Fields fr_paths ∷ [FilePath] fr_pkg ∷ Maybe UnitId fr_mods_hidden ∷ [UnitId] fr_pkgs_hidden ∷ [UnitId] fr_unusables ∷ [(UnitId, UnusablePackageReason)] fr_suggestions ∷ [ModuleSuggestion]

class Outputable a where Source #

Minimal complete definition

Nothing

Methods

ppr ∷ a → SDoc Source #

pprPrec ∷ Rational → a → SDoc Source #

Instances

Instances details

Outputable PluginRecompile Source #
Instance details Defined in Plugins Methods ppr ∷ PluginRecompile → SDoc Source # pprPrec ∷ Rational → PluginRecompile → SDoc Source #
Outputable AltCon Source #
Instance details Defined in StubTypes Methods ppr ∷ AltCon → SDoc Source # pprPrec ∷ Rational → AltCon → SDoc Source #
Outputable DataCon Source #
Instance details Defined in StubTypes Methods ppr ∷ DataCon → SDoc Source # pprPrec ∷ Rational → DataCon → SDoc Source #
Outputable Fingerprint Source #
Instance details Defined in StubTypes Methods ppr ∷ Fingerprint → SDoc Source # pprPrec ∷ Rational → Fingerprint → SDoc Source #
Outputable FunctionOrData Source #
Instance details Defined in StubTypes Methods ppr ∷ FunctionOrData → SDoc Source # pprPrec ∷ Rational → FunctionOrData → SDoc Source #
Outputable IdDetails Source #
Instance details Defined in StubTypes Methods ppr ∷ IdDetails → SDoc Source # pprPrec ∷ Rational → IdDetails → SDoc Source #
Outputable IdUnfolding Source #
Instance details Defined in StubTypes Methods ppr ∷ IdUnfolding → SDoc Source # pprPrec ∷ Rational → IdUnfolding → SDoc Source #
Outputable ModuleName Source #
Instance details Defined in StubTypes Methods ppr ∷ ModuleName → SDoc Source # pprPrec ∷ Rational → ModuleName → SDoc Source #
Outputable Name Source #
Instance details Defined in StubTypes Methods ppr ∷ Name → SDoc Source # pprPrec ∷ Rational → Name → SDoc Source #
Outputable PrimOp Source #
Instance details Defined in StubTypes Methods ppr ∷ PrimOp → SDoc Source # pprPrec ∷ Rational → PrimOp → SDoc Source #
Outputable RealSrcSpan Source #
Instance details Defined in StubTypes Methods ppr ∷ RealSrcSpan → SDoc Source # pprPrec ∷ Rational → RealSrcSpan → SDoc Source #
Outputable SimplMode Source #
Instance details Defined in StubTypes Methods ppr ∷ SimplMode → SDoc Source # pprPrec ∷ Rational → SimplMode → SDoc Source #
Outputable SrcSpan Source #
Instance details Defined in StubTypes Methods ppr ∷ SrcSpan → SDoc Source # pprPrec ∷ Rational → SrcSpan → SDoc Source #
Outputable TyCoBinder Source #
Instance details Defined in StubTypes Methods ppr ∷ TyCoBinder → SDoc Source # pprPrec ∷ Rational → TyCoBinder → SDoc Source #
Outputable TyCon Source #
Instance details Defined in StubTypes Methods ppr ∷ TyCon → SDoc Source # pprPrec ∷ Rational → TyCon → SDoc Source #
Outputable Type Source #
Instance details Defined in StubTypes Methods ppr ∷ Type → SDoc Source # pprPrec ∷ Rational → Type → SDoc Source #
Outputable Unfolding Source #
Instance details Defined in StubTypes Methods ppr ∷ Unfolding → SDoc Source # pprPrec ∷ Rational → Unfolding → SDoc Source #
Outputable Var Source #
Instance details Defined in StubTypes Methods ppr ∷ Var → SDoc Source # pprPrec ∷ Rational → Var → SDoc Source #
Outputable (Expr b) Source #
Instance details Defined in StubTypes Methods ppr ∷ Expr b → SDoc Source # pprPrec ∷ Rational → Expr b → SDoc Source #

occName ∷ Name → OccName Source #

occNameString ∷ OccName → String Source #

moduleName ∷ Module → ModuleName Source #

nameModule_maybe ∷ Name → Maybe Module Source #

moduleUnitId ∷ Module → UnitId Source #

stableModuleNameCmp ∷ ModuleName → ModuleName → Ordering Source #

stableUnitIdCmp ∷ UnitId → UnitId → Ordering Source #

fingerprintString ∷ String → Fingerprint Source #

fingerprintFingerprints ∷ [Fingerprint] → Fingerprint Source #

(<+>) ∷ SDoc → SDoc → SDoc Source #

text ∷ String → SDoc Source #

mi_module ∷ ModIface → Module Source #

showSDocForUser ∷ DynFlags → PrintUnqualified → SDoc → String Source #

alwaysQualify ∷ PrintUnqualified Source #

tyConsOfType ∷ Type → UniqSet TyCon Source #

mkCoercionTy ∷ Coercion → Type Source #

varType ∷ Var → Type Source #

isLiftedTypeKind ∷ Kind → Bool Source #

classifiesTypeWithValues ∷ Kind → Bool Source #

isRuntimeRepTy ∷ Type → Bool Source #

isRuntimeRepKindedTy ∷ Type → Bool Source #

splitFunTy_maybe ∷ Type → Maybe (Type, Type) Source #

unitTy ∷ Type Source #

unitDataConId ∷ Id Source #

voidPrimId ∷ Id Source #

voidArgId ∷ Id Source #

rUNTIME_ERROR_ID ∷ Id Source #

getOccString ∷ a → String Source #

getName ∷ a → Name Source #

tyVarKind ∷ a → Kind Source #

tyConKind ∷ a → Kind Source #

tyThingId ∷ a → Id Source #

tyThingTyCon ∷ a → TyCon Source #

boolTy ∷ Type Source #

stringTy ∷ Type Source #

charTy ∷ Type Source #

getOccName ∷ a → OccName Source #

trueDataCon ∷ DataCon Source #

falseDataCon ∷ DataCon Source #

unitDataCon ∷ DataCon Source #

charDataCon ∷ DataCon Source #

boolTyCon ∷ TyCon Source #

listTyCon ∷ TyCon Source #

intTyCon ∷ TyCon Source #

intPrimTyCon ∷ TyCon Source #

addrPrimTyCon ∷ TyCon Source #

voidPrimTyCon ∷ TyCon Source #

unitTyCon ∷ TyCon Source #

nonDetEltsUniqSet ∷ UniqSet a → [a] Source #

normaliseType ∷ a → b → c → (Coercion, Type) Source #

getTyVar_maybe ∷ a → Maybe TyVar Source #

splitTyConApp_maybe ∷ Type → Maybe (TyCon, [Type]) Source #

splitAppTy_maybe ∷ Type → Maybe (Type, Type) Source #

splitForAllTy_maybe ∷ Type → Maybe (TyVar, Type) Source #

splitCastTy_maybe ∷ Type → Maybe (Type, Coercion) Source #

splitPiTy_maybe ∷ Type → Maybe (TyCoBinder, Type) Source #

unwrapNewTyCon_maybe ∷ TyCon → Maybe ([TyVar], Type, CoAxiom Unbranched) Source #

tyConTyVars ∷ TyCon → [TyVar] Source #

unionManyUniqSets ∷ [UniqSet a] → UniqSet a Source #

dataConTyCon ∷ DataCon → TyCon Source #

dataConOrigArgTys ∷ DataCon → [Type] Source #

dataConInstOrigArgTys ∷ DataCon → [Type] → [Type] Source #

dataConOrigResTy ∷ DataCon → Type Source #

isAlgTyCon ∷ TyCon → Bool Source #

isTupleTyCon ∷ TyCon → Bool Source #

isFamilyTyCon ∷ TyCon → Bool Source #

isStrLitTy ∷ Type → Maybe FastString Source #

($+$) ∷ a → b → b infixl 5 Source #

algTyConRhs ∷ TyCon → AlgTyConRhs Source #

mkCharExpr ∷ Char → CoreExpr Source #

isDefaultAlt ∷ a → Bool Source #

mkListExpr ∷ Type → [CoreExpr] → CoreExpr Source #

findAlt ∷ AltCon → [(AltCon, a, b)] → Maybe (AltCon, a, b) Source #

errorIds ∷ [Id] Source #

fvVarList ∷ FV → [Var] Source #

isTyVar ∷ a → Bool Source #

unpackCStringName ∷ Name Source #

unpackCStringFoldrName ∷ Name Source #

buildName ∷ Name Source #

idDetails ∷ Id → IdDetails Source #

realIdUnfolding ∷ Id → Unfolding Source #

mkDictSelRhs ∷ Class → Int → CoreExpr Source #

classAllSelIds ∷ Class → [Id] Source #

expr_fvs ∷ CoreExpr → FV Source #

maybeUnfoldingTemplate ∷ Unfolding → Maybe CoreExpr Source #

mkImpossibleExpr ∷ Type → CoreExpr Source #

getDynFlags ∷ Monad m ⇒ m DynFlags Source #

mkFastString ∷ String → FastString Source #

moduleNameString ∷ ModuleName → String Source #

findExposedPackageModule ∷ HscEnv → ModuleName → Maybe FastString → IO FindResult Source #

mkModule ∷ UnitId → ModuleName → Module Source #

initTcInteractive ∷ HscEnv → TcM a → IO (Messages, Maybe a) Source #

initIfaceTcRn ∷ a → TcRn b Source #

mkTyConApp ∷ TyCon → [Type] → Type Source #

lookupId ∷ Monad m ⇒ Name → m Id Source #

lookupTyCon ∷ Monad m ⇒ Name → m TyCon Source #

mkRuntimeErrorApp ∷ Id → Type → String → CoreExpr Source #

idName ∷ Id → Name Source #

showPpr ∷ DynFlags → a → String Source #

lookupThing ∷ Monad m ⇒ Name → m TyThing Source #

mkTyConTy ∷ TyCon → Type Source #

mkCoreApps ∷ CoreExpr → [CoreExpr] → CoreExpr Source #

mkIntExpr ∷ DynFlags → Integer → CoreExpr Source #

mkModuleName ∷ String → ModuleName Source #

noSrcSpan ∷ SrcSpan Source #

throwGhcExceptionIO ∷ GhcException → IO a Source #

showSDoc ∷ DynFlags → SDoc → String Source #

cannotFindModule ∷ DynFlags → ModuleName → FindResult → SDoc Source #

hsep ∷ [SDoc] → SDoc Source #

panic ∷ String → a Source #

lookupGRE_RdrName ∷ RdrName → GlobalRdrEnv → [GlobalRdrElt] Source #

gresFromAvails ∷ Maybe ImportSpec → [AvailInfo] → [GlobalRdrElt] Source #

mkGlobalRdrEnv ∷ [GlobalRdrElt] → GlobalRdrEnv Source #

loadPluginInterface ∷ SDoc → Module → IfM lcl ModIface Source #

getHscEnv ∷ Monad m ⇒ m HscEnv Source #

type PackageFamInstEnv = FamInstEnv Source #

getPackageFamInstEnv ∷ CoreM PackageFamInstEnv Source #

mkUnqual ∷ NameSpace → FastString → RdrName Source #

bindsOnlyPass ∷ (CoreProgram → CoreM CoreProgram) → ModGuts → CoreM ModGuts Source #

varName ∷ NameSpace Source #

dataName ∷ NameSpace Source #

tcClsName ∷ NameSpace Source #

tyConAppTyCon_maybe ∷ Type → Maybe TyCon Source #

nameOccName ∷ Name → OccName Source #

charTyConName ∷ Name Source #

noinlineIdName ∷ Name Source #

nilDataCon ∷ DataCon Source #

dataConWorkId ∷ DataCon → Id Source #

thNameToGhcName ∷ Name → CoreM (Maybe Name) Source #

showSDocUnsafe ∷ SDoc → String Source #

dropRuntimeRepArgs ∷ [Type] → [Type] Source #

CoreDoSimplify Int SimplMode
CoreDoPluginPass String CorePluginPass
CoreDoFloatInwards
CoreDoFloatOutwards FloatOutSwitches
CoreLiberateCase
CoreDoPrintCore
CoreDoStaticArgs
CoreDoCallArity
CoreDoExitify
CoreDoStrictness
CoreDoWorkerWrapper
CoreDoSpecialising
CoreDoSpecConstr
CoreCSE
CoreDoRuleCheck CompilerPhase String
CoreDoNothing
CoreDoPasses [CoreToDo]
CoreDesugar
CoreDesugarOpt
CoreTidy
CorePrep
CoreOccurAnal