DsMonad

type DsM result

mapM

mapAndUnzipM

initDs

initDsTc

fixDs

foldlM

foldrM

ifDOptM

unsetDOptM

unsetWOptM

class Applicative f

(<$>)

newLocalName

duplicateLocalDs

newSysLocalDs

newFailLocalDs

newSysLocalsDs

newUniqueId

newPredVarDs

getSrcSpanDs

putSrcSpanDs

getModuleDs

mkPrintUnqualifiedDs

newUnique

data UniqSupply

newUniqueSupply

getDOptsDs

getGhcModeDs

doptDs

woptDs

dsLookupGlobal

dsLookupGlobalId

dsLookupDPHId

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