Comments about -Wredundant-constraints
[ghc.git] / compiler / basicTypes / DataCon.hs-boot
1 module DataCon where
2 import Var( TyVar, TyVarBinder )
3 import Name( Name, NamedThing )
4 import {-# SOURCE #-} TyCon( TyCon )
5 import FieldLabel ( FieldLabel )
6 import Unique ( Uniquable )
7 import Outputable ( Outputable, OutputableBndr )
8 import BasicTypes (Arity)
9 import {-# SOURCE #-} TyCoRep ( Type, ThetaType )
10
11 data DataCon
12 data DataConRep
13 data EqSpec
14 filterEqSpec :: [EqSpec] -> [TyVarBinder] -> [TyVarBinder]
15
16 dataConName      :: DataCon -> Name
17 dataConTyCon     :: DataCon -> TyCon
18 dataConUnivTyVarBinders :: DataCon -> [TyVarBinder]
19 dataConExTyVars  :: DataCon -> [TyVar]
20 dataConExTyVarBinders :: DataCon -> [TyVarBinder]
21 dataConSourceArity  :: DataCon -> Arity
22 dataConFieldLabels :: DataCon -> [FieldLabel]
23 dataConInstOrigArgTys  :: DataCon -> [Type] -> [Type]
24 dataConStupidTheta :: DataCon -> ThetaType
25 dataConFullSig :: DataCon
26                -> ([TyVar], [TyVar], [EqSpec], ThetaType, [Type], Type)
27
28 instance Eq DataCon
29 instance Uniquable DataCon
30 instance NamedThing DataCon
31 instance Outputable DataCon
32 instance OutputableBndr DataCon