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