| ghc-6.10.4: The GHC API | Contents | Index
HsDecls
Documentation
data HsDecl id
Constructors
TyClD (TyClDecl id) |
InstD (InstDecl id) |
DerivD (DerivDecl id) |
ValD (HsBind id) |
SigD (Sig id) |
DefD (DefaultDecl id) |
ForD (ForeignDecl id) |
WarningD (WarnDecl id) |
RuleD (RuleDecl id) |
SpliceD (SpliceDecl id) |
DocD (DocDecl id) |
Instances
OutputableBndr name => Outputable (HsDecl name)
type LHsDecl id = Located (HsDecl id)
data TyClDecl name
Constructors
ForeignType |
tcdLName :: Located name |
tcdExtName :: Maybe FastString |
tcdFoType :: FoType |
TyFamily |
tcdFlavour :: FamilyFlavour |
tcdLName :: Located name |
tcdTyVars :: [LHsTyVarBndr name] |
tcdKind :: Maybe Kind |
TyData |
tcdND :: NewOrData |
tcdCtxt :: LHsContext name |
tcdLName :: Located name |
tcdTyVars :: [LHsTyVarBndr name] |
tcdTyPats :: Maybe [LHsType name] |
tcdKindSig :: Maybe Kind |
tcdCons :: [LConDecl name] |
tcdDerivs :: Maybe [LHsType name] |
TySynonym |
tcdLName :: Located name |
tcdTyVars :: [LHsTyVarBndr name] |
tcdTyPats :: Maybe [LHsType name] |
tcdSynRhs :: LHsType name |
ClassDecl |
tcdCtxt :: LHsContext name |
tcdLName :: Located name |
tcdTyVars :: [LHsTyVarBndr name] |
tcdFDs :: [Located (FunDep name)] |
tcdSigs :: [LSig name] |
tcdMeths :: LHsBinds name |
tcdATs :: [LTyClDecl name] |
tcdDocs :: [LDocDecl name] |
Instances
OutputableBndr name => Outputable (TyClDecl name)
type LTyClDecl name = Located (TyClDecl name)
data InstDecl name
Constructors
InstDecl (LHsType name) (LHsBinds name) [LSig name] [LTyClDecl name] |
Instances
OutputableBndr name => Outputable (InstDecl name)
type LInstDecl name = Located (InstDecl name)
data DerivDecl name
Constructors
DerivDecl (LHsType name) |
Instances
OutputableBndr name => Outputable (DerivDecl name)
type LDerivDecl name = Located (DerivDecl name)
data NewOrData
Constructors
NewType |
DataType |
Instances
Eq NewOrData
Outputable NewOrData
data FamilyFlavour
Constructors
TypeFamily |
DataFamily |
data RuleDecl name
Constructors
HsRule RuleName Activation [RuleBndr name] (Located (HsExpr name)) NameSet (Located (HsExpr name)) NameSet |
Instances
OutputableBndr name => Outputable (RuleDecl name)
type LRuleDecl name = Located (RuleDecl name)
data RuleBndr name
Constructors
RuleBndr (Located name) |
RuleBndrSig (Located name) (LHsType name) |
Instances
OutputableBndr name => Outputable (RuleBndr name)
data DefaultDecl name
Constructors
DefaultDecl [LHsType name] |
Instances
OutputableBndr name => Outputable (DefaultDecl name)
type LDefaultDecl name = Located (DefaultDecl name)
data SpliceDecl id
Constructors
SpliceDecl (Located (HsExpr id)) |
Instances
OutputableBndr name => Outputable (SpliceDecl name)
data ForeignDecl name
Constructors
ForeignImport (Located name) (LHsType name) ForeignImport |
ForeignExport (Located name) (LHsType name) ForeignExport |
Instances
OutputableBndr name => Outputable (ForeignDecl name)
type LForeignDecl name = Located (ForeignDecl name)
data ForeignImport
Constructors
CImport CCallConv Safety FastString FastString CImportSpec |
DNImport DNCallSpec |
Instances
Outputable ForeignImport
data ForeignExport
Constructors
CExport CExportSpec |
DNExport |
Instances
Outputable ForeignExport
data CImportSpec
Constructors
CLabel CLabelString |
CFunction CCallTarget |
CWrapper |
data FoType
Constructors
DNType |
Instances
Eq FoType
Outputable FoType
data ConDecl name
Constructors
ConDecl |
con_name :: Located name |
con_explicit :: HsExplicitForAll |
con_qvars :: [LHsTyVarBndr name] |
con_cxt :: LHsContext name |
con_details :: HsConDeclDetails name |
con_res :: ResType name |
con_doc :: Maybe (LHsDoc name) |
Instances
OutputableBndr name => Outputable (ConDecl name)
data ResType name
Constructors
ResTyH98 |
ResTyGADT (LHsType name) |
data ConDeclField name
Constructors
ConDeclField |
cd_fld_name :: Located name |
cd_fld_type :: LBangType name |
cd_fld_doc :: Maybe (LHsDoc name) |
type LConDecl name = Located (ConDecl name)
type HsConDeclDetails name = HsConDetails (LBangType name) [ConDeclField name]
hsConDeclArgTys :: HsConDeclDetails name -> [LBangType name]
data DocDecl name
Constructors
DocCommentNext (HsDoc name) |
DocCommentPrev (HsDoc name) |
DocCommentNamed String (HsDoc name) |
DocGroup Int (HsDoc name) |
Instances
Outputable (DocDecl name)
type LDocDecl name = Located (DocDecl name)
docDeclDoc :: DocDecl name -> HsDoc name
data WarnDecl name
Constructors
Warning name WarningTxt |
Instances
OutputableBndr name => Outputable (WarnDecl name)
type LWarnDecl name = Located (WarnDecl name)
data HsGroup id
Constructors
HsGroup |
hs_valds :: HsValBinds id |
hs_tyclds :: [LTyClDecl id] |
hs_instds :: [LInstDecl id] |
hs_derivds :: [LDerivDecl id] |
hs_fixds :: [LFixitySig id] |
hs_defds :: [LDefaultDecl id] |
hs_fords :: [LForeignDecl id] |
hs_warnds :: [LWarnDecl id] |
hs_ruleds :: [LRuleDecl id] |
hs_docs :: [LDocDecl id] |
Instances
OutputableBndr name => Outputable (HsGroup name)
emptyRdrGroup :: HsGroup a
emptyRnGroup :: HsGroup a
appendGroups :: HsGroup a -> HsGroup a -> HsGroup a
tcdName :: TyClDecl name -> name
tyClDeclNames :: Eq name => TyClDecl name -> [Located name]
tyClDeclTyVars :: TyClDecl name -> [LHsTyVarBndr name]
isClassDecl :: TyClDecl name -> Bool
isSynDecl :: TyClDecl name -> Bool
isDataDecl :: TyClDecl name -> Bool
isTypeDecl :: TyClDecl name -> Bool
isFamilyDecl :: TyClDecl name -> Bool
isFamInstDecl :: TyClDecl name -> Bool
countTyClDecls :: [TyClDecl name] -> (Int, Int, Int, Int, Int, Int)
instDeclATs :: InstDecl name -> [LTyClDecl name]
collectRuleBndrSigTys :: [RuleBndr name] -> [LHsType name]
Produced by Haddock version 2.4.2