[project @ 1998-11-26 09:17:22 by sof]
[ghc-hetmet.git] / ghc / compiler / basicTypes / Id.hi-boot
1 _interface_ Id 1
2 _exports_
3 Id Id GenId StrictnessMark(MarkedStrict NotMarkedStrict) idType isNullaryDataCon mkDataCon mkTupleCon pprId idName;
4 _declarations_
5 1 type Id = Id.GenId Type!Type ;
6 1 data GenId ty ;
7 1 data StrictnessMark = MarkedStrict | NotMarkedStrict ;
8
9 1 idType _:_ Id.Id -> Type!Type ;;
10 1 isNullaryDataCon _:_ Id -> PrelBase.Bool ;;
11 1 mkDataCon _:_ Name.Name -> [Id.StrictnessMark] -> [FieldLabel!FieldLabel] -> [TyVar.TyVar] -> Type.ThetaType -> [TyVar.TyVar] -> Type!ThetaType -> [Type!TauType] -> TyCon!TyCon -> Id ;;
12 1 mkTupleCon _:_ PrelBase.Int -> Name.Name -> Type!Type -> Id ;;
13 1 pprId _:_ _forall_ [ty] {Outputable.Outputable ty} => GenId ty -> Outputable.SDoc ;;
14 1 idName _:_ _forall_ [ty] => GenId ty -> Name.Name ;;