+++ /dev/null
-interface HelpMicroPrel where
-alpha :: UniType
-alpha_tyvar :: TyVar
-alpha_tyvarU :: Int
-alpha_tyvars :: [TyVar]
-applySubstToId :: Subst -> Id -> Id
-applySubstToTauTy :: Subst -> UniType -> UniType
-applySubstToThetaTy :: Subst -> [(Class, UniType)] -> [(Class, UniType)]
-applySubstToTy :: Subst -> UniType -> UniType
-applyTy :: UniType -> UniType -> UniType
-applyTyCon :: TyCon -> [UniType] -> UniType
-applyTyConLazily :: TyCon -> TyCon -> [UniType] -> UniType
-assocMaybe :: (Eq a) => a -> [(a, b)] -> Labda b
-bOTTOM_ID :: Id
-beta_tyvar :: TyVar
-beta_tyvarU :: Int
-binTyCon :: TyCon
-binTyConU :: Int
-catMaybes :: [Labda a] -> [a]
-catQuickStrings :: [QuickString] -> QuickString
-charPrimRelOpTy :: UniType
-charPrimTy :: UniType
-charPrimTyCon :: TyCon
-charPrimTyConU :: Int
-checkInstanceShape :: UniType -> Labda (TyCon, [TyVar])
-chrPrimId :: Id
-data PprStyle = PprForUser | PprDebug | PprShowAll | PprInterface deriving ()
-data Env a b
-data GVE
-data TCE
-data PrettyRep
-data PrimitiveOp
-class AbsSynParam a where
- hasType :: a -> Bool
- getType :: a -> UniType
- isConop :: a -> Bool
- isAconid :: a -> Bool
- isAconop :: a -> Bool
- isAvarid :: a -> Bool
- isAvarop :: a -> Bool
-class Outputable a where
- frc :: a -> Int
- ppr :: PprStyle -> a -> Int -> Bool -> PrettyRep
-data Annotations
-data CLabelInfo
-data Class
-data ConFamilySize = SmallConFamily Int | LargeConFamily deriving ()
-data CoreExpr a b
-data Id = Local Name Unique UniType | Imported Name UniType (Labda (CoreExpr Id Id)) | DataCon Name Int [TyVar] [(Class, UniType)] [UniType] TyCon deriving ()
-data Labda a = Just a | Nothing deriving ()
-data MaybeErr a b = Succeeded a | Failed b deriving ()
-data Name
-data PrimitiveKind
-data QuickString
-data Subst
-data TyCon = TyConSynonym Name Unique Int [TyVar] UniType | TyConData Name Unique Int [TyVar] ConFamilySize [Id] | TyConBuiltIn Name Unique Int deriving ()
-data TyVar
-data TyVarOrTyCon = IsTyVar TyVar | IsTyCon TyCon [UniType] deriving ()
-data UniType = UniTyVar TyVar | UniFun UniType UniType | UniData TyCon [UniType] | UniSyn TyCon [UniType] UniType | UniDict Class UniType | UniForall TyVar UniType deriving ()
-data TypecheckedPat
-data Expr a b
-data Matches a b
-data MonoBinds a b
-data Binds a b
-data GRHSs a b
-data UnifyErrContext = PredCtxt (Expr Id TypecheckedPat) | AppCtxt (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) | OpAppCtxt (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) | SectionLAppCtxt (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) | SectionRAppCtxt (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) | CaseCtxt (Expr Id TypecheckedPat) (Matches Id TypecheckedPat) | BranchCtxt (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) | ListCtxt [Expr Id TypecheckedPat] | ConPatCtxt QuickString [TypecheckedPat] | ConOpPatCtxt TypecheckedPat QuickString TypecheckedPat | ListPatCtxt [TypecheckedPat] | MatchPairCtxt (Matches Id TypecheckedPat) (Matches Id TypecheckedPat) | FilterCtxt (Expr Id TypecheckedPat) | GeneratorCtxt TypecheckedPat (Expr Id TypecheckedPat) | GRHSsBranchCtxt (GRHSs Id TypecheckedPat) (GRHSs Id TypecheckedPat) | GRHSsGuardCtxt (Expr Id TypecheckedPat) | RecCtxt [QuickString] (MonoBinds Id TypecheckedPat) | PatMonoBindsCtxt TypecheckedPat (GRHSs Id TypecheckedPat) (Binds Id TypecheckedPat) | MatchCtxt UniType UniType | ArithSeqCtxt [Expr Id TypecheckedPat] | CCallCtxt QuickString [Expr Id TypecheckedPat] deriving ()
-data UnifyErrInfo = DataConMisMatch UniType UniType | UniConMisMatch UniType UniType | TypeRec TyVar UniType | UnifyListMisMatch [UniType] [UniType] deriving ()
-data Unique
-data UniqueSupply
-divideDoublePrimId :: Id
-divideFloatPrimId :: Id
-divideIntPrimId :: Id
-divideIntegerPrimId :: Id
-doublePrim2FloatPrimId :: Id
-doublePrim2IntPrimId :: Id
-doublePrimArithOpTy :: UniType
-doublePrimRelOpTy :: UniType
-doublePrimTy :: UniType
-doublePrimTyCon :: TyCon
-doublePrimTyConU :: Int
-doublePrimUnaryOpTy :: UniType
-duplicateLocal :: Id -> Unique -> Id
-duplicateTyVar :: TyVar -> Unique -> TyVar
-eRROR_ID :: Id
-eqCharPrimId :: Id
-eqDoublePrimId :: Id
-eqFloatPrimId :: Id
-eqIntPrimBoolId :: Id
-eqIntPrimId :: Id
-eqIntegerPrimId :: Id
-errorTy :: UniType
-expandTySyn :: UniType -> UniType
-extractTyVarsFromTy :: UniType -> [TyVar]
-extractTyVarsFromTys :: [UniType] -> [TyVar]
-firstTupleUniqueInt :: Int
-floatPrim2DoublePrimId :: Id
-floatPrim2IntPrimId :: Id
-floatPrimArithOpTy :: UniType
-floatPrimRelOpTy :: UniType
-floatPrimTy :: UniType
-floatPrimTyCon :: TyCon
-floatPrimTyConU :: Int
-floatPrimUnaryOpTy :: UniType
-frcId :: Bool -> Id -> Int
-frcUniType :: UniType -> Int
-funResultTy :: UniType -> UniType
-geCharPrimId :: Id
-geDoublePrimId :: Id
-geFloatPrimId :: Id
-geIntPrimId :: Id
-geIntegerPrimId :: Id
-genInstantiateTy :: UniqueSupply -> [(TyVar, UniType)] -> UniType -> (UniqueSupply, UniType)
-genInstantiateTyUS :: (Env TyVar UniType) -> UniType -> UniqueSupply -> (UniqueSupply, UniType)
-getClassName :: Class -> Name
-getClassOps :: Class -> [(QuickString, UniType)]
-getClassSig :: Class -> (TyVar, [(Class, UniType)], [(QuickString, UniType)])
-getClassThetaType :: Class -> [(Class, UniType)]
-getConstructedTyTycon :: UniType -> TyCon
-getDataConDeps :: Id -> [TyCon]
-getDataConFamily :: Id -> [Id]
-getDataConSig :: Id -> ([TyVar], [(Class, UniType)], [UniType], TyCon)
-getDataConTag :: Id -> Int
-getDataConTyCon :: Id -> TyCon
-getDictClass :: Id -> Class
-getDictClassType :: Id -> (Class, UniType)
-getDictTyVar :: Id -> TyVar
-getDictType :: Id -> UniType
-getIdAnns :: Id -> Annotations
-getIdBoundTyVars :: Id -> [TyVar]
-getIdCLabelInfo :: Id -> CLabelInfo
-getIdKind :: Id -> PrimitiveKind
-getIdName :: Id -> Name
-getIdQuickString :: Id -> QuickString
-getIdSourceTypes :: Id -> [UniType]
-getIdTargetType :: Id -> UniType
-getIdTauType :: Id -> UniType
-getIdUnfolding :: Id -> Labda (CoreExpr Id Id)
-getIdUniType :: Id -> UniType
-getLocalUnique :: Id -> Unique
-getMentionedTyCons :: TyCon -> [TyCon]
-getQuickStringStr :: QuickString -> [Char]
-getReferredToTyCons :: UniType -> [TyCon]
-getTauType :: UniType -> UniType
-getTyConArity :: TyCon -> Int
-getTyConDataCons :: TyCon -> [Id]
-getTyConName :: TyCon -> Name
-getTyConTyVars :: TyCon -> [TyVar]
-getTyVar :: UniType -> TyVar
-getTyVarMaybe :: UniType -> Labda TyVar
-getUniDataTyCon :: UniType -> TyCon
-getUnique :: UniqueSupply -> (UniqueSupply, Unique)
-getUniques :: Int -> UniqueSupply -> (UniqueSupply, [Unique])
-glueTyArgs :: [UniType] -> UniType -> UniType
-gtCharPrimId :: Id
-gtDoublePrimId :: Id
-gtFloatPrimId :: Id
-gtIntPrimId :: Id
-gtIntegerPrimId :: Id
-iMPOSSIBLE_UNIQUE :: Unique
-idxStringPrimId :: Id
-initUS :: a -> (a -> (b, c)) -> (b, c)
-instance AbsSynParam Id
-instance AbsSynParam Name
-instance AbsSynParam QuickString
-instance Eq CLabelInfo
-instance Eq Class
-instance Eq Id
-instance Eq Name
-instance Eq PrimitiveKind
-instance Eq QuickString
-instance Eq TyCon
-instance Eq TyVar
-instance Eq UniType
-instance Eq Unique
-instance Ord Id
-instance Ord Name
-instance Ord QuickString
-instance Ord TyCon
-instance Ord TyVar
-instance Ord Unique
-instance Outputable Annotations
-instance Outputable CLabelInfo
-instance Outputable Class
-instance Outputable ConFamilySize
-instance Outputable Id
-instance Outputable Name
-instance Outputable PrimitiveKind
-instance Outputable QuickString
-instance Outputable TyCon
-instance Outputable TyVar
-instance Outputable UniType
-instance Outputable Unique
-instance Text Id
-instance Text Unique
-instantiateTauTy :: [(TyVar, UniType)] -> UniType -> UniType
-instantiateThetaTy :: [(TyVar, UniType)] -> [(Class, UniType)] -> [(Class, UniType)]
-instantiateTy :: [(TyVar, UniType)] -> UniType -> UniType
-intPrim2DoublePrimId :: Id
-intPrim2FloatPrimId :: Id
-intPrim2IntegerPrimId :: Id
-intPrimArithOpTy :: UniType
-intPrimRelOpTy :: UniType
-intPrimTy :: UniType
-intPrimTyCon :: TyCon
-intPrimTyConU :: Int
-intPrimUnaryOpTy :: UniType
-integerPrim2IntPrimId :: Id
-integerPrimArithOpTy :: UniType
-integerPrimRelOpTy :: UniType
-integerPrimTy :: UniType
-integerPrimTyCon :: TyCon
-integerPrimTyConU :: Int
-integerPrimUnaryOpTy :: UniType
-ioPrimTy :: UniType
-ioPrimTyCon :: TyCon
-ioPrimTyConU :: Int
-isAbstractTyConData :: TyCon -> Bool
-isFunType :: UniType -> Bool
-isGlobalId :: Id -> Bool
-isTyConBuiltIn :: TyCon -> Bool
-isTyConData :: TyCon -> Bool
-isUnboxedType :: UniType -> Bool
-kindFromType :: UniType -> PrimitiveKind
-leCharPrimId :: Id
-leDoublePrimId :: Id
-leFloatPrimId :: Id
-leIntPrimId :: Id
-leIntegerPrimId :: Id
-listMaybeErrs :: [MaybeErr a b] -> MaybeErr [a] [b]
-ltCharPrimId :: Id
-ltDoublePrimId :: Id
-ltFloatPrimId :: Id
-ltIntPrimId :: Id
-ltIntegerPrimId :: Id
-matchList :: Subst -> [UniType] -> [UniType] -> MaybeErr Subst UnifyErrInfo
-matchTys :: Subst -> UniType -> UniType -> MaybeErr Subst UnifyErrInfo
-minusDoublePrimId :: Id
-minusFloatPrimId :: Id
-minusIntPrimId :: Id
-minusIntegerPrimId :: Id
-mkClass :: Unique -> Name -> TyVar -> [(Class, UniType)] -> [(QuickString, UniType)] -> Class
-mkClassBottom :: QuickString -> QuickString -> Annotations -> Class
-mkDataCon :: Name -> UniType -> Id
-mkDataTy :: TyCon -> [UniType] -> UniType
-mkDataTyConBottom :: QuickString -> QuickString -> Annotations -> Int -> TyCon
-mkDictFunId :: Class -> TyCon -> UniType -> Id
-mkDictFunType :: [TyVar] -> [(Class, UniType)] -> Class -> UniType -> UniType
-mkDictTy :: Class -> UniType -> UniType
-mkForallTy :: [TyVar] -> UniType -> UniType
-mkImported :: Name -> UniType -> (Labda (CoreExpr Id Id)) -> Id
-mkInternalDataCon :: Name -> Int -> [TyVar] -> [(Class, UniType)] -> [UniType] -> TyCon -> Id
-mkLocal :: Name -> Unique -> UniType -> Id
-mkNamedLocal :: QuickString -> Unique -> UniType -> Annotations -> Id
-mkQuickString :: [Char] -> QuickString
-mkRenamedLocal :: Name -> Unique -> UniType -> Id
-mkSigmaTy :: [TyVar] -> [(Class, UniType)] -> UniType -> UniType
-mkSynTy :: TyCon -> [UniType] -> UniType -> UniType
-mkSynTyConBottom :: QuickString -> QuickString -> Annotations -> Int -> TyCon
-mkSysLocal :: [Char] -> Unique -> UniType -> Annotations -> Id
-mkSysTyVar :: Unique -> TyVar
-mkTUPLE_ID :: Int -> Id
-mkTemplateLocals :: [UniType] -> [Id]
-mkTupleTy :: [UniType] -> UniType
-mkTupleTyCon :: Int -> TyCon
-mkTupleTyConAndId :: Int -> (TyCon, Id)
-mkTyConBuiltIn :: Name -> Unique -> Int -> TyCon
-mkTyConData :: Name -> Unique -> Int -> [TyVar] -> Int -> [Id] -> TyCon
-mkTyConSynonym :: Name -> Unique -> Int -> [TyVar] -> UniType -> TyCon
-mkTyVarTy :: TyVar -> UniType
-mkUnique :: Int -> Unique
-mkUniqueSupply :: Int -> UniqueSupply
-mkUserTyVar :: Unique -> QuickString -> TyVar
-nanoCoreGVE :: GVE
-nanoCoreTCE :: TCE
-neCharPrimId :: Id
-neDoublePrimId :: Id
-neFloatPrimId :: Id
-neIntPrimId :: Id
-neIntegerPrimId :: Id
-negateDoublePrimId :: Id
-negateFloatPrimId :: Id
-negateIntPrimId :: Id
-negateIntegerPrimId :: Id
-noFail :: (Labda a) -> [Char] -> a
-ordPrimId :: Id
-pRELUDE :: [Char]
-pRELUDE_BUILTIN :: [Char]
-pRELUDE_BUILTIN_Char :: ([Char], [Char])
-pRELUDE_BUILTIN_Double :: ([Char], [Char])
-pRELUDE_BUILTIN_Float :: ([Char], [Char])
-pRELUDE_BUILTIN_Int :: ([Char], [Char])
-pRELUDE_BUILTIN_Integer :: ([Char], [Char])
-pRELUDE_BUILTIN_List :: ([Char], [Char])
-pRELUDE_BUILTIN_Tuple0 :: ([Char], [Char])
-pRELUDE_BUILTIN_Tuple2 :: ([Char], [Char])
-pRELUDE_CORE :: [Char]
-pRELUDE_CORE_Bool :: ([Char], [Char])
-pRELUDE_CORE_Enum :: ([Char], [Char])
-pRELUDE_CORE_Eq :: ([Char], [Char])
-pRELUDE_CORE_Fractional :: ([Char], [Char])
-pRELUDE_CORE_Integral :: ([Char], [Char])
-pRELUDE_CORE_Num :: ([Char], [Char])
-pRELUDE_CORE_Ord :: ([Char], [Char])
-pRELUDE_CORE_Real :: ([Char], [Char])
-pRELUDE_RATIO :: [Char]
-pRELUDE_RATIO_Ratio :: ([Char], [Char])
-pRELUDE_TEXT :: [Char]
-pRELUDE_TEXT_Text :: ([Char], [Char])
-packStringPrimId :: Id
-pcAnns :: Annotations
-pcBasicArithBinOp :: [Char] -> UniType -> Id -> Id -> Id
-pcBasicArithUnaryOp :: [Char] -> UniType -> Id -> Id -> Id
-pcBasicRelBinOp :: [Char] -> UniType -> Id -> Id -> Id
-pcBasicRelBinOpInnerCase :: Id -> Id -> Id -> CoreExpr Id Id
-pcBuiltinTyCon :: Int -> [Char] -> [Char] -> Int -> TyCon
-pcDataCon :: [Char] -> [Char] -> UniType -> Id
-pcDataTyCon :: Int -> [Char] -> [Char] -> Int -> [TyVar] -> [Id] -> TyCon
-pcDictFunName :: ([Char], [Char]) -> ([Char], [Char]) -> Name
-pcDictSelectorName :: [Char] -> [Char] -> Name
-pcExternalName :: [Char] -> [Char] -> Name
-pcGlobal :: [Char] -> [Char] -> UniType -> Id
-pcInstance :: ([Char], [Char]) -> ([Char], [Char]) -> UniType -> Id
-pcMethod :: Name -> [Char] -> UniType -> Id
-pcPrim :: [Char] -> UniType -> PrimitiveOp -> Id
-pcPrimPredicate :: [Char] -> UniType -> Id -> Id
-plusDoublePrimId :: Id
-plusFloatPrimId :: Id
-plusIntPrimId :: Id
-plusIntegerPrimId :: Id
-pprParendUniType :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-pprUniType :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-remIntPrimId :: Id
-remIntegerPrimId :: Id
-removeTyConDataCons :: TyCon -> TyCon
-returnUS :: a -> UniqueSupply -> (UniqueSupply, a)
-sourceTypes :: UniType -> [UniType]
-splitMultiType :: UniType -> ([[TyVar]], [[(Class, UniType)]], UniType)
-splitThetaType :: UniType -> (Class, UniType)
-splitTyArgs :: UniType -> ([UniType], UniType)
-splitType :: UniType -> ([TyVar], [(Class, UniType)], UniType)
-stringPrimTy :: UniType
-stringPrimTyCon :: TyCon
-stringPrimTyConU :: Int
-targetType :: UniType -> UniType
-thenUS :: (UniqueSupply -> (UniqueSupply, a)) -> (a -> UniqueSupply -> (UniqueSupply, b)) -> UniqueSupply -> (UniqueSupply, b)
-thenUSs :: [UniqueSupply -> (UniqueSupply, a)] -> UniqueSupply -> (UniqueSupply, [a])
-timesDoublePrimId :: Id
-timesFloatPrimId :: Id
-timesIntPrimId :: Id
-timesIntegerPrimId :: Id
-tuple0TyCon :: TyCon
-tuple2TyCon :: TyCon
-tyVarOrTyCon :: UniType -> TyVarOrTyCon
-type Arity = Int
-type ClassName = QuickString
-type ClassOp = (QuickString, UniType)
-type ClassOps = [(QuickString, UniType)]
-type ConName = QuickString
-type ConTag = Int
-type DictFun = Id
-type DictVar = Id
-type ModuleName = QuickString
-type RhoType = UniType
-type SigmaType = UniType
-type TauType = UniType
-type ThetaType = [(Class, UniType)]
-type TyConName = QuickString
-type TyVarName = QuickString
-type USap a = UniqueSupply -> (UniqueSupply, a)
-type VarName = QuickString
-typeWithOneDataCon :: UniType -> Bool
-uniformSCCs :: [[TyCon]] -> [Bool]
-unifyList :: Subst -> [UniType] -> [UniType] -> MaybeErr Subst UnifyErrInfo
-unifyTys :: Subst -> UniType -> UniType -> MaybeErr Subst UnifyErrInfo
-verifyTauTy :: UniType -> UniType
-zeroTy :: UniType
-zeroTyCon :: TyCon
-zeroTyConU :: Int
projects / ghc-hetmet.git / commitdiff