+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface AbsSyn where
-import AbsSynFuns(cmpInstanceTypes, collectBinders, collectMonoBinders, collectMonoBindersAndLocs, collectPatBinders, collectQualBinders, collectTopLevelBinders, collectTypedBinders, collectTypedPatBinders, extractMonoTyNames, getNonPrelOuterTyCon, mkDictApp, mkDictLam, mkTyApp, mkTyLam)
-import Bag(Bag)
-import BasicLit(BasicLit)
-import BinderInfo(BinderInfo)
-import CharSeq(CSeq)
-import Class(Class, ClassOp)
-import CmdLineOpts(GlobalSwitch)
-import CoreSyn(CoreAtom, CoreExpr)
-import FiniteMap(FiniteMap)
-import HsBinds(Bind(..), Binds(..), MonoBinds(..), ProtoNameBind(..), ProtoNameBinds(..), ProtoNameClassOpSig(..), ProtoNameMonoBinds(..), ProtoNameSig(..), RenamedBind(..), RenamedBinds(..), RenamedClassOpSig(..), RenamedMonoBinds(..), RenamedSig(..), Sig(..), TypecheckedBind(..), TypecheckedBinds(..), TypecheckedMonoBinds(..), nullBinds, nullMonoBinds)
-import HsCore(UfCostCentre, UfId, UnfoldingCoreAlts, UnfoldingCoreAtom, UnfoldingCoreBinding, UnfoldingCoreExpr, UnfoldingPrimOp)
-import HsDecls(ClassDecl(..), ConDecl(..), DataTypeSig(..), DefaultDecl(..), FixityDecl(..), InstDecl(..), ProtoNameClassDecl(..), ProtoNameConDecl(..), ProtoNameDataTypeSig(..), ProtoNameDefaultDecl(..), ProtoNameFixityDecl(..), ProtoNameInstDecl(..), ProtoNameSpecialisedInstanceSig(..), ProtoNameTyDecl(..), RenamedClassDecl(..), RenamedConDecl(..), RenamedDataTypeSig(..), RenamedDefaultDecl(..), RenamedFixityDecl(..), RenamedInstDecl(..), RenamedSpecialisedInstanceSig(..), RenamedTyDecl(..), SpecialisedInstanceSig(..), TyDecl(..), eqConDecls)
-import HsExpr(ArithSeqInfo(..), Expr(..), ProtoNameArithSeqInfo(..), ProtoNameExpr(..), ProtoNameQual(..), Qual(..), RenamedArithSeqInfo(..), RenamedExpr(..), RenamedQual(..), TypecheckedArithSeqInfo(..), TypecheckedExpr(..), TypecheckedQual(..))
-import HsImpExp(IE(..), IfaceImportDecl(..), ImExportListInfo(..), ImportedInterface(..), Interface(..), ProtoNameImportedInterface(..), ProtoNameInterface(..), RenamedImportedInterface(..), RenamedInterface(..), Renaming(..), getIEStrings, getRawIEStrings)
-import HsLit(Literal(..), negLiteral)
-import HsMatches(GRHS(..), GRHSsAndBinds(..), Match(..), ProtoNameGRHS(..), ProtoNameGRHSsAndBinds(..), ProtoNameMatch(..), RenamedGRHS(..), RenamedGRHSsAndBinds(..), RenamedMatch(..), TypecheckedGRHS(..), TypecheckedGRHSsAndBinds(..), TypecheckedMatch(..))
-import HsPat(InPat(..), ProtoNamePat(..), RenamedPat(..), TypecheckedPat(..), irrefutablePat, isConPat, isLitPat, patsAreAllCons, patsAreAllLits, typeOfPat, unfailablePat, unfailablePats)
-import HsPragmas(ClassOpPragmas, ClassPragmas, DataPragmas, GenPragmas, ImpStrictness, ImpUnfolding, InstancePragmas, ProtoNameClassOpPragmas(..), ProtoNameClassPragmas(..), ProtoNameDataPragmas(..), ProtoNameGenPragmas(..), ProtoNameInstancePragmas(..), RenamedClassOpPragmas(..), RenamedClassPragmas(..), RenamedDataPragmas(..), RenamedGenPragmas(..), RenamedInstancePragmas(..), TypePragmas)
-import HsTypes(ClassAssertion(..), Context(..), MonoType(..), PolyType(..), ProtoNameContext(..), ProtoNameMonoType(..), ProtoNamePolyType(..), RenamedContext(..), RenamedMonoType(..), RenamedPolyType(..), cmpPolyType, eqMonoType, pprContext)
-import Id(DictVar(..), Id)
-import IdEnv(IdEnv(..))
-import IdInfo(ArgUsage, ArgUsageInfo, ArityInfo, DeforestInfo, Demand, DemandInfo, FBConsum, FBProd, FBType, FBTypeInfo, IdInfo, OptIdInfo(..), SpecEnv, StrictnessInfo, UpdateInfo)
-import Inst(Inst)
-import Maybes(Labda)
-import Name(Name(..))
-import NameTypes(FullName, ShortName)
-import Outputable(ExportFlag, NamedThing(..), Outputable(..))
-import PreludePS(_PackedString)
-import PreludeRatio(Ratio(..))
-import Pretty(Delay, PprStyle, Pretty(..), PrettyRep)
-import PrimKind(PrimKind)
-import PrimOps(PrimOp)
-import ProtoName(ProtoName)
-import RenameAuxFuns(PreludeNameFun(..))
-import SimplEnv(UnfoldingGuidance)
-import SrcLoc(SrcLoc)
-import TyCon(Arity(..), TyCon)
-import TyVar(TyVar)
-import UniType(TauType(..), UniType)
-import UniqFM(UniqFM)
-import Unique(Unique)
-class OptIdInfo a where
- noInfo :: a
- getInfo :: IdInfo -> a
- addInfo :: IdInfo -> a -> IdInfo
- ppInfo :: PprStyle -> (Id -> Id) -> a -> Int -> Bool -> PrettyRep
-class NamedThing a where
- getExportFlag :: a -> ExportFlag
- isLocallyDefined :: a -> Bool
- getOrigName :: a -> (_PackedString, _PackedString)
- getOccurrenceName :: a -> _PackedString
- getInformingModules :: a -> [_PackedString]
- getSrcLoc :: a -> SrcLoc
- getTheUnique :: a -> Unique
- hasType :: a -> Bool
- getType :: a -> UniType
- fromPreludeCore :: a -> Bool
-class Outputable a where
- ppr :: PprStyle -> a -> Int -> Bool -> PrettyRep
-data Bag a
-data BasicLit
-data BinderInfo
-data Class
-data ClassOp
-data CoreAtom a
-data CoreExpr a b
-data FiniteMap a b
-data Bind a b = EmptyBind | NonRecBind (MonoBinds a b) | RecBind (MonoBinds a b)
-data Binds a b = EmptyBinds | ThenBinds (Binds a b) (Binds a b) | SingleBind (Bind a b) | BindWith (Bind a b) [Sig a] | AbsBinds [TyVar] [Id] [(Id, Id)] [(Inst, Expr a b)] (Bind a b)
-data MonoBinds a b = EmptyMonoBinds | AndMonoBinds (MonoBinds a b) (MonoBinds a b) | PatMonoBind b (GRHSsAndBinds a b) SrcLoc | VarMonoBind Id (Expr a b) | FunMonoBind a [Match a b] SrcLoc
-type ProtoNameBind = Bind ProtoName (InPat ProtoName)
-type ProtoNameBinds = Binds ProtoName (InPat ProtoName)
-type ProtoNameClassOpSig = Sig ProtoName
-type ProtoNameMonoBinds = MonoBinds ProtoName (InPat ProtoName)
-type ProtoNameSig = Sig ProtoName
-type RenamedBind = Bind Name (InPat Name)
-type RenamedBinds = Binds Name (InPat Name)
-type RenamedClassOpSig = Sig Name
-type RenamedMonoBinds = MonoBinds Name (InPat Name)
-type RenamedSig = Sig Name
-data Sig a = Sig a (PolyType a) (GenPragmas a) SrcLoc | ClassOpSig a (PolyType a) (ClassOpPragmas a) SrcLoc | SpecSig a (PolyType a) (Labda a) SrcLoc | InlineSig a UnfoldingGuidance SrcLoc | DeforestSig a SrcLoc | MagicUnfoldingSig a _PackedString SrcLoc
-type TypecheckedBind = Bind Id TypecheckedPat
-type TypecheckedBinds = Binds Id TypecheckedPat
-type TypecheckedMonoBinds = MonoBinds Id TypecheckedPat
-data UfCostCentre a
-data UnfoldingCoreAtom a
-data UnfoldingCoreExpr a
-data UnfoldingPrimOp a
-data ClassDecl a b = ClassDecl [(a, a)] a a [Sig a] (MonoBinds a b) (ClassPragmas a) SrcLoc
-data ConDecl a = ConDecl a [MonoType a] SrcLoc
-data DataTypeSig a = AbstractTypeSig a SrcLoc | SpecDataSig a (MonoType a) SrcLoc
-data DefaultDecl a = DefaultDecl [MonoType a] SrcLoc
-data FixityDecl a = InfixL a Int | InfixR a Int | InfixN a Int
-data InstDecl a b = InstDecl [(a, a)] a (MonoType a) (MonoBinds a b) Bool _PackedString _PackedString [Sig a] (InstancePragmas a) SrcLoc
-type ProtoNameClassDecl = ClassDecl ProtoName (InPat ProtoName)
-type ProtoNameConDecl = ConDecl ProtoName
-type ProtoNameDataTypeSig = DataTypeSig ProtoName
-type ProtoNameDefaultDecl = DefaultDecl ProtoName
-type ProtoNameFixityDecl = FixityDecl ProtoName
-type ProtoNameInstDecl = InstDecl ProtoName (InPat ProtoName)
-type ProtoNameSpecialisedInstanceSig = SpecialisedInstanceSig ProtoName
-type ProtoNameTyDecl = TyDecl ProtoName
-type RenamedClassDecl = ClassDecl Name (InPat Name)
-type RenamedConDecl = ConDecl Name
-type RenamedDataTypeSig = DataTypeSig Name
-type RenamedDefaultDecl = DefaultDecl Name
-type RenamedFixityDecl = FixityDecl Name
-type RenamedInstDecl = InstDecl Name (InPat Name)
-type RenamedSpecialisedInstanceSig = SpecialisedInstanceSig Name
-type RenamedTyDecl = TyDecl Name
-data SpecialisedInstanceSig a = InstSpecSig a (MonoType a) SrcLoc
-data TyDecl a = TyData [(a, a)] a [a] [ConDecl a] [a] (DataPragmas a) SrcLoc | TySynonym a [a] (MonoType a) TypePragmas SrcLoc
-data ArithSeqInfo a b = From (Expr a b) | FromThen (Expr a b) (Expr a b) | FromTo (Expr a b) (Expr a b) | FromThenTo (Expr a b) (Expr a b) (Expr a b)
-data Expr a b = Var a | Lit Literal | Lam (Match a b) | App (Expr a b) (Expr a b) | OpApp (Expr a b) (Expr a b) (Expr a b) | SectionL (Expr a b) (Expr a b) | SectionR (Expr a b) (Expr a b) | CCall _PackedString [Expr a b] Bool Bool UniType | SCC _PackedString (Expr a b) | Case (Expr a b) [Match a b] | If (Expr a b) (Expr a b) (Expr a b) | Let (Binds a b) (Expr a b) | ListComp (Expr a b) [Qual a b] | ExplicitList [Expr a b] | ExplicitListOut UniType [Expr a b] | ExplicitTuple [Expr a b] | ExprWithTySig (Expr a b) (PolyType a) | ArithSeqIn (ArithSeqInfo a b) | ArithSeqOut (Expr a b) (ArithSeqInfo a b) | TyLam [TyVar] (Expr a b) | TyApp (Expr a b) [UniType] | DictLam [Id] (Expr a b) | DictApp (Expr a b) [Id] | ClassDictLam [Id] [Id] (Expr a b) | Dictionary [Id] [Id] | SingleDict Id
-type ProtoNameArithSeqInfo = ArithSeqInfo ProtoName (InPat ProtoName)
-type ProtoNameExpr = Expr ProtoName (InPat ProtoName)
-type ProtoNameQual = Qual ProtoName (InPat ProtoName)
-data Qual a b = GeneratorQual b (Expr a b) | FilterQual (Expr a b)
-type RenamedArithSeqInfo = ArithSeqInfo Name (InPat Name)
-type RenamedExpr = Expr Name (InPat Name)
-type RenamedQual = Qual Name (InPat Name)
-type TypecheckedArithSeqInfo = ArithSeqInfo Id TypecheckedPat
-type TypecheckedExpr = Expr Id TypecheckedPat
-type TypecheckedQual = Qual Id TypecheckedPat
-data IE = IEVar _PackedString | IEThingAbs _PackedString | IEThingAll _PackedString | IEConWithCons _PackedString [_PackedString] | IEClsWithOps _PackedString [_PackedString] | IEModuleContents _PackedString
-data IfaceImportDecl = IfaceImportDecl _PackedString [IE] [Renaming] SrcLoc
-type ImExportListInfo = (FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ())
-data ImportedInterface a b = ImportAll (Interface a b) [Renaming] | ImportSome (Interface a b) [IE] [Renaming] | ImportButHide (Interface a b) [IE] [Renaming]
-data Interface a b = MkInterface _PackedString [IfaceImportDecl] [FixityDecl a] [TyDecl a] [ClassDecl a b] [InstDecl a b] [Sig a] SrcLoc
-type ProtoNameImportedInterface = ImportedInterface ProtoName (InPat ProtoName)
-type ProtoNameInterface = Interface ProtoName (InPat ProtoName)
-type RenamedImportedInterface = ImportedInterface Name (InPat Name)
-type RenamedInterface = Interface Name (InPat Name)
-data Renaming = MkRenaming _PackedString _PackedString
-data Literal = CharLit Char | CharPrimLit Char | StringLit _PackedString | StringPrimLit _PackedString | IntLit Integer | FracLit (Ratio Integer) | LitLitLitIn _PackedString | LitLitLit _PackedString UniType | IntPrimLit Integer | FloatPrimLit (Ratio Integer) | DoublePrimLit (Ratio Integer)
-data GRHS a b = GRHS (Expr a b) (Expr a b) SrcLoc | OtherwiseGRHS (Expr a b) SrcLoc
-data GRHSsAndBinds a b = GRHSsAndBindsIn [GRHS a b] (Binds a b) | GRHSsAndBindsOut [GRHS a b] (Binds a b) UniType
-data Match a b = PatMatch b (Match a b) | GRHSMatch (GRHSsAndBinds a b)
-type ProtoNameGRHS = GRHS ProtoName (InPat ProtoName)
-type ProtoNameGRHSsAndBinds = GRHSsAndBinds ProtoName (InPat ProtoName)
-type ProtoNameMatch = Match ProtoName (InPat ProtoName)
-type RenamedGRHS = GRHS Name (InPat Name)
-type RenamedGRHSsAndBinds = GRHSsAndBinds Name (InPat Name)
-type RenamedMatch = Match Name (InPat Name)
-type TypecheckedGRHS = GRHS Id TypecheckedPat
-type TypecheckedGRHSsAndBinds = GRHSsAndBinds Id TypecheckedPat
-type TypecheckedMatch = Match Id TypecheckedPat
-data InPat a = WildPatIn | VarPatIn a | LitPatIn Literal | LazyPatIn (InPat a) | AsPatIn a (InPat a) | ConPatIn a [InPat a] | ConOpPatIn (InPat a) a (InPat a) | ListPatIn [InPat a] | TuplePatIn [InPat a] | NPlusKPatIn a Literal
-type ProtoNamePat = InPat ProtoName
-type RenamedPat = InPat Name
-data TypecheckedPat = WildPat UniType | VarPat Id | LazyPat TypecheckedPat | AsPat Id TypecheckedPat | ConPat Id UniType [TypecheckedPat] | ConOpPat TypecheckedPat Id TypecheckedPat UniType | ListPat UniType [TypecheckedPat] | TuplePat [TypecheckedPat] | LitPat Literal UniType | NPat Literal UniType (Expr Id TypecheckedPat) | NPlusKPat Id Literal UniType (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) (Expr Id TypecheckedPat)
-data ClassOpPragmas a
-data ClassPragmas a
-data DataPragmas a
-data GenPragmas a
-data InstancePragmas a
-type ProtoNameClassOpPragmas = ClassOpPragmas ProtoName
-type ProtoNameClassPragmas = ClassPragmas ProtoName
-type ProtoNameDataPragmas = DataPragmas ProtoName
-type ProtoNameGenPragmas = GenPragmas ProtoName
-type ProtoNameInstancePragmas = InstancePragmas ProtoName
-type RenamedClassOpPragmas = ClassOpPragmas Name
-type RenamedClassPragmas = ClassPragmas Name
-type RenamedDataPragmas = DataPragmas Name
-type RenamedGenPragmas = GenPragmas Name
-type RenamedInstancePragmas = InstancePragmas Name
-data TypePragmas
-type ClassAssertion a = (a, a)
-type Context a = [(a, a)]
-data MonoType a = MonoTyVar a | MonoTyCon a [MonoType a] | FunMonoTy (MonoType a) (MonoType a) | ListMonoTy (MonoType a) | TupleMonoTy [PolyType a] | MonoTyVarTemplate a | MonoDict a (MonoType a)
-data PolyType a = UnoverloadedTy (MonoType a) | OverloadedTy [(a, a)] (MonoType a) | ForAllTy [a] (MonoType a)
-type ProtoNameContext = [(ProtoName, ProtoName)]
-type ProtoNameMonoType = MonoType ProtoName
-type ProtoNamePolyType = PolyType ProtoName
-type RenamedContext = [(Name, Name)]
-type RenamedMonoType = MonoType Name
-type RenamedPolyType = PolyType Name
-type DictVar = Id
-data Id
-type IdEnv a = UniqFM a
-data ArgUsage
-data ArgUsageInfo
-data ArityInfo
-data DeforestInfo
-data Demand
-data DemandInfo
-data FBConsum
-data FBProd
-data FBType
-data FBTypeInfo
-data IdInfo
-data Inst
-data Labda a
-data Name = Short Unique ShortName | WiredInTyCon TyCon | WiredInVal Id | PreludeVal Unique FullName | PreludeTyCon Unique FullName Int Bool | PreludeClass Unique FullName | OtherTyCon Unique FullName Int Bool [Name] | OtherClass Unique FullName [Name] | OtherTopId Unique FullName | ClassOpName Unique Name _PackedString Int | Unbound _PackedString
-data FullName
-data ExportFlag
-data Module a b = Module _PackedString [IE] [ImportedInterface a b] [FixityDecl a] [TyDecl a] [DataTypeSig a] [ClassDecl a b] [InstDecl a b] [SpecialisedInstanceSig a] [DefaultDecl a] (Binds a b) [Sig a] SrcLoc
-data PprStyle
-type Pretty = Int -> Bool -> PrettyRep
-data PrettyRep
-data PrimKind
-data PrimOp
-data ProtoName
-type PreludeNameFun = _PackedString -> Labda Name
-type Arity = Int
-type ProtoNameModule = Module ProtoName (InPat ProtoName)
-type RenamedModule = Module Name (InPat Name)
-data SpecEnv
-data StrictnessInfo
-data ShortName
-data SrcLoc
-data TyCon
-data TyVar
-type TauType = UniType
-type TypecheckedModule = Module Id TypecheckedPat
-data UpdateInfo
-data UnfoldingGuidance
-data UniType
-data UniqFM a
-data Unique
-cmpInstanceTypes :: MonoType ProtoName -> MonoType ProtoName -> Int#
-collectBinders :: Bind a (InPat a) -> [a]
-collectMonoBinders :: MonoBinds a (InPat a) -> [a]
-collectMonoBindersAndLocs :: MonoBinds a (InPat a) -> [(a, SrcLoc)]
-collectPatBinders :: InPat a -> [a]
-collectQualBinders :: [Qual Name (InPat Name)] -> [Name]
-collectTopLevelBinders :: Binds a (InPat a) -> [a]
-collectTypedBinders :: Bind Id TypecheckedPat -> [Id]
-collectTypedPatBinders :: TypecheckedPat -> [Id]
-extractMonoTyNames :: (a -> a -> Bool) -> MonoType a -> [a]
-getNonPrelOuterTyCon :: MonoType ProtoName -> Labda ProtoName
-mkDictApp :: Expr Id TypecheckedPat -> [Id] -> Expr Id TypecheckedPat
-mkDictLam :: [Id] -> Expr Id TypecheckedPat -> Expr Id TypecheckedPat
-mkTyApp :: Expr Id TypecheckedPat -> [UniType] -> Expr Id TypecheckedPat
-mkTyLam :: [TyVar] -> Expr Id TypecheckedPat -> Expr Id TypecheckedPat
-nullBinds :: Binds a b -> Bool
-nullMonoBinds :: MonoBinds a b -> Bool
-eqConDecls :: [ConDecl ProtoName] -> [ConDecl ProtoName] -> Bool
-getIEStrings :: [IE] -> (FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ())
-getRawIEStrings :: [IE] -> ([(_PackedString, ExportFlag)], [_PackedString])
-negLiteral :: Literal -> Literal
-irrefutablePat :: TypecheckedPat -> Bool
-isConPat :: TypecheckedPat -> Bool
-isLitPat :: TypecheckedPat -> Bool
-patsAreAllCons :: [TypecheckedPat] -> Bool
-patsAreAllLits :: [TypecheckedPat] -> Bool
-typeOfPat :: TypecheckedPat -> UniType
-unfailablePat :: TypecheckedPat -> Bool
-unfailablePats :: [TypecheckedPat] -> Bool
-cmpPolyType :: (a -> a -> Int#) -> PolyType a -> PolyType a -> Int#
-eqMonoType :: MonoType ProtoName -> MonoType ProtoName -> Bool
-pprContext :: Outputable a => PprStyle -> [(a, a)] -> Int -> Bool -> PrettyRep
-instance Eq BasicLit
-instance Eq Class
-instance Eq ClassOp
-instance Eq Id
-instance Eq Demand
-instance Eq FBConsum
-instance Eq FBProd
-instance Eq FBType
-instance Eq UpdateInfo
-instance Eq Name
-instance Eq PrimKind
-instance Eq PrimOp
-instance Eq TyCon
-instance Eq TyVar
-instance Eq Unique
-instance OptIdInfo ArgUsageInfo
-instance OptIdInfo ArityInfo
-instance OptIdInfo DeforestInfo
-instance OptIdInfo DemandInfo
-instance OptIdInfo FBTypeInfo
-instance OptIdInfo SpecEnv
-instance OptIdInfo StrictnessInfo
-instance OptIdInfo UpdateInfo
-instance Ord BasicLit
-instance Ord Class
-instance Ord ClassOp
-instance Ord Id
-instance Ord Demand
-instance Ord UpdateInfo
-instance Ord Name
-instance Ord PrimKind
-instance Ord TyCon
-instance Ord TyVar
-instance Ord Unique
-instance NamedThing Class
-instance NamedThing a => NamedThing (InPat a)
-instance NamedThing TypecheckedPat
-instance NamedThing Id
-instance NamedThing Name
-instance NamedThing FullName
-instance NamedThing ShortName
-instance NamedThing ProtoName
-instance NamedThing TyCon
-instance NamedThing TyVar
-instance (Outputable a, Outputable b) => Outputable (a, b)
-instance (Outputable a, Outputable b, Outputable c) => Outputable (a, b, c)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Module a b)
-instance Outputable BasicLit
-instance Outputable Bool
-instance Outputable Class
-instance Outputable ClassOp
-instance Outputable a => Outputable (FiniteMap a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Bind a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Binds a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (MonoBinds a b)
-instance Outputable a => Outputable (Sig a)
-instance Outputable a => Outputable (UnfoldingCoreAtom a)
-instance Outputable a => Outputable (UnfoldingCoreExpr a)
-instance Outputable a => Outputable (UnfoldingPrimOp a)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ClassDecl a b)
-instance (NamedThing a, Outputable a) => Outputable (ConDecl a)
-instance (NamedThing a, Outputable a) => Outputable (DataTypeSig a)
-instance (NamedThing a, Outputable a) => Outputable (DefaultDecl a)
-instance (NamedThing a, Outputable a) => Outputable (FixityDecl a)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (InstDecl a b)
-instance (NamedThing a, Outputable a) => Outputable (SpecialisedInstanceSig a)
-instance (NamedThing a, Outputable a) => Outputable (TyDecl a)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ArithSeqInfo a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Expr a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Qual a b)
-instance Outputable IE
-instance Outputable IfaceImportDecl
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ImportedInterface a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Interface a b)
-instance Outputable Renaming
-instance Outputable Literal
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (GRHS a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (GRHSsAndBinds a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Match a b)
-instance Outputable a => Outputable (InPat a)
-instance Outputable TypecheckedPat
-instance Outputable a => Outputable (ClassOpPragmas a)
-instance Outputable a => Outputable (ClassPragmas a)
-instance Outputable a => Outputable (GenPragmas a)
-instance Outputable a => Outputable (InstancePragmas a)
-instance Outputable a => Outputable (MonoType a)
-instance Outputable a => Outputable (PolyType a)
-instance Outputable Id
-instance Outputable Demand
-instance Outputable Inst
-instance Outputable Name
-instance Outputable FullName
-instance Outputable ShortName
-instance Outputable PrimKind
-instance Outputable PrimOp
-instance Outputable ProtoName
-instance Outputable SrcLoc
-instance Outputable TyCon
-instance Outputable TyVar
-instance Outputable a => Outputable [a]
-instance Text Demand
-instance Text UpdateInfo
-instance Text Unique
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface AbsSynFuns where
-import HsBinds(Bind, Binds, MonoBinds)
-import HsDecls(ClassDecl, FixityDecl, InstDecl)
-import HsExpr(Expr, Qual)
-import HsImpExp(IE)
-import HsPat(InPat, TypecheckedPat)
-import HsTypes(MonoType)
-import Id(Id)
-import Maybes(Labda)
-import Name(Name)
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import RenameAuxFuns(PreludeNameFun(..))
-import SrcLoc(SrcLoc)
-import TyVar(TyVar)
-import UniType(UniType)
-type PreludeNameFun = _PackedString -> Labda Name
-cmpInstanceTypes :: MonoType ProtoName -> MonoType ProtoName -> Int#
-collectBinders :: Bind a (InPat a) -> [a]
-collectMonoBinders :: MonoBinds a (InPat a) -> [a]
-collectMonoBindersAndLocs :: MonoBinds a (InPat a) -> [(a, SrcLoc)]
-collectPatBinders :: InPat a -> [a]
-collectQualBinders :: [Qual Name (InPat Name)] -> [Name]
-collectTopLevelBinders :: Binds a (InPat a) -> [a]
-collectTypedBinders :: Bind Id TypecheckedPat -> [Id]
-collectTypedPatBinders :: TypecheckedPat -> [Id]
-extractMonoTyNames :: (a -> a -> Bool) -> MonoType a -> [a]
-getMentionedVars :: (_PackedString -> Labda Name) -> [IE] -> [FixityDecl ProtoName] -> [ClassDecl ProtoName (InPat ProtoName)] -> [InstDecl ProtoName (InPat ProtoName)] -> Binds ProtoName (InPat ProtoName) -> (Bool, [_PackedString])
-getNonPrelOuterTyCon :: MonoType ProtoName -> Labda ProtoName
-mkDictApp :: Expr Id TypecheckedPat -> [Id] -> Expr Id TypecheckedPat
-mkDictLam :: [Id] -> Expr Id TypecheckedPat -> Expr Id TypecheckedPat
-mkTyApp :: Expr Id TypecheckedPat -> [UniType] -> Expr Id TypecheckedPat
-mkTyLam :: [TyVar] -> Expr Id TypecheckedPat -> Expr Id TypecheckedPat
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsBinds where
-import HsExpr(Expr)
-import HsMatches(GRHSsAndBinds, Match)
-import HsPat(InPat, TypecheckedPat)
-import HsPragmas(ClassOpPragmas, GenPragmas)
-import HsTypes(PolyType)
-import Id(Id)
-import Inst(Inst)
-import Maybes(Labda)
-import Name(Name)
-import Outputable(NamedThing, Outputable)
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import SimplEnv(UnfoldingGuidance)
-import SrcLoc(SrcLoc)
-import TyVar(TyVar)
-data Bind a b = EmptyBind | NonRecBind (MonoBinds a b) | RecBind (MonoBinds a b)
-data Binds a b = EmptyBinds | ThenBinds (Binds a b) (Binds a b) | SingleBind (Bind a b) | BindWith (Bind a b) [Sig a] | AbsBinds [TyVar] [Id] [(Id, Id)] [(Inst, Expr a b)] (Bind a b)
-data MonoBinds a b = EmptyMonoBinds | AndMonoBinds (MonoBinds a b) (MonoBinds a b) | PatMonoBind b (GRHSsAndBinds a b) SrcLoc | VarMonoBind Id (Expr a b) | FunMonoBind a [Match a b] SrcLoc
-type ProtoNameBind = Bind ProtoName (InPat ProtoName)
-type ProtoNameBinds = Binds ProtoName (InPat ProtoName)
-type ProtoNameClassOpSig = Sig ProtoName
-type ProtoNameMonoBinds = MonoBinds ProtoName (InPat ProtoName)
-type ProtoNameSig = Sig ProtoName
-type RenamedBind = Bind Name (InPat Name)
-type RenamedBinds = Binds Name (InPat Name)
-type RenamedClassOpSig = Sig Name
-type RenamedMonoBinds = MonoBinds Name (InPat Name)
-type RenamedSig = Sig Name
-data Sig a = Sig a (PolyType a) (GenPragmas a) SrcLoc | ClassOpSig a (PolyType a) (ClassOpPragmas a) SrcLoc | SpecSig a (PolyType a) (Labda a) SrcLoc | InlineSig a UnfoldingGuidance SrcLoc | DeforestSig a SrcLoc | MagicUnfoldingSig a _PackedString SrcLoc
-type TypecheckedBind = Bind Id TypecheckedPat
-type TypecheckedBinds = Binds Id TypecheckedPat
-type TypecheckedMonoBinds = MonoBinds Id TypecheckedPat
-bindIsRecursive :: Bind Id TypecheckedPat -> Bool
-nullBind :: Bind a b -> Bool
-nullBinds :: Binds a b -> Bool
-nullMonoBinds :: MonoBinds a b -> Bool
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Bind a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Binds a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (MonoBinds a b)
-instance Outputable a => Outputable (Sig a)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsCore where
-import BasicLit(BasicLit)
-import HsTypes(MonoType, PolyType)
-import Maybes(Labda)
-import Outputable(Outputable)
-import PreludePS(_PackedString)
-import PrimOps(PrimOp)
-import ProtoName(ProtoName)
-data UfCostCentre a = UfPreludeDictsCC Bool | UfAllDictsCC _PackedString _PackedString Bool | UfUserCC _PackedString _PackedString _PackedString Bool Bool | UfAutoCC (UfId a) _PackedString _PackedString Bool Bool | UfDictCC (UfId a) _PackedString _PackedString Bool Bool
-data UfId a = BoringUfId a | SuperDictSelUfId a a | ClassOpUfId a a | DictFunUfId a (PolyType a) | ConstMethodUfId a a (PolyType a) | DefaultMethodUfId a a | SpecUfId (UfId a) [Labda (MonoType a)] | WorkerUfId (UfId a)
-data UnfoldingCoreAlts a = UfCoAlgAlts [(a, [(a, PolyType a)], UnfoldingCoreExpr a)] (UnfoldingCoreDefault a) | UfCoPrimAlts [(BasicLit, UnfoldingCoreExpr a)] (UnfoldingCoreDefault a)
-data UnfoldingCoreAtom a = UfCoVarAtom (UfId a) | UfCoLitAtom BasicLit
-data UnfoldingCoreBinding a = UfCoNonRec (a, PolyType a) (UnfoldingCoreExpr a) | UfCoRec [((a, PolyType a), UnfoldingCoreExpr a)]
-data UnfoldingCoreDefault a = UfCoNoDefault | UfCoBindDefault (a, PolyType a) (UnfoldingCoreExpr a)
-data UnfoldingCoreExpr a = UfCoVar (UfId a) | UfCoLit BasicLit | UfCoCon a [PolyType a] [UnfoldingCoreAtom a] | UfCoPrim (UnfoldingPrimOp a) [PolyType a] [UnfoldingCoreAtom a] | UfCoLam [(a, PolyType a)] (UnfoldingCoreExpr a) | UfCoTyLam a (UnfoldingCoreExpr a) | UfCoApp (UnfoldingCoreExpr a) (UnfoldingCoreAtom a) | UfCoTyApp (UnfoldingCoreExpr a) (PolyType a) | UfCoCase (UnfoldingCoreExpr a) (UnfoldingCoreAlts a) | UfCoLet (UnfoldingCoreBinding a) (UnfoldingCoreExpr a) | UfCoSCC (UfCostCentre a) (UnfoldingCoreExpr a)
-data UnfoldingPrimOp a = UfCCallOp _PackedString Bool Bool [PolyType a] (PolyType a) | UfOtherOp PrimOp
-type UnfoldingType a = PolyType a
-eqUfExpr :: UnfoldingCoreExpr ProtoName -> UnfoldingCoreExpr ProtoName -> Bool
-instance Outputable a => Outputable (UnfoldingCoreAtom a)
-instance Outputable a => Outputable (UnfoldingCoreExpr a)
-instance Outputable a => Outputable (UnfoldingPrimOp a)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsDecls where
-import HsBinds(MonoBinds, Sig)
-import HsPat(InPat)
-import HsPragmas(ClassPragmas, DataPragmas, InstancePragmas, TypePragmas)
-import HsTypes(MonoType)
-import Name(Name)
-import Outputable(NamedThing, Outputable)
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import SrcLoc(SrcLoc)
-data ClassDecl a b = ClassDecl [(a, a)] a a [Sig a] (MonoBinds a b) (ClassPragmas a) SrcLoc
-data ConDecl a = ConDecl a [MonoType a] SrcLoc
-data DataTypeSig a = AbstractTypeSig a SrcLoc | SpecDataSig a (MonoType a) SrcLoc
-data DefaultDecl a = DefaultDecl [MonoType a] SrcLoc
-data FixityDecl a = InfixL a Int | InfixR a Int | InfixN a Int
-data InstDecl a b = InstDecl [(a, a)] a (MonoType a) (MonoBinds a b) Bool _PackedString _PackedString [Sig a] (InstancePragmas a) SrcLoc
-type ProtoNameClassDecl = ClassDecl ProtoName (InPat ProtoName)
-type ProtoNameConDecl = ConDecl ProtoName
-type ProtoNameDataTypeSig = DataTypeSig ProtoName
-type ProtoNameDefaultDecl = DefaultDecl ProtoName
-type ProtoNameFixityDecl = FixityDecl ProtoName
-type ProtoNameInstDecl = InstDecl ProtoName (InPat ProtoName)
-type ProtoNameSpecialisedInstanceSig = SpecialisedInstanceSig ProtoName
-type ProtoNameTyDecl = TyDecl ProtoName
-type RenamedClassDecl = ClassDecl Name (InPat Name)
-type RenamedConDecl = ConDecl Name
-type RenamedDataTypeSig = DataTypeSig Name
-type RenamedDefaultDecl = DefaultDecl Name
-type RenamedFixityDecl = FixityDecl Name
-type RenamedInstDecl = InstDecl Name (InPat Name)
-type RenamedSpecialisedInstanceSig = SpecialisedInstanceSig Name
-type RenamedTyDecl = TyDecl Name
-data SpecialisedInstanceSig a = InstSpecSig a (MonoType a) SrcLoc
-data TyDecl a = TyData [(a, a)] a [a] [ConDecl a] [a] (DataPragmas a) SrcLoc | TySynonym a [a] (MonoType a) TypePragmas SrcLoc
-eqConDecls :: [ConDecl ProtoName] -> [ConDecl ProtoName] -> Bool
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ClassDecl a b)
-instance (NamedThing a, Outputable a) => Outputable (ConDecl a)
-instance (NamedThing a, Outputable a) => Outputable (DataTypeSig a)
-instance (NamedThing a, Outputable a) => Outputable (DefaultDecl a)
-instance (NamedThing a, Outputable a) => Outputable (FixityDecl a)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (InstDecl a b)
-instance (NamedThing a, Outputable a) => Outputable (SpecialisedInstanceSig a)
-instance (NamedThing a, Outputable a) => Outputable (TyDecl a)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsExpr where
-import HsBinds(Binds)
-import HsLit(Literal)
-import HsMatches(Match)
-import HsPat(InPat, TypecheckedPat)
-import HsTypes(PolyType)
-import Id(Id)
-import Name(Name)
-import Outputable(NamedThing, Outputable)
-import PreludePS(_PackedString)
-import Pretty(PprStyle, PrettyRep)
-import ProtoName(ProtoName)
-import TyVar(TyVar)
-import UniType(UniType)
-data ArithSeqInfo a b = From (Expr a b) | FromThen (Expr a b) (Expr a b) | FromTo (Expr a b) (Expr a b) | FromThenTo (Expr a b) (Expr a b) (Expr a b)
-data Expr a b = Var a | Lit Literal | Lam (Match a b) | App (Expr a b) (Expr a b) | OpApp (Expr a b) (Expr a b) (Expr a b) | SectionL (Expr a b) (Expr a b) | SectionR (Expr a b) (Expr a b) | CCall _PackedString [Expr a b] Bool Bool UniType | SCC _PackedString (Expr a b) | Case (Expr a b) [Match a b] | If (Expr a b) (Expr a b) (Expr a b) | Let (Binds a b) (Expr a b) | ListComp (Expr a b) [Qual a b] | ExplicitList [Expr a b] | ExplicitListOut UniType [Expr a b] | ExplicitTuple [Expr a b] | ExprWithTySig (Expr a b) (PolyType a) | ArithSeqIn (ArithSeqInfo a b) | ArithSeqOut (Expr a b) (ArithSeqInfo a b) | TyLam [TyVar] (Expr a b) | TyApp (Expr a b) [UniType] | DictLam [Id] (Expr a b) | DictApp (Expr a b) [Id] | ClassDictLam [Id] [Id] (Expr a b) | Dictionary [Id] [Id] | SingleDict Id
-type ProtoNameArithSeqInfo = ArithSeqInfo ProtoName (InPat ProtoName)
-type ProtoNameExpr = Expr ProtoName (InPat ProtoName)
-type ProtoNameQual = Qual ProtoName (InPat ProtoName)
-data Qual a b = GeneratorQual b (Expr a b) | FilterQual (Expr a b)
-type RenamedArithSeqInfo = ArithSeqInfo Name (InPat Name)
-type RenamedExpr = Expr Name (InPat Name)
-type RenamedQual = Qual Name (InPat Name)
-type TypecheckedArithSeqInfo = ArithSeqInfo Id TypecheckedPat
-type TypecheckedExpr = Expr Id TypecheckedPat
-type TypecheckedQual = Qual Id TypecheckedPat
-pprExpr :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Expr a b -> Int -> Bool -> PrettyRep
-pprParendExpr :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Expr a b -> Int -> Bool -> PrettyRep
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ArithSeqInfo a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Expr a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Qual a b)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsImpExp where
-import FiniteMap(FiniteMap)
-import HsBinds(Sig)
-import HsDecls(ClassDecl, FixityDecl, InstDecl, TyDecl)
-import HsPat(InPat)
-import Name(Name)
-import Outputable(ExportFlag, NamedThing, Outputable)
-import PreludePS(_PackedString)
-import Pretty(PprStyle, PrettyRep)
-import ProtoName(ProtoName)
-import SrcLoc(SrcLoc)
-data IE = IEVar _PackedString | IEThingAbs _PackedString | IEThingAll _PackedString | IEConWithCons _PackedString [_PackedString] | IEClsWithOps _PackedString [_PackedString] | IEModuleContents _PackedString
-data IfaceImportDecl = IfaceImportDecl _PackedString [IE] [Renaming] SrcLoc
-type ImExportListInfo = (FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ())
-data ImportedInterface a b = ImportAll (Interface a b) [Renaming] | ImportSome (Interface a b) [IE] [Renaming] | ImportButHide (Interface a b) [IE] [Renaming]
-data Interface a b = MkInterface _PackedString [IfaceImportDecl] [FixityDecl a] [TyDecl a] [ClassDecl a b] [InstDecl a b] [Sig a] SrcLoc
-type ProtoNameImportedInterface = ImportedInterface ProtoName (InPat ProtoName)
-type ProtoNameInterface = Interface ProtoName (InPat ProtoName)
-type RenamedImportedInterface = ImportedInterface Name (InPat Name)
-type RenamedInterface = Interface Name (InPat Name)
-data Renaming = MkRenaming _PackedString _PackedString
-getIEStrings :: [IE] -> (FiniteMap _PackedString ExportFlag, FiniteMap _PackedString ())
-getRawIEStrings :: [IE] -> ([(_PackedString, ExportFlag)], [_PackedString])
-pprRenamings :: PprStyle -> [Renaming] -> Int -> Bool -> PrettyRep
-instance Outputable IE
-instance Outputable IfaceImportDecl
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (ImportedInterface a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Interface a b)
-instance Outputable Renaming
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsLit where
-import Outputable(Outputable)
-import PreludePS(_PackedString)
-import PreludeRatio(Ratio(..))
-import UniType(UniType)
-data Literal = CharLit Char | CharPrimLit Char | StringLit _PackedString | StringPrimLit _PackedString | IntLit Integer | FracLit (Ratio Integer) | LitLitLitIn _PackedString | LitLitLit _PackedString UniType | IntPrimLit Integer | FloatPrimLit (Ratio Integer) | DoublePrimLit (Ratio Integer)
-negLiteral :: Literal -> Literal
-instance Outputable Literal
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsMatches where
-import HsBinds(Binds)
-import HsExpr(Expr)
-import HsPat(InPat, TypecheckedPat)
-import Id(Id)
-import Name(Name)
-import Outputable(NamedThing, Outputable)
-import Pretty(PprStyle, PrettyRep)
-import ProtoName(ProtoName)
-import SrcLoc(SrcLoc)
-import UniType(UniType)
-data GRHS a b = GRHS (Expr a b) (Expr a b) SrcLoc | OtherwiseGRHS (Expr a b) SrcLoc
-data GRHSsAndBinds a b = GRHSsAndBindsIn [GRHS a b] (Binds a b) | GRHSsAndBindsOut [GRHS a b] (Binds a b) UniType
-data Match a b = PatMatch b (Match a b) | GRHSMatch (GRHSsAndBinds a b)
-type ProtoNameGRHS = GRHS ProtoName (InPat ProtoName)
-type ProtoNameGRHSsAndBinds = GRHSsAndBinds ProtoName (InPat ProtoName)
-type ProtoNameMatch = Match ProtoName (InPat ProtoName)
-type RenamedGRHS = GRHS Name (InPat Name)
-type RenamedGRHSsAndBinds = GRHSsAndBinds Name (InPat Name)
-type RenamedMatch = Match Name (InPat Name)
-type TypecheckedGRHS = GRHS Id TypecheckedPat
-type TypecheckedGRHSsAndBinds = GRHSsAndBinds Id TypecheckedPat
-type TypecheckedMatch = Match Id TypecheckedPat
-pprGRHS :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Bool -> GRHS a b -> Int -> Bool -> PrettyRep
-pprGRHSsAndBinds :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Bool -> GRHSsAndBinds a b -> Int -> Bool -> PrettyRep
-pprMatch :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> Bool -> Match a b -> Int -> Bool -> PrettyRep
-pprMatches :: (NamedThing a, Outputable a, NamedThing b, Outputable b) => PprStyle -> (Bool, Int -> Bool -> PrettyRep) -> [Match a b] -> Int -> Bool -> PrettyRep
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (GRHS a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (GRHSsAndBinds a b)
-instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Match a b)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsPat where
-import HsExpr(Expr)
-import HsLit(Literal)
-import Id(Id)
-import Name(Name)
-import Outputable(NamedThing, Outputable)
-import Pretty(PprStyle, PrettyRep)
-import ProtoName(ProtoName)
-import UniType(UniType)
-data InPat a = WildPatIn | VarPatIn a | LitPatIn Literal | LazyPatIn (InPat a) | AsPatIn a (InPat a) | ConPatIn a [InPat a] | ConOpPatIn (InPat a) a (InPat a) | ListPatIn [InPat a] | TuplePatIn [InPat a] | NPlusKPatIn a Literal
-type ProtoNamePat = InPat ProtoName
-type RenamedPat = InPat Name
-data TypecheckedPat = WildPat UniType | VarPat Id | LazyPat TypecheckedPat | AsPat Id TypecheckedPat | ConPat Id UniType [TypecheckedPat] | ConOpPat TypecheckedPat Id TypecheckedPat UniType | ListPat UniType [TypecheckedPat] | TuplePat [TypecheckedPat] | LitPat Literal UniType | NPat Literal UniType (Expr Id TypecheckedPat) | NPlusKPat Id Literal UniType (Expr Id TypecheckedPat) (Expr Id TypecheckedPat) (Expr Id TypecheckedPat)
-irrefutablePat :: TypecheckedPat -> Bool
-isConPat :: TypecheckedPat -> Bool
-isLitPat :: TypecheckedPat -> Bool
-only_con :: Id -> Bool
-patsAreAllCons :: [TypecheckedPat] -> Bool
-patsAreAllLits :: [TypecheckedPat] -> Bool
-pprConPatTy :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-pprInPat :: Outputable a => PprStyle -> InPat a -> Int -> Bool -> PrettyRep
-pprTypecheckedPat :: PprStyle -> TypecheckedPat -> Int -> Bool -> PrettyRep
-typeOfPat :: TypecheckedPat -> UniType
-unfailablePat :: TypecheckedPat -> Bool
-unfailablePats :: [TypecheckedPat] -> Bool
-instance NamedThing a => NamedThing (InPat a)
-instance NamedThing TypecheckedPat
-instance Outputable a => Outputable (InPat a)
-instance Outputable TypecheckedPat
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsPragmas where
-import HsCore(UnfoldingCoreExpr)
-import HsDecls(ConDecl)
-import HsTypes(MonoType)
-import IdInfo(DeforestInfo, Demand, UpdateInfo)
-import Maybes(Labda)
-import Name(Name)
-import Outputable(Outputable)
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import SimplEnv(UnfoldingGuidance)
-data ClassOpPragmas a = NoClassOpPragmas | ClassOpPragmas (GenPragmas a) (GenPragmas a)
-data ClassPragmas a = NoClassPragmas | SuperDictPragmas [GenPragmas a]
-data DataPragmas a = DataPragmas [ConDecl a] [[Labda (MonoType a)]]
-data GenPragmas a = NoGenPragmas | GenPragmas (Labda Int) (Labda UpdateInfo) DeforestInfo (ImpStrictness a) (ImpUnfolding a) [([Labda (MonoType a)], Int, GenPragmas a)]
-data ImpStrictness a = NoImpStrictness | ImpStrictness Bool [Demand] (GenPragmas a)
-data ImpUnfolding a = NoImpUnfolding | ImpMagicUnfolding _PackedString | ImpUnfolding UnfoldingGuidance (UnfoldingCoreExpr a)
-data InstancePragmas a = NoInstancePragmas | SimpleInstancePragma (GenPragmas a) | ConstantInstancePragma (GenPragmas a) [(a, GenPragmas a)] | SpecialisedInstancePragma (GenPragmas a) [([Labda (MonoType a)], Int, InstancePragmas a)]
-type ProtoNameClassOpPragmas = ClassOpPragmas ProtoName
-type ProtoNameClassPragmas = ClassPragmas ProtoName
-type ProtoNameDataPragmas = DataPragmas ProtoName
-type ProtoNameGenPragmas = GenPragmas ProtoName
-type ProtoNameInstancePragmas = InstancePragmas ProtoName
-type ProtoNameUnfoldingCoreExpr = UnfoldingCoreExpr ProtoName
-type RenamedClassOpPragmas = ClassOpPragmas Name
-type RenamedClassPragmas = ClassPragmas Name
-type RenamedDataPragmas = DataPragmas Name
-type RenamedGenPragmas = GenPragmas Name
-type RenamedImpStrictness = ImpStrictness Name
-type RenamedInstancePragmas = InstancePragmas Name
-data TypePragmas = NoTypePragmas | AbstractTySynonym
-instance Outputable a => Outputable (ClassOpPragmas a)
-instance Outputable a => Outputable (ClassPragmas a)
-instance Outputable a => Outputable (GenPragmas a)
-instance Outputable a => Outputable (InstancePragmas a)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsTypes where
-import Name(Name)
-import Outputable(Outputable)
-import Pretty(PprStyle, PrettyRep)
-import ProtoName(ProtoName)
-type ClassAssertion a = (a, a)
-type Context a = [(a, a)]
-data MonoType a = MonoTyVar a | MonoTyCon a [MonoType a] | FunMonoTy (MonoType a) (MonoType a) | ListMonoTy (MonoType a) | TupleMonoTy [PolyType a] | MonoTyVarTemplate a | MonoDict a (MonoType a)
-data PolyType a = UnoverloadedTy (MonoType a) | OverloadedTy [(a, a)] (MonoType a) | ForAllTy [a] (MonoType a)
-type ProtoNameContext = [(ProtoName, ProtoName)]
-type ProtoNameMonoType = MonoType ProtoName
-type ProtoNamePolyType = PolyType ProtoName
-type RenamedContext = [(Name, Name)]
-type RenamedMonoType = MonoType Name
-type RenamedPolyType = PolyType Name
-cmpList :: (a -> a -> Int#) -> [a] -> [a] -> Int#
-cmpMonoType :: (a -> a -> Int#) -> MonoType a -> MonoType a -> Int#
-cmpPolyType :: (a -> a -> Int#) -> PolyType a -> PolyType a -> Int#
-eqMonoType :: MonoType ProtoName -> MonoType ProtoName -> Bool
-pprContext :: Outputable a => PprStyle -> [(a, a)] -> Int -> Bool -> PrettyRep
-pprParendMonoType :: Outputable a => PprStyle -> MonoType a -> Int -> Bool -> PrettyRep
-instance Outputable a => Outputable (MonoType a)
-instance Outputable a => Outputable (PolyType a)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface Name where
-import Id(Id)
-import NameTypes(FullName, ShortName)
-import Outputable(NamedThing, Outputable)
-import PreludePS(_PackedString)
-import TyCon(TyCon)
-import Unique(Unique)
-data Id
-data FullName
-data Name = Short Unique ShortName | WiredInTyCon TyCon | WiredInVal Id | PreludeVal Unique FullName | PreludeTyCon Unique FullName Int Bool | PreludeClass Unique FullName | OtherTyCon Unique FullName Int Bool [Name] | OtherClass Unique FullName [Name] | OtherTopId Unique FullName | ClassOpName Unique Name _PackedString Int | Unbound _PackedString
-data ShortName
-data TyCon
-data Unique
-cmpName :: Name -> Name -> Int#
-eqName :: Name -> Name -> Bool
-getTagFromClassOpName :: Name -> Int
-invisibleName :: Name -> Bool
-isClassName :: Name -> Bool
-isClassOpName :: Name -> Name -> Bool
-isTyConName :: Name -> Bool
-isUnboundName :: Name -> Bool
-instance Eq Name
-instance Ord Name
-instance NamedThing Name
-instance Outputable Name
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface AbsUniType where
-import Bag(Bag)
-import Class(Class, ClassOp, cmpClass, derivableClassKeys, getClassBigSig, getClassInstEnv, getClassKey, getClassOpId, getClassOpLocalType, getClassOpString, getClassOpTag, getClassOps, getClassSig, getConstMethodId, getDefaultMethodId, getSuperDictSelId, isNumericClass, isStandardClass, isSuperClassOf, mkClass, mkClassOp)
-import CmdLineOpts(GlobalSwitch)
-import Id(DataCon(..), Id)
-import IdEnv(IdEnv(..))
-import InstEnv(ClassInstEnv(..), InstTemplate, MatchEnv(..))
-import Maybes(Labda)
-import Name(Name)
-import NameTypes(FullName, ShortName)
-import Outputable(ExportFlag, NamedThing, Outputable)
-import PreludePS(_PackedString)
-import Pretty(PprStyle, Pretty(..), PrettyRep)
-import PrimKind(PrimKind)
-import SimplEnv(UnfoldingDetails)
-import TyCon(Arity(..), TyCon, cmpTyCon, derivedFor, eqTyCon, getTyConArity, getTyConDataCons, getTyConDerivings, getTyConFamilySize, getTyConKind, getTyConTyVarTemplates, isBigTupleTyCon, isBoxedTyCon, isDataTyCon, isEnumerationTyCon, isLocalGenTyCon, isLocalSpecTyCon, isPrimTyCon, isSynTyCon, isTupleTyCon, isVisibleSynTyCon, maybeCharLikeTyCon, maybeDoubleLikeTyCon, maybeFloatLikeTyCon, maybeIntLikeTyCon, maybeSingleConstructorTyCon, mkDataTyCon, mkPrimTyCon, mkSpecTyCon, mkSynonymTyCon, mkTupleTyCon)
-import TyVar(TyVar, TyVarTemplate, alphaTyVars, alpha_tv, alpha_tyvar, beta_tv, beta_tyvar, cloneTyVar, cloneTyVarFromTemplate, cmpTyVar, delta_tv, delta_tyvar, epsilon_tv, epsilon_tyvar, eqTyVar, gamma_tv, gamma_tyvar, instantiateTyVarTemplates, ltTyVar, mkOpenSysTyVar, mkPolySysTyVar, mkSysTyVarTemplate, mkTemplateTyVars, mkUserTyVar, mkUserTyVarTemplate)
-import TyVarEnv(TyVarEnv(..), TypeEnv(..))
-import UniTyFuns(applyNonSynTyCon, applySynTyCon, applyTy, applyTyCon, applyTypeEnvToThetaTy, applyTypeEnvToTy, cmpUniTypeMaybeList, expandVisibleTySyn, extractTyVarTemplatesFromTy, extractTyVarsFromTy, extractTyVarsFromTys, funResultTy, getMentionedTyCons, getMentionedTyConsAndClassesFromClass, getMentionedTyConsAndClassesFromTyCon, getMentionedTyConsAndClassesFromUniType, getTauType, getTyVar, getTyVarMaybe, getTyVarTemplateMaybe, getTypeString, getUniDataSpecTyCon, getUniDataSpecTyCon_maybe, getUniDataTyCon, getUniDataTyCon_maybe, getUniTyDescription, glueTyArgs, instanceIsExported, isDictTy, isForAllTy, isFunType, isGroundOrTyVarTy, isGroundTy, isLeakFreeType, isPrimType, isTauTy, isTyVarTemplateTy, isTyVarTy, isUnboxedDataType, kindFromType, mapOverTyVars, matchTy, maybeBoxedPrimType, maybePurelyLocalClass, maybePurelyLocalTyCon, maybePurelyLocalType, maybeUnpackFunTy, mkSuperDictSelType, pprClassOp, pprIfaceClass, pprMaybeTy, pprParendUniType, pprTyCon, pprUniType, returnsRealWorld, showTyCon, showTypeCategory, specMaybeTysSuffix, specialiseTy, splitDictType, splitForalls, splitTyArgs, splitType, splitTypeWithDictsAsArgs, typeMaybeString, unDictifyTy)
-import UniType(InstTyEnv(..), RhoType(..), SigmaType(..), TauType(..), ThetaType(..), UniType, alpha, alpha_ty, beta, beta_ty, cmpUniType, delta, delta_ty, epsilon, epsilon_ty, gamma, gamma_ty, instantiateTauTy, instantiateThetaTy, instantiateTy, mkDictTy, mkForallTy, mkRhoTy, mkSigmaTy, mkTyVarTemplateTy, mkTyVarTy, quantifyTy)
-import UniqFM(UniqFM)
-import Unique(Unique)
-data Bag a
-data Class
-data ClassOp
-data GlobalSwitch
-type DataCon = Id
-data Id
-type IdEnv a = UniqFM a
-type ClassInstEnv = [(UniType, InstTemplate)]
-data InstTemplate
-type MatchEnv a b = [(a, b)]
-data Labda a
-data Name
-data FullName
-data ShortName
-data ExportFlag
-data PprStyle
-type Pretty = Int -> Bool -> PrettyRep
-data PrettyRep
-data PrimKind
-data UnfoldingDetails
-type Arity = Int
-data TyCon
-data TyVar
-data TyVarTemplate
-type TyVarEnv a = UniqFM a
-type TypeEnv = UniqFM UniType
-type InstTyEnv = [(TyVarTemplate, UniType)]
-type RhoType = UniType
-type SigmaType = UniType
-type TauType = UniType
-type ThetaType = [(Class, UniType)]
-data UniType
-data UniqFM a
-data Unique
-cmpClass :: Class -> Class -> Int#
-derivableClassKeys :: [Unique]
-getClassBigSig :: Class -> (TyVarTemplate, [Class], [Id], [ClassOp], [Id], [Id])
-getClassInstEnv :: Class -> [(UniType, InstTemplate)]
-getClassKey :: Class -> Unique
-getClassOpId :: Class -> ClassOp -> Id
-getClassOpLocalType :: ClassOp -> UniType
-getClassOpString :: ClassOp -> _PackedString
-getClassOpTag :: ClassOp -> Int
-getClassOps :: Class -> [ClassOp]
-getClassSig :: Class -> (TyVarTemplate, [Class], [ClassOp])
-getConstMethodId :: Class -> ClassOp -> UniType -> Id
-getDefaultMethodId :: Class -> ClassOp -> Id
-getSuperDictSelId :: Class -> Class -> Id
-isNumericClass :: Class -> Bool
-isStandardClass :: Class -> Bool
-isSuperClassOf :: Class -> Class -> Labda [Class]
-mkClass :: Name -> TyVarTemplate -> [Class] -> [Id] -> [ClassOp] -> [Id] -> [Id] -> [(UniType, InstTemplate)] -> Class
-mkClassOp :: _PackedString -> Int -> UniType -> ClassOp
-cmpTyCon :: TyCon -> TyCon -> Int#
-derivedFor :: Class -> TyCon -> Bool
-eqTyCon :: TyCon -> TyCon -> Bool
-getTyConArity :: TyCon -> Int
-getTyConDataCons :: TyCon -> [Id]
-getTyConDerivings :: TyCon -> [Class]
-getTyConFamilySize :: TyCon -> Labda Int
-getTyConKind :: TyCon -> [PrimKind] -> PrimKind
-getTyConTyVarTemplates :: TyCon -> [TyVarTemplate]
-isBigTupleTyCon :: TyCon -> Bool
-isBoxedTyCon :: TyCon -> Bool
-isDataTyCon :: TyCon -> Bool
-isEnumerationTyCon :: TyCon -> Bool
-isLocalGenTyCon :: TyCon -> Bool
-isLocalSpecTyCon :: Bool -> TyCon -> Bool
-isPrimTyCon :: TyCon -> Bool
-isSynTyCon :: TyCon -> Bool
-isTupleTyCon :: TyCon -> Bool
-isVisibleSynTyCon :: TyCon -> Bool
-maybeCharLikeTyCon :: TyCon -> Labda Id
-maybeDoubleLikeTyCon :: TyCon -> Labda Id
-maybeFloatLikeTyCon :: TyCon -> Labda Id
-maybeIntLikeTyCon :: TyCon -> Labda Id
-maybeSingleConstructorTyCon :: TyCon -> Labda Id
-mkDataTyCon :: Unique -> FullName -> Int -> [TyVarTemplate] -> [Id] -> [Class] -> Bool -> TyCon
-mkPrimTyCon :: Unique -> FullName -> Int -> ([PrimKind] -> PrimKind) -> TyCon
-mkSpecTyCon :: TyCon -> [Labda UniType] -> TyCon
-mkSynonymTyCon :: Unique -> FullName -> Int -> [TyVarTemplate] -> UniType -> Bool -> TyCon
-mkTupleTyCon :: Int -> TyCon
-alphaTyVars :: [TyVarTemplate]
-alpha_tv :: TyVarTemplate
-alpha_tyvar :: TyVar
-beta_tv :: TyVarTemplate
-beta_tyvar :: TyVar
-cloneTyVar :: TyVar -> Unique -> TyVar
-cloneTyVarFromTemplate :: TyVarTemplate -> Unique -> TyVar
-cmpTyVar :: TyVar -> TyVar -> Int#
-delta_tv :: TyVarTemplate
-delta_tyvar :: TyVar
-epsilon_tv :: TyVarTemplate
-epsilon_tyvar :: TyVar
-eqTyVar :: TyVar -> TyVar -> Bool
-gamma_tv :: TyVarTemplate
-gamma_tyvar :: TyVar
-instantiateTyVarTemplates :: [TyVarTemplate] -> [Unique] -> ([(TyVarTemplate, UniType)], [TyVar], [UniType])
-ltTyVar :: TyVar -> TyVar -> Bool
-mkOpenSysTyVar :: Unique -> TyVar
-mkPolySysTyVar :: Unique -> TyVar
-mkSysTyVarTemplate :: Unique -> _PackedString -> TyVarTemplate
-mkTemplateTyVars :: [TyVar] -> [TyVarTemplate]
-mkUserTyVar :: Unique -> ShortName -> TyVar
-mkUserTyVarTemplate :: Unique -> ShortName -> TyVarTemplate
-applyNonSynTyCon :: TyCon -> [UniType] -> UniType
-applySynTyCon :: TyCon -> [UniType] -> UniType
-applyTy :: UniType -> UniType -> UniType
-applyTyCon :: TyCon -> [UniType] -> UniType
-applyTypeEnvToThetaTy :: UniqFM UniType -> [(a, UniType)] -> [(a, UniType)]
-applyTypeEnvToTy :: UniqFM UniType -> UniType -> UniType
-cmpUniTypeMaybeList :: [Labda UniType] -> [Labda UniType] -> Int#
-expandVisibleTySyn :: UniType -> UniType
-extractTyVarTemplatesFromTy :: UniType -> [TyVarTemplate]
-extractTyVarsFromTy :: UniType -> [TyVar]
-extractTyVarsFromTys :: [UniType] -> [TyVar]
-funResultTy :: UniType -> Int -> UniType
-getMentionedTyCons :: TyCon -> [TyCon]
-getMentionedTyConsAndClassesFromClass :: Class -> (Bag TyCon, Bag Class)
-getMentionedTyConsAndClassesFromTyCon :: TyCon -> (Bag TyCon, Bag Class)
-getMentionedTyConsAndClassesFromUniType :: UniType -> (Bag TyCon, Bag Class)
-getTauType :: UniType -> UniType
-getTyVar :: [Char] -> UniType -> TyVar
-getTyVarMaybe :: UniType -> Labda TyVar
-getTyVarTemplateMaybe :: UniType -> Labda TyVarTemplate
-getTypeString :: UniType -> [_PackedString]
-getUniDataSpecTyCon :: UniType -> (TyCon, [UniType], [Id])
-getUniDataSpecTyCon_maybe :: UniType -> Labda (TyCon, [UniType], [Id])
-getUniDataTyCon :: UniType -> (TyCon, [UniType], [Id])
-getUniDataTyCon_maybe :: UniType -> Labda (TyCon, [UniType], [Id])
-getUniTyDescription :: UniType -> [Char]
-glueTyArgs :: [UniType] -> UniType -> UniType
-instanceIsExported :: Class -> UniType -> Bool -> Bool
-isDictTy :: UniType -> Bool
-isForAllTy :: UniType -> Bool
-isFunType :: UniType -> Bool
-isGroundOrTyVarTy :: UniType -> Bool
-isGroundTy :: UniType -> Bool
-isLeakFreeType :: [TyCon] -> UniType -> Bool
-isPrimType :: UniType -> Bool
-isTauTy :: UniType -> Bool
-isTyVarTemplateTy :: UniType -> Bool
-isTyVarTy :: UniType -> Bool
-isUnboxedDataType :: UniType -> Bool
-kindFromType :: UniType -> PrimKind
-mapOverTyVars :: (TyVar -> UniType) -> UniType -> UniType
-matchTy :: UniType -> UniType -> Labda [(TyVarTemplate, UniType)]
-maybeBoxedPrimType :: UniType -> Labda (Id, UniType)
-maybePurelyLocalClass :: Class -> Labda [Int -> Bool -> PrettyRep]
-maybePurelyLocalTyCon :: TyCon -> Labda [Int -> Bool -> PrettyRep]
-maybePurelyLocalType :: UniType -> Labda [Int -> Bool -> PrettyRep]
-maybeUnpackFunTy :: UniType -> Labda (UniType, UniType)
-mkSuperDictSelType :: Class -> Class -> UniType
-pprClassOp :: PprStyle -> ClassOp -> Int -> Bool -> PrettyRep
-pprIfaceClass :: (GlobalSwitch -> Bool) -> (Id -> Id) -> UniqFM UnfoldingDetails -> Class -> Int -> Bool -> PrettyRep
-pprMaybeTy :: PprStyle -> Labda UniType -> Int -> Bool -> PrettyRep
-pprParendUniType :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-pprTyCon :: PprStyle -> TyCon -> [[Labda UniType]] -> Int -> Bool -> PrettyRep
-pprUniType :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-returnsRealWorld :: UniType -> Bool
-showTyCon :: PprStyle -> TyCon -> [Char]
-showTypeCategory :: UniType -> Char
-specMaybeTysSuffix :: [Labda UniType] -> _PackedString
-specialiseTy :: UniType -> [Labda UniType] -> Int -> UniType
-splitDictType :: UniType -> (Class, UniType)
-splitForalls :: UniType -> ([TyVarTemplate], UniType)
-splitTyArgs :: UniType -> ([UniType], UniType)
-splitType :: UniType -> ([TyVarTemplate], [(Class, UniType)], UniType)
-splitTypeWithDictsAsArgs :: UniType -> ([TyVarTemplate], [UniType], UniType)
-typeMaybeString :: Labda UniType -> [_PackedString]
-unDictifyTy :: UniType -> UniType
-alpha :: UniType
-alpha_ty :: UniType
-beta :: UniType
-beta_ty :: UniType
-cmpUniType :: Bool -> UniType -> UniType -> Int#
-delta :: UniType
-delta_ty :: UniType
-epsilon :: UniType
-epsilon_ty :: UniType
-gamma :: UniType
-gamma_ty :: UniType
-instantiateTauTy :: [(TyVarTemplate, UniType)] -> UniType -> UniType
-instantiateThetaTy :: [(TyVarTemplate, UniType)] -> [(Class, UniType)] -> [(Class, UniType)]
-instantiateTy :: [(TyVarTemplate, UniType)] -> UniType -> UniType
-mkDictTy :: Class -> UniType -> UniType
-mkForallTy :: [TyVarTemplate] -> UniType -> UniType
-mkRhoTy :: [(Class, UniType)] -> UniType -> UniType
-mkSigmaTy :: [TyVarTemplate] -> [(Class, UniType)] -> UniType -> UniType
-mkTyVarTemplateTy :: TyVarTemplate -> UniType
-mkTyVarTy :: TyVar -> UniType
-quantifyTy :: [TyVar] -> UniType -> ([TyVarTemplate], UniType)
-instance Eq Class
-instance Eq ClassOp
-instance Eq TyCon
-instance Eq TyVar
-instance Eq TyVarTemplate
-instance Eq UniType
-instance Eq Unique
-instance Ord Class
-instance Ord ClassOp
-instance Ord TyCon
-instance Ord TyVar
-instance Ord TyVarTemplate
-instance Ord Unique
-instance NamedThing Class
-instance NamedThing FullName
-instance NamedThing ShortName
-instance NamedThing TyCon
-instance NamedThing TyVar
-instance NamedThing TyVarTemplate
-instance Outputable Class
-instance Outputable ClassOp
-instance Outputable FullName
-instance Outputable ShortName
-instance Outputable TyCon
-instance Outputable TyVar
-instance Outputable TyVarTemplate
-instance Outputable UniType
-instance Text Unique
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface Class where
-import Id(Id)
-import InstEnv(InstTemplate)
-import Maybes(Labda)
-import Name(Name)
-import NameTypes(FullName, ShortName)
-import Outputable(NamedThing, Outputable)
-import PreludePS(_PackedString)
-import TyCon(TyCon)
-import TyVar(TyVarTemplate)
-import UniType(UniType)
-import Unique(Unique)
-data Class = MkClass Unique FullName TyVarTemplate [Class] [Id] [ClassOp] [Id] [Id] [(UniType, InstTemplate)] [(Class, [Class])]
-data ClassOp = MkClassOp _PackedString Int UniType
-data Id
-data InstTemplate
-data Labda a
-data Name
-data FullName
-data TyVarTemplate
-data UniType
-data Unique
-cmpClass :: Class -> Class -> Int#
-derivableClassKeys :: [Unique]
-getClassBigSig :: Class -> (TyVarTemplate, [Class], [Id], [ClassOp], [Id], [Id])
-getClassInstEnv :: Class -> [(UniType, InstTemplate)]
-getClassKey :: Class -> Unique
-getClassOpId :: Class -> ClassOp -> Id
-getClassOpLocalType :: ClassOp -> UniType
-getClassOpString :: ClassOp -> _PackedString
-getClassOpTag :: ClassOp -> Int
-getClassOps :: Class -> [ClassOp]
-getClassSig :: Class -> (TyVarTemplate, [Class], [ClassOp])
-getConstMethodId :: Class -> ClassOp -> UniType -> Id
-getDefaultMethodId :: Class -> ClassOp -> Id
-getSuperDictSelId :: Class -> Class -> Id
-isNumericClass :: Class -> Bool
-isStandardClass :: Class -> Bool
-isSuperClassOf :: Class -> Class -> Labda [Class]
-mkClass :: Name -> TyVarTemplate -> [Class] -> [Id] -> [ClassOp] -> [Id] -> [Id] -> [(UniType, InstTemplate)] -> Class
-mkClassOp :: _PackedString -> Int -> UniType -> ClassOp
-instance Eq Class
-instance Eq ClassOp
-instance Ord Class
-instance Ord ClassOp
-instance NamedThing Class
-instance Outputable Class
-instance Outputable ClassOp
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface TyCon where
-import Class(Class, ClassOp)
-import Id(DataCon(..), Id)
-import InstEnv(InstTemplate)
-import Maybes(Labda)
-import NameTypes(FullName)
-import Outputable(NamedThing, Outputable)
-import PrimKind(PrimKind)
-import TyVar(TyVar, TyVarTemplate)
-import UniType(UniType)
-import Unique(Unique)
-type Arity = Int
-data Class
-type DataCon = Id
-data Id
-data Labda a
-data FullName
-data PrimKind
-data TyCon = SynonymTyCon Unique FullName Int [TyVarTemplate] UniType Bool | DataTyCon Unique FullName Int [TyVarTemplate] [Id] [Class] Bool | TupleTyCon Int | PrimTyCon Unique FullName Int ([PrimKind] -> PrimKind) | SpecTyCon TyCon [Labda UniType]
-data TyVarTemplate
-data UniType
-data Unique
-cmpTyCon :: TyCon -> TyCon -> Int#
-derivedFor :: Class -> TyCon -> Bool
-eqTyCon :: TyCon -> TyCon -> Bool
-getTyConArity :: TyCon -> Int
-getTyConDataCons :: TyCon -> [Id]
-getTyConDerivings :: TyCon -> [Class]
-getTyConFamilySize :: TyCon -> Labda Int
-getTyConKind :: TyCon -> [PrimKind] -> PrimKind
-getTyConTyVarTemplates :: TyCon -> [TyVarTemplate]
-isBigTupleTyCon :: TyCon -> Bool
-isBoxedTyCon :: TyCon -> Bool
-isDataTyCon :: TyCon -> Bool
-isEnumerationTyCon :: TyCon -> Bool
-isLocalGenTyCon :: TyCon -> Bool
-isLocalSpecTyCon :: Bool -> TyCon -> Bool
-isPrimTyCon :: TyCon -> Bool
-isSynTyCon :: TyCon -> Bool
-isTupleTyCon :: TyCon -> Bool
-isVisibleSynTyCon :: TyCon -> Bool
-maybeCharLikeTyCon :: TyCon -> Labda Id
-maybeDoubleLikeTyCon :: TyCon -> Labda Id
-maybeFloatLikeTyCon :: TyCon -> Labda Id
-maybeIntLikeTyCon :: TyCon -> Labda Id
-maybeSingleConstructorTyCon :: TyCon -> Labda Id
-mkDataTyCon :: Unique -> FullName -> Int -> [TyVarTemplate] -> [Id] -> [Class] -> Bool -> TyCon
-mkPrimTyCon :: Unique -> FullName -> Int -> ([PrimKind] -> PrimKind) -> TyCon
-mkSpecTyCon :: TyCon -> [Labda UniType] -> TyCon
-mkSynonymTyCon :: Unique -> FullName -> Int -> [TyVarTemplate] -> UniType -> Bool -> TyCon
-mkTupleTyCon :: Int -> TyCon
-instance Eq TyCon
-instance Ord TyCon
-instance NamedThing TyCon
-instance Outputable TyCon
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface TyVar where
-import NameTypes(ShortName)
-import Outputable(NamedThing, Outputable)
-import PreludePS(_PackedString)
-import UniType(UniType)
-import Unique(Unique)
-data ShortName
-data TyVar = PrimSysTyVar Unique | PolySysTyVar Unique | OpenSysTyVar Unique | UserTyVar Unique ShortName
-data TyVarTemplate
-alphaTyVars :: [TyVarTemplate]
-alpha_tv :: TyVarTemplate
-alpha_tyvar :: TyVar
-beta_tv :: TyVarTemplate
-beta_tyvar :: TyVar
-cloneTyVar :: TyVar -> Unique -> TyVar
-cloneTyVarFromTemplate :: TyVarTemplate -> Unique -> TyVar
-cmpTyVar :: TyVar -> TyVar -> Int#
-delta_tv :: TyVarTemplate
-delta_tyvar :: TyVar
-epsilon_tv :: TyVarTemplate
-epsilon_tyvar :: TyVar
-eqTyVar :: TyVar -> TyVar -> Bool
-gamma_tv :: TyVarTemplate
-gamma_tyvar :: TyVar
-instantiateTyVarTemplates :: [TyVarTemplate] -> [Unique] -> ([(TyVarTemplate, UniType)], [TyVar], [UniType])
-ltTyVar :: TyVar -> TyVar -> Bool
-mkOpenSysTyVar :: Unique -> TyVar
-mkPolySysTyVar :: Unique -> TyVar
-mkSysTyVarTemplate :: Unique -> _PackedString -> TyVarTemplate
-mkTemplateTyVars :: [TyVar] -> [TyVarTemplate]
-mkUserTyVar :: Unique -> ShortName -> TyVar
-mkUserTyVarTemplate :: Unique -> ShortName -> TyVarTemplate
-instance Eq TyVar
-instance Eq TyVarTemplate
-instance Ord TyVar
-instance Ord TyVarTemplate
-instance NamedThing TyVar
-instance NamedThing TyVarTemplate
-instance Outputable TyVar
-instance Outputable TyVarTemplate
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface UniTyFuns where
-import Bag(Bag)
-import CharSeq(CSeq)
-import Class(Class, ClassOp)
-import CmdLineOpts(GlobalSwitch)
-import Id(Id)
-import IdEnv(IdEnv(..))
-import InstEnv(InstTemplate)
-import Maybes(Labda)
-import NameTypes(FullName, ShortName)
-import PreludePS(_PackedString)
-import Pretty(Delay, PprStyle, PrettyRep)
-import PrimKind(PrimKind)
-import SimplEnv(UnfoldingDetails)
-import TyCon(TyCon)
-import TyVar(TyVar, TyVarTemplate)
-import TyVarEnv(TyVarEnv(..), TypeEnv(..))
-import UniType(UniType)
-import UniqFM(UniqFM)
-import Unique(Unique, UniqueSupply)
-data Bag a
-data Class
-type IdEnv a = UniqFM a
-data Labda a
-data PprStyle
-data PrettyRep
-data PrimKind
-data UnfoldingDetails
-data TyCon
-data TyVar
-data TyVarTemplate
-type TyVarEnv a = UniqFM a
-type TypeEnv = UniqFM UniType
-data UniType
-data UniqFM a
-data UniqueSupply
-applyNonSynTyCon :: TyCon -> [UniType] -> UniType
-applySynTyCon :: TyCon -> [UniType] -> UniType
-applyTy :: UniType -> UniType -> UniType
-applyTyCon :: TyCon -> [UniType] -> UniType
-applyTypeEnvToThetaTy :: UniqFM UniType -> [(a, UniType)] -> [(a, UniType)]
-applyTypeEnvToTy :: UniqFM UniType -> UniType -> UniType
-cmpUniTypeMaybeList :: [Labda UniType] -> [Labda UniType] -> Int#
-expandVisibleTySyn :: UniType -> UniType
-extractTyVarTemplatesFromTy :: UniType -> [TyVarTemplate]
-extractTyVarsFromTy :: UniType -> [TyVar]
-extractTyVarsFromTys :: [UniType] -> [TyVar]
-funResultTy :: UniType -> Int -> UniType
-getMentionedTyCons :: TyCon -> [TyCon]
-getMentionedTyConsAndClassesFromClass :: Class -> (Bag TyCon, Bag Class)
-getMentionedTyConsAndClassesFromTyCon :: TyCon -> (Bag TyCon, Bag Class)
-getMentionedTyConsAndClassesFromUniType :: UniType -> (Bag TyCon, Bag Class)
-getTauType :: UniType -> UniType
-getTyVar :: [Char] -> UniType -> TyVar
-getTyVarMaybe :: UniType -> Labda TyVar
-getTyVarTemplateMaybe :: UniType -> Labda TyVarTemplate
-getTypeString :: UniType -> [_PackedString]
-getUniDataSpecTyCon :: UniType -> (TyCon, [UniType], [Id])
-getUniDataSpecTyCon_maybe :: UniType -> Labda (TyCon, [UniType], [Id])
-getUniDataTyCon :: UniType -> (TyCon, [UniType], [Id])
-getUniDataTyCon_maybe :: UniType -> Labda (TyCon, [UniType], [Id])
-getUniTyDescription :: UniType -> [Char]
-glueTyArgs :: [UniType] -> UniType -> UniType
-instanceIsExported :: Class -> UniType -> Bool -> Bool
-isDictTy :: UniType -> Bool
-isForAllTy :: UniType -> Bool
-isFunType :: UniType -> Bool
-isGroundOrTyVarTy :: UniType -> Bool
-isGroundTy :: UniType -> Bool
-isLeakFreeType :: [TyCon] -> UniType -> Bool
-isPrimType :: UniType -> Bool
-isTauTy :: UniType -> Bool
-isTyVarTemplateTy :: UniType -> Bool
-isTyVarTy :: UniType -> Bool
-isUnboxedDataType :: UniType -> Bool
-kindFromType :: UniType -> PrimKind
-mapOverTyVars :: (TyVar -> UniType) -> UniType -> UniType
-matchTy :: UniType -> UniType -> Labda [(TyVarTemplate, UniType)]
-maybeBoxedPrimType :: UniType -> Labda (Id, UniType)
-maybePurelyLocalClass :: Class -> Labda [Int -> Bool -> PrettyRep]
-maybePurelyLocalTyCon :: TyCon -> Labda [Int -> Bool -> PrettyRep]
-maybePurelyLocalType :: UniType -> Labda [Int -> Bool -> PrettyRep]
-maybeUnpackFunTy :: UniType -> Labda (UniType, UniType)
-mkSuperDictSelType :: Class -> Class -> UniType
-pprClassOp :: PprStyle -> ClassOp -> Int -> Bool -> PrettyRep
-pprIfaceClass :: (GlobalSwitch -> Bool) -> (Id -> Id) -> UniqFM UnfoldingDetails -> Class -> Int -> Bool -> PrettyRep
-pprMaybeTy :: PprStyle -> Labda UniType -> Int -> Bool -> PrettyRep
-pprParendUniType :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-pprTyCon :: PprStyle -> TyCon -> [[Labda UniType]] -> Int -> Bool -> PrettyRep
-pprUniType :: PprStyle -> UniType -> Int -> Bool -> PrettyRep
-returnsRealWorld :: UniType -> Bool
-showTyCon :: PprStyle -> TyCon -> [Char]
-showTypeCategory :: UniType -> Char
-specMaybeTysSuffix :: [Labda UniType] -> _PackedString
-specialiseTy :: UniType -> [Labda UniType] -> Int -> UniType
-splitDictType :: UniType -> (Class, UniType)
-splitForalls :: UniType -> ([TyVarTemplate], UniType)
-splitTyArgs :: UniType -> ([UniType], UniType)
-splitType :: UniType -> ([TyVarTemplate], [(Class, UniType)], UniType)
-splitTypeWithDictsAsArgs :: UniType -> ([TyVarTemplate], [UniType], UniType)
-typeMaybeString :: Labda UniType -> [_PackedString]
-unDictifyTy :: UniType -> UniType
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface UniType where
-import Class(Class)
-import Maybes(Labda)
-import NameTypes(ShortName)
-import Outputable(Outputable)
-import TyCon(TyCon)
-import TyVar(TyVar, TyVarTemplate)
-import Unique(Unique)
-data Class
-type InstTyEnv = [(TyVarTemplate, UniType)]
-data Labda a
-type RhoType = UniType
-type SigmaType = UniType
-type TauType = UniType
-type ThetaType = [(Class, UniType)]
-data TyCon
-data TyVar
-data TyVarTemplate
-data UniType = UniTyVar TyVar | UniFun UniType UniType | UniData TyCon [UniType] | UniSyn TyCon [UniType] UniType | UniDict Class UniType | UniTyVarTemplate TyVarTemplate | UniForall TyVarTemplate UniType
-alpha :: UniType
-alpha_ty :: UniType
-beta :: UniType
-beta_ty :: UniType
-cmpUniType :: Bool -> UniType -> UniType -> Int#
-delta :: UniType
-delta_ty :: UniType
-epsilon :: UniType
-epsilon_ty :: UniType
-gamma :: UniType
-gamma_ty :: UniType
-instantiateTauTy :: [(TyVarTemplate, UniType)] -> UniType -> UniType
-instantiateThetaTy :: [(TyVarTemplate, UniType)] -> [(Class, UniType)] -> [(Class, UniType)]
-instantiateTy :: [(TyVarTemplate, UniType)] -> UniType -> UniType
-mkDictTy :: Class -> UniType -> UniType
-mkForallTy :: [TyVarTemplate] -> UniType -> UniType
-mkRhoTy :: [(Class, UniType)] -> UniType -> UniType
-mkSigmaTy :: [TyVarTemplate] -> [(Class, UniType)] -> UniType -> UniType
-mkTyVarTemplateTy :: TyVarTemplate -> UniType
-mkTyVarTy :: TyVar -> UniType
-quantifyTy :: [TyVar] -> UniType -> ([TyVarTemplate], UniType)
-instance Eq UniType
-instance Outputable UniType
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_atype where
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import U_list(U_list)
-data U_atype = U_atc ProtoName U_list Int
-rdU_atype :: _Addr -> _PackedString -> _State _RealWorld -> (U_atype, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_binding where
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import U_hpragma(U_hpragma)
-import U_list(U_list)
-import U_ttype(U_ttype)
-data U_binding = U_tbind U_list U_ttype U_list U_list Int U_hpragma | U_nbind U_ttype U_ttype Int U_hpragma | U_pbind U_list Int | U_fbind U_list Int | U_abind U_binding U_binding | U_ibind U_list ProtoName U_ttype U_binding Int U_hpragma | U_dbind U_list Int | U_cbind U_list U_ttype U_binding Int U_hpragma | U_sbind U_list U_ttype Int U_hpragma | U_mbind _PackedString U_list U_list Int | U_nullbind | U_import _PackedString U_list U_list U_binding _PackedString Int | U_hiding _PackedString U_list U_list U_binding _PackedString Int | U_vspec_uprag ProtoName U_list Int | U_vspec_ty_and_id U_ttype U_list | U_ispec_uprag ProtoName U_ttype Int | U_inline_uprag ProtoName U_list Int | U_deforest_uprag ProtoName Int | U_magicuf_uprag ProtoName _PackedString Int | U_abstract_uprag ProtoName Int | U_dspec_uprag ProtoName U_list Int
-rdU_binding :: _Addr -> _PackedString -> _State _RealWorld -> (U_binding, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_coresyn where
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import U_list(U_list)
-import U_literal(U_literal)
-import U_ttype(U_ttype)
-data U_coresyn
- = U_cobinder ProtoName U_ttype | U_colit U_literal | U_colocal U_coresyn | U_cononrec U_coresyn U_coresyn | U_corec U_list | U_corec_pair U_coresyn U_coresyn | U_covar U_coresyn | U_coliteral U_literal | U_cocon U_coresyn U_list U_list | U_coprim U_coresyn U_list U_list | U_colam U_list U_coresyn | U_cotylam U_list U_coresyn | U_coapp U_coresyn U_list | U_cotyapp U_coresyn U_ttype | U_cocase U_coresyn U_coresyn | U_colet U_coresyn U_coresyn | U_coscc U_coresyn U_coresyn | U_coalg_alts U_list U_coresyn | U_coalg_alt U_coresyn U_list U_coresyn | U_coprim_alts U_list U_coresyn | U_coprim_alt U_literal U_coresyn | U_conodeflt | U_cobinddeflt U_coresyn U_coresyn | U_co_primop _PackedString | U_co_ccall _PackedString Int U_list U_ttype | U_co_casm U_literal Int U_list U_ttype | U_co_preludedictscc U_coresyn | U_co_alldictscc _PackedString _PackedString U_coresyn | U_co_usercc _PackedString _PackedString _PackedString U_coresyn U_coresyn | U_co_autocc U_coresyn _PackedString _PackedString U_coresyn U_coresyn | U_co_dictcc U_coresyn _PackedString _PackedString U_coresyn U_coresyn | U_co_scc_noncaf | U_co_scc_caf | U_co_scc_nondupd | U_co_scc_dupd | U_co_id _PackedString | U_co_orig_id _PackedString _PackedString | U_co_sdselid ProtoName ProtoName | U_co_classopid ProtoName ProtoName | U_co_defmid ProtoName ProtoName | U_co_dfunid ProtoName U_ttype | U_co_constmid ProtoName ProtoName U_ttype | U_co_specid U_coresyn U_list | U_co_wrkrid U_coresyn
-rdU_coresyn :: _Addr -> _PackedString -> _State _RealWorld -> (U_coresyn, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_entidt where
-import PreludePS(_PackedString)
-import U_list(U_list)
-data U_entidt = U_entid _PackedString | U_enttype _PackedString | U_enttypeall _PackedString | U_enttypecons _PackedString U_list | U_entclass _PackedString U_list | U_entmod _PackedString
-rdU_entidt :: _Addr -> _PackedString -> _State _RealWorld -> (U_entidt, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_finfot where
-import PreludePS(_PackedString)
-data U_finfot = U_finfo _PackedString _PackedString
-rdU_finfot :: _Addr -> _PackedString -> _State _RealWorld -> (U_finfot, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_hpragma where
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import U_coresyn(U_coresyn)
-import U_list(U_list)
-data U_hpragma = U_no_pragma | U_idata_pragma U_list U_list | U_itype_pragma | U_iclas_pragma U_list | U_iclasop_pragma U_hpragma U_hpragma | U_iinst_simpl_pragma _PackedString U_hpragma | U_iinst_const_pragma _PackedString U_hpragma U_list | U_igen_pragma U_hpragma U_hpragma U_hpragma U_hpragma U_hpragma U_list | U_iarity_pragma Int | U_iupdate_pragma _PackedString | U_ideforest_pragma | U_istrictness_pragma _PackedString U_hpragma | U_imagic_unfolding_pragma _PackedString | U_iunfolding_pragma U_hpragma U_coresyn | U_iunfold_always | U_iunfold_if_args Int Int _PackedString Int | U_iname_pragma_pr ProtoName U_hpragma | U_itype_pragma_pr U_list Int U_hpragma | U_idata_pragma_4s U_list
-rdU_hpragma :: _Addr -> _PackedString -> _State _RealWorld -> (U_hpragma, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_list where
-import PreludePS(_PackedString)
-data U_list = U_lcons _Addr U_list | U_lnil
-rdU_list :: _Addr -> _PackedString -> _State _RealWorld -> (U_list, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_literal where
-import PreludePS(_PackedString)
-data U_literal = U_integer _PackedString | U_intprim _PackedString | U_floatr _PackedString | U_doubleprim _PackedString | U_floatprim _PackedString | U_charr _PackedString | U_charprim _PackedString | U_string _PackedString | U_stringprim _PackedString | U_clitlit _PackedString _PackedString | U_norepi _PackedString | U_norepr _PackedString _PackedString | U_noreps _PackedString
-rdU_literal :: _Addr -> _PackedString -> _State _RealWorld -> (U_literal, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_pbinding where
-import PreludePS(_PackedString)
-import U_binding(U_binding)
-import U_list(U_list)
-import U_treeHACK(U_tree)
-data U_pbinding = U_pgrhs U_tree U_list U_binding _PackedString Int
-rdU_pbinding :: _Addr -> _PackedString -> _State _RealWorld -> (U_pbinding, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_treeHACK where
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import U_binding(U_binding)
-import U_list(U_list)
-import U_literal(U_literal)
-import U_ttype(U_ttype)
-type U_infixTree = (ProtoName, U_tree, U_tree)
-data U_tree = U_hmodule _PackedString U_list U_list U_binding Int | U_ident ProtoName | U_lit U_literal | U_tuple U_list | U_ap U_tree U_tree | U_lambda U_list U_tree Int | U_let U_binding U_tree | U_casee U_tree U_list | U_ife U_tree U_tree U_tree | U_par U_tree | U_as ProtoName U_tree | U_lazyp U_tree | U_plusp U_tree U_literal | U_wildp | U_restr U_tree U_ttype | U_comprh U_tree U_list | U_qual U_tree U_tree | U_guard U_tree | U_def U_tree | U_tinfixop (ProtoName, U_tree, U_tree) | U_lsection U_tree ProtoName | U_rsection ProtoName U_tree | U_eenum U_tree U_list U_list | U_llist U_list | U_ccall _PackedString _PackedString U_list | U_scc _PackedString U_tree | U_negate U_tree
-rdU_infixTree :: _Addr -> _PackedString -> _State _RealWorld -> ((ProtoName, U_tree, U_tree), _State _RealWorld)
-rdU_tree :: _Addr -> _PackedString -> _State _RealWorld -> (U_tree, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface U_ttype where
-import PreludePS(_PackedString)
-import ProtoName(ProtoName)
-import U_list(U_list)
-data U_ttype = U_tname ProtoName U_list | U_namedtvar ProtoName | U_tllist U_ttype | U_ttuple U_list | U_tfun U_ttype U_ttype | U_context U_list U_ttype | U_unidict ProtoName U_ttype | U_unityvartemplate ProtoName | U_uniforall U_list U_ttype | U_ty_maybe_nothing | U_ty_maybe_just U_ttype
-rdU_ttype :: _Addr -> _PackedString -> _State _RealWorld -> (U_ttype, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface UgenAll where
-import PreludePS(_PackedString)
-import PreludePrimIO(returnPrimIO, thenPrimIO)
-import ProtoName(ProtoName(..))
-import SrcLoc(SrcLoc)
-import U_atype(U_atype(..), rdU_atype)
-import U_binding(U_binding(..), rdU_binding)
-import U_coresyn(U_coresyn(..), rdU_coresyn)
-import U_entidt(U_entidt(..), rdU_entidt)
-import U_finfot(U_finfot(..), rdU_finfot)
-import U_hpragma(U_hpragma(..), rdU_hpragma)
-import U_list(U_list(..), rdU_list)
-import U_literal(U_literal(..), rdU_literal)
-import U_pbinding(U_pbinding(..), rdU_pbinding)
-import U_treeHACK(U_infixTree(..), U_tree(..), rdU_infixTree, rdU_tree)
-import U_ttype(U_ttype(..), rdU_ttype)
-import UgenUtil(ParseTree(..), U_VOID_STAR(..), U_hstring(..), U_long(..), U_numId(..), U_stringId(..), U_unkId(..), UgnM(..), getSrcFileUgn, initUgn, ioToUgnM, mkSrcLocUgn, rdU_VOID_STAR, rdU_hstring, rdU_long, rdU_numId, rdU_stringId, rdU_unkId, returnUgn, setSrcFileUgn, thenUgn)
-infixr 1 `thenPrimIO`
-data ProtoName
-data U_atype = U_atc ProtoName U_list Int
-data U_binding = U_tbind U_list U_ttype U_list U_list Int U_hpragma | U_nbind U_ttype U_ttype Int U_hpragma | U_pbind U_list Int | U_fbind U_list Int | U_abind U_binding U_binding | U_ibind U_list ProtoName U_ttype U_binding Int U_hpragma | U_dbind U_list Int | U_cbind U_list U_ttype U_binding Int U_hpragma | U_sbind U_list U_ttype Int U_hpragma | U_mbind _PackedString U_list U_list Int | U_nullbind | U_import _PackedString U_list U_list U_binding _PackedString Int | U_hiding _PackedString U_list U_list U_binding _PackedString Int | U_vspec_uprag ProtoName U_list Int | U_vspec_ty_and_id U_ttype U_list | U_ispec_uprag ProtoName U_ttype Int | U_inline_uprag ProtoName U_list Int | U_deforest_uprag ProtoName Int | U_magicuf_uprag ProtoName _PackedString Int | U_abstract_uprag ProtoName Int | U_dspec_uprag ProtoName U_list Int
-data U_coresyn
- = U_cobinder ProtoName U_ttype | U_colit U_literal | U_colocal U_coresyn | U_cononrec U_coresyn U_coresyn | U_corec U_list | U_corec_pair U_coresyn U_coresyn | U_covar U_coresyn | U_coliteral U_literal | U_cocon U_coresyn U_list U_list | U_coprim U_coresyn U_list U_list | U_colam U_list U_coresyn | U_cotylam U_list U_coresyn | U_coapp U_coresyn U_list | U_cotyapp U_coresyn U_ttype | U_cocase U_coresyn U_coresyn | U_colet U_coresyn U_coresyn | U_coscc U_coresyn U_coresyn | U_coalg_alts U_list U_coresyn | U_coalg_alt U_coresyn U_list U_coresyn | U_coprim_alts U_list U_coresyn | U_coprim_alt U_literal U_coresyn | U_conodeflt | U_cobinddeflt U_coresyn U_coresyn | U_co_primop _PackedString | U_co_ccall _PackedString Int U_list U_ttype | U_co_casm U_literal Int U_list U_ttype | U_co_preludedictscc U_coresyn | U_co_alldictscc _PackedString _PackedString U_coresyn | U_co_usercc _PackedString _PackedString _PackedString U_coresyn U_coresyn | U_co_autocc U_coresyn _PackedString _PackedString U_coresyn U_coresyn | U_co_dictcc U_coresyn _PackedString _PackedString U_coresyn U_coresyn | U_co_scc_noncaf | U_co_scc_caf | U_co_scc_nondupd | U_co_scc_dupd | U_co_id _PackedString | U_co_orig_id _PackedString _PackedString | U_co_sdselid ProtoName ProtoName | U_co_classopid ProtoName ProtoName | U_co_defmid ProtoName ProtoName | U_co_dfunid ProtoName U_ttype | U_co_constmid ProtoName ProtoName U_ttype | U_co_specid U_coresyn U_list | U_co_wrkrid U_coresyn
-data U_entidt = U_entid _PackedString | U_enttype _PackedString | U_enttypeall _PackedString | U_enttypecons _PackedString U_list | U_entclass _PackedString U_list | U_entmod _PackedString
-data U_finfot = U_finfo _PackedString _PackedString
-data U_hpragma = U_no_pragma | U_idata_pragma U_list U_list | U_itype_pragma | U_iclas_pragma U_list | U_iclasop_pragma U_hpragma U_hpragma | U_iinst_simpl_pragma _PackedString U_hpragma | U_iinst_const_pragma _PackedString U_hpragma U_list | U_igen_pragma U_hpragma U_hpragma U_hpragma U_hpragma U_hpragma U_list | U_iarity_pragma Int | U_iupdate_pragma _PackedString | U_ideforest_pragma | U_istrictness_pragma _PackedString U_hpragma | U_imagic_unfolding_pragma _PackedString | U_iunfolding_pragma U_hpragma U_coresyn | U_iunfold_always | U_iunfold_if_args Int Int _PackedString Int | U_iname_pragma_pr ProtoName U_hpragma | U_itype_pragma_pr U_list Int U_hpragma | U_idata_pragma_4s U_list
-data U_list = U_lcons _Addr U_list | U_lnil
-data U_literal = U_integer _PackedString | U_intprim _PackedString | U_floatr _PackedString | U_doubleprim _PackedString | U_floatprim _PackedString | U_charr _PackedString | U_charprim _PackedString | U_string _PackedString | U_stringprim _PackedString | U_clitlit _PackedString _PackedString | U_norepi _PackedString | U_norepr _PackedString _PackedString | U_noreps _PackedString
-data U_pbinding = U_pgrhs U_tree U_list U_binding _PackedString Int
-type U_infixTree = (ProtoName, U_tree, U_tree)
-data U_tree = U_hmodule _PackedString U_list U_list U_binding Int | U_ident ProtoName | U_lit U_literal | U_tuple U_list | U_ap U_tree U_tree | U_lambda U_list U_tree Int | U_let U_binding U_tree | U_casee U_tree U_list | U_ife U_tree U_tree U_tree | U_par U_tree | U_as ProtoName U_tree | U_lazyp U_tree | U_plusp U_tree U_literal | U_wildp | U_restr U_tree U_ttype | U_comprh U_tree U_list | U_qual U_tree U_tree | U_guard U_tree | U_def U_tree | U_tinfixop (ProtoName, U_tree, U_tree) | U_lsection U_tree ProtoName | U_rsection ProtoName U_tree | U_eenum U_tree U_list U_list | U_llist U_list | U_ccall _PackedString _PackedString U_list | U_scc _PackedString U_tree | U_negate U_tree
-data U_ttype = U_tname ProtoName U_list | U_namedtvar ProtoName | U_tllist U_ttype | U_ttuple U_list | U_tfun U_ttype U_ttype | U_context U_list U_ttype | U_unidict ProtoName U_ttype | U_unityvartemplate ProtoName | U_uniforall U_list U_ttype | U_ty_maybe_nothing | U_ty_maybe_just U_ttype
-type ParseTree = _Addr
-type U_VOID_STAR = _Addr
-type U_hstring = _PackedString
-type U_long = Int
-type U_numId = Int
-type U_stringId = _PackedString
-type U_unkId = ProtoName
-type UgnM a = _PackedString -> _State _RealWorld -> (a, _State _RealWorld)
-returnPrimIO :: a -> _State _RealWorld -> (a, _State _RealWorld)
-thenPrimIO :: (_State _RealWorld -> (a, _State _RealWorld)) -> (a -> _State _RealWorld -> (b, _State _RealWorld)) -> _State _RealWorld -> (b, _State _RealWorld)
-rdU_atype :: _Addr -> _PackedString -> _State _RealWorld -> (U_atype, _State _RealWorld)
-rdU_binding :: _Addr -> _PackedString -> _State _RealWorld -> (U_binding, _State _RealWorld)
-rdU_coresyn :: _Addr -> _PackedString -> _State _RealWorld -> (U_coresyn, _State _RealWorld)
-rdU_entidt :: _Addr -> _PackedString -> _State _RealWorld -> (U_entidt, _State _RealWorld)
-rdU_finfot :: _Addr -> _PackedString -> _State _RealWorld -> (U_finfot, _State _RealWorld)
-rdU_hpragma :: _Addr -> _PackedString -> _State _RealWorld -> (U_hpragma, _State _RealWorld)
-rdU_list :: _Addr -> _PackedString -> _State _RealWorld -> (U_list, _State _RealWorld)
-rdU_literal :: _Addr -> _PackedString -> _State _RealWorld -> (U_literal, _State _RealWorld)
-rdU_pbinding :: _Addr -> _PackedString -> _State _RealWorld -> (U_pbinding, _State _RealWorld)
-rdU_infixTree :: _Addr -> _PackedString -> _State _RealWorld -> ((ProtoName, U_tree, U_tree), _State _RealWorld)
-rdU_tree :: _Addr -> _PackedString -> _State _RealWorld -> (U_tree, _State _RealWorld)
-rdU_ttype :: _Addr -> _PackedString -> _State _RealWorld -> (U_ttype, _State _RealWorld)
-getSrcFileUgn :: _PackedString -> _State _RealWorld -> (_PackedString, _State _RealWorld)
-initUgn :: _PackedString -> (_PackedString -> _State _RealWorld -> (a, _State _RealWorld)) -> _State _RealWorld -> (a, _State _RealWorld)
-ioToUgnM :: (_State _RealWorld -> (a, _State _RealWorld)) -> _PackedString -> _State _RealWorld -> (a, _State _RealWorld)
-mkSrcLocUgn :: Int -> _PackedString -> _State _RealWorld -> (SrcLoc, _State _RealWorld)
-rdU_VOID_STAR :: _Addr -> _PackedString -> _State _RealWorld -> (_Addr, _State _RealWorld)
-rdU_hstring :: _Addr -> _PackedString -> _State _RealWorld -> (_PackedString, _State _RealWorld)
-rdU_long :: Int -> _PackedString -> _State _RealWorld -> (Int, _State _RealWorld)
-rdU_numId :: _Addr -> _PackedString -> _State _RealWorld -> (Int, _State _RealWorld)
-rdU_stringId :: _Addr -> _PackedString -> _State _RealWorld -> (_PackedString, _State _RealWorld)
-rdU_unkId :: _Addr -> _PackedString -> _State _RealWorld -> (ProtoName, _State _RealWorld)
-returnUgn :: b -> a -> _State _RealWorld -> (b, _State _RealWorld)
-setSrcFileUgn :: _PackedString -> (_PackedString -> _State _RealWorld -> (a, _State _RealWorld)) -> _PackedString -> _State _RealWorld -> (a, _State _RealWorld)
-thenUgn :: (b -> _State _RealWorld -> (a, _State _RealWorld)) -> (a -> b -> _State _RealWorld -> (c, _State _RealWorld)) -> b -> _State _RealWorld -> (c, _State _RealWorld)
-
+++ /dev/null
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface UgenUtil where
-import Name(Name)
-import PreludePS(_PackedString)
-import PreludePrimIO(returnPrimIO, thenPrimIO)
-import ProtoName(ProtoName)
-import SrcLoc(SrcLoc)
-infixr 1 `thenPrimIO`
-type ParseTree = _Addr
-data ProtoName
-type U_VOID_STAR = _Addr
-type U_hstring = _PackedString
-type U_long = Int
-type U_numId = Int
-type U_stringId = _PackedString
-type U_unkId = ProtoName
-type UgnM a = _PackedString -> _State _RealWorld -> (a, _State _RealWorld)
-getSrcFileUgn :: _PackedString -> _State _RealWorld -> (_PackedString, _State _RealWorld)
-initUgn :: _PackedString -> (_PackedString -> _State _RealWorld -> (a, _State _RealWorld)) -> _State _RealWorld -> (a, _State _RealWorld)
-ioToUgnM :: (_State _RealWorld -> (a, _State _RealWorld)) -> _PackedString -> _State _RealWorld -> (a, _State _RealWorld)
-mkSrcLocUgn :: Int -> _PackedString -> _State _RealWorld -> (SrcLoc, _State _RealWorld)
-rdU_VOID_STAR :: _Addr -> _PackedString -> _State _RealWorld -> (_Addr, _State _RealWorld)
-rdU_hstring :: _Addr -> _PackedString -> _State _RealWorld -> (_PackedString, _State _RealWorld)
-rdU_long :: Int -> _PackedString -> _State _RealWorld -> (Int, _State _RealWorld)
-rdU_numId :: _Addr -> _PackedString -> _State _RealWorld -> (Int, _State _RealWorld)
-rdU_stringId :: _Addr -> _PackedString -> _State _RealWorld -> (_PackedString, _State _RealWorld)
-rdU_unkId :: _Addr -> _PackedString -> _State _RealWorld -> (ProtoName, _State _RealWorld)
-returnPrimIO :: a -> _State _RealWorld -> (a, _State _RealWorld)
-returnUgn :: b -> a -> _State _RealWorld -> (b, _State _RealWorld)
-setSrcFileUgn :: _PackedString -> (_PackedString -> _State _RealWorld -> (a, _State _RealWorld)) -> _PackedString -> _State _RealWorld -> (a, _State _RealWorld)
-thenPrimIO :: (_State _RealWorld -> (a, _State _RealWorld)) -> (a -> _State _RealWorld -> (b, _State _RealWorld)) -> _State _RealWorld -> (b, _State _RealWorld)
-thenUgn :: (b -> _State _RealWorld -> (a, _State _RealWorld)) -> (a -> b -> _State _RealWorld -> (c, _State _RealWorld)) -> b -> _State _RealWorld -> (c, _State _RealWorld)
-
projects / ghc-hetmet.git / commitdiff