DsMonad
type DsM result
mapM
mapAndUnzipM
initDs
initDsTc
fixDs
foldlM
foldrM
ifDOptM
unsetOptM
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
dsLoadModule
type DsWarning
warnDs
failWithDs
data DsMatchContext
data EquationInfo
data MatchResult
type DsWrapper
idDsWrapper
data CanItFail
orFail