DsMonad
type
DsM
result
mapM
mapAndUnzipM
initDs
initDsTc
fixDs
foldlM
foldrM
ifOptM
class
Applicative
f
(<$>)
newLocalName
duplicateLocalDs
newSysLocalDs
newSysLocalsDs
newUniqueId
newFailLocalDs
newPredVarDs
getSrcSpanDs
putSrcSpanDs
getModuleDs
newUnique
data
UniqSupply
newUniqueSupply
getDOptsDs
getGhcModeDs
doptDs
dsLookupGlobal
dsLookupGlobalId
dsLookupTyCon
dsLookupDataCon
dsLookupClass
type
DsMetaEnv
data
DsMetaVal
dsLookupMetaEnv
dsExtendMetaEnv
type
DsWarning
warnDs
failWithDs
data
DsMatchContext
data
EquationInfo
data
MatchResult
type
DsWrapper
idDsWrapper
data
CanItFail
orFail