[project @ 1997-05-19 00:12:10 by sof]
[ghc-hetmet.git] / ghc / compiler / basicTypes / Id.hi-boot
1 _interface_ Id 1
2 _exports_
3 Id Id GenId StrictnessMark(MarkedStrict NotMarkedStrict) dataConArgTys idType isNullaryDataCon mkDataCon mkTupleCon nmbrId;
4 _instances_
5 instance {Outputable.Outputable Id} = $d1;
6 _declarations_
7 1 $d1 _:_ {Outputable.Outputable Id} ;;
8 1 type Id = Id.GenId Type.Type ;
9 1 data GenId ty ;
10 1 data StrictnessMark = MarkedStrict | NotMarkedStrict ;
11 1 dataConArgTys _:_ Id -> [Type.Type] -> [Type.Type] ;;
12 1 idType _:_ Id -> Type.Type ;;
13 1 isNullaryDataCon _:_ Id -> PrelBase.Bool ;;
14 1 mkDataCon _:_ Name.Name -> [StrictnessMark] -> [FieldLabel.FieldLabel] -> [TyVar.TyVar] -> [(Class.Class,Type.Type)] -> [TyVar.TyVar] -> [(Class.Class,Type.Type)] -> [Type.Type] -> TyCon.TyCon -> Id ;;
15 1 mkTupleCon _:_ PrelBase.Int -> Name.Name -> Type.Type -> Id ;;
16 1 nmbrId _:_ Id -> PprEnv.NmbrEnv -> (PprEnv.NmbrEnv, Id) ;;
17