ghc-6.12.3: The GHC API
Source code
Contents
Index
RdrHsSyn
Documentation
extractHsTyRdrTyVars
::
LHsType
RdrName
-> [
Located
RdrName
]
Source
extractHsRhoRdrTyVars
::
LHsContext
RdrName
->
LHsType
RdrName
-> [
Located
RdrName
]
Source
extractGenericPatTyVars
::
LHsBinds
RdrName
-> [
Located
RdrName
]
Source
mkHsOpApp
::
LHsExpr
id -> id ->
LHsExpr
id ->
HsExpr
id
Source
mkHsIntegral
::
Integer
->
PostTcType
->
HsOverLit
id
Source
mkHsFractional
::
Rational
->
PostTcType
->
HsOverLit
id
Source
mkHsIsString
::
FastString
->
PostTcType
->
HsOverLit
id
Source
mkHsDo
::
HsStmtContext
Name
-> [
LStmt
id] ->
LHsExpr
id ->
HsExpr
id
Source
mkHsSplice
::
LHsExpr
RdrName
->
HsSplice
RdrName
Source
mkTopSpliceDecl
::
LHsExpr
RdrName
->
HsDecl
RdrName
Source
mkClassDecl
::
SrcSpan
->
Located
(
LHsContext
RdrName
,
LHsType
RdrName
) ->
Located
[
Located
(
FunDep
RdrName
)] ->
Located
(
OrdList
(
LHsDecl
RdrName
)) ->
P
(
LTyClDecl
RdrName
)
Source
mkTyData
::
SrcSpan
->
NewOrData
->
Bool
->
Located
(
LHsContext
RdrName
,
LHsType
RdrName
) ->
Maybe
Kind
-> [
LConDecl
RdrName
] ->
Maybe
[
LHsType
RdrName
] ->
P
(
LTyClDecl
RdrName
)
Source
mkTyFamily
::
SrcSpan
->
FamilyFlavour
->
LHsType
RdrName
->
Maybe
Kind
->
P
(
LTyClDecl
RdrName
)
Source
mkTySynonym
::
SrcSpan
->
Bool
->
LHsType
RdrName
->
LHsType
RdrName
->
P
(
LTyClDecl
RdrName
)
Source
splitCon
::
LHsType
RdrName
->
P
(
Located
RdrName
,
HsConDeclDetails
RdrName
)
Source
mkInlineSpec
::
Maybe
Activation
->
RuleMatchInfo
->
Bool
->
InlineSpec
Source
mkRecConstrOrUpdate
::
LHsExpr
RdrName
->
SrcSpan
-> ([
HsRecField
RdrName
(
LHsExpr
RdrName
)],
Bool
) ->
P
(
HsExpr
RdrName
)
Source
cvBindGroup
::
OrdList
(
LHsDecl
RdrName
) ->
HsValBinds
RdrName
Source
cvBindsAndSigs
::
OrdList
(
LHsDecl
RdrName
) -> (
Bag
(
LHsBind
RdrName
), [
LSig
RdrName
], [
LTyClDecl
RdrName
], [
LDocDecl
])
Source
cvTopDecls
::
OrdList
(
LHsDecl
RdrName
) -> [
LHsDecl
RdrName
]
Source
findSplice
:: [
LHsDecl
a] -> (
HsGroup
a,
Maybe
(
SpliceDecl
a, [
LHsDecl
a]))
Source
checkDecBrGroup
:: [
LHsDecl
a] ->
P
(
HsGroup
a)
Source
placeHolderPunRhs
::
HsExpr
RdrName
Source
mkImport
::
CCallConv
->
Safety
-> (
Located
FastString
,
Located
RdrName
,
LHsType
RdrName
) ->
P
(
HsDecl
RdrName
)
Source
parseCImport
::
CCallConv
->
Safety
->
FastString
->
String
->
Maybe
ForeignImport
Source
mkExport
::
CCallConv
-> (
Located
FastString
,
Located
RdrName
,
LHsType
RdrName
) ->
P
(
HsDecl
RdrName
)
Source
mkExtName
::
RdrName
->
CLabelString
Source
mkGadtDecl
:: [
Located
RdrName
] ->
LHsType
RdrName
-> [
ConDecl
RdrName
]
Source
mkSimpleConDecl
::
Located
RdrName
-> [
LHsTyVarBndr
RdrName
] ->
LHsContext
RdrName
->
HsConDeclDetails
RdrName
->
ConDecl
RdrName
Source
mkDeprecatedGadtRecordDecl
::
SrcSpan
->
Located
RdrName
-> [
ConDeclField
RdrName
] ->
LHsType
RdrName
->
P
(
LConDecl
RdrName
)
Source
checkPrecP
::
Located
Int
->
P
Int
Source
checkContext
::
LHsType
RdrName
->
P
(
LHsContext
RdrName
)
Source
checkPred
::
LHsType
RdrName
->
P
(
LHsPred
RdrName
)
Source
checkTyVars
:: [
LHsType
RdrName
] ->
P
[
LHsTyVarBndr
RdrName
]
Source
checkKindSigs
:: [
LTyClDecl
RdrName
] ->
P
()
Source
checkInstType
::
LHsType
RdrName
->
P
(
LHsType
RdrName
)
Source
checkPattern
::
LHsExpr
RdrName
->
P
(
LPat
RdrName
)
Source
bang_RDR
::
RdrName
Source
checkPatterns
:: [
LHsExpr
RdrName
] ->
P
[
LPat
RdrName
]
Source
checkDo
::
SrcSpan
-> [
LStmt
RdrName
] ->
P
([
LStmt
RdrName
],
LHsExpr
RdrName
)
Source
checkMDo
::
SrcSpan
-> [
LStmt
RdrName
] ->
P
([
LStmt
RdrName
],
LHsExpr
RdrName
)
Source
checkValDef
::
LHsExpr
RdrName
->
Maybe
(
LHsType
RdrName
) ->
Located
(
GRHSs
RdrName
) ->
P
(
HsBind
RdrName
)
Source
checkValSig
::
LHsExpr
RdrName
->
LHsType
RdrName
->
P
(
Sig
RdrName
)
Source
parseError
::
SrcSpan
->
String
->
P
a
Source
parseErrorSDoc
::
SrcSpan
->
SDoc
->
P
a
Source
Produced by
Haddock
version 2.6.1