DsMonad

type DsM

mapM

mapAndUnzipM

initDs

initDsTc

initTcDsForSolver

initDsWithModGuts

fixDs

foldlM

foldrM

whenGOptM

unsetGOptM

unsetWOptM

xoptM

class Applicative f

(<$>)

duplicateLocalDs

newSysLocalDsNoLP

newSysLocalDs

newSysLocalsDsNoLP

newSysLocalsDs

newUniqueId

newFailLocalDs

newPredVarDs

getSrcSpanDs

putSrcSpanDs

mkPrintUnqualifiedDs

newUnique

data UniqSupply

newUniqueSupply

getGhcModeDs

dsGetFamInstEnvs

dsLookupGlobal

dsLookupGlobalId

dsDPHBuiltin

dsLookupTyCon

dsLookupDataCon

dsLookupConLike

data PArrBuiltin

dsLookupDPHRdrEnv

dsLookupDPHRdrEnv_maybe

dsInitPArrBuiltin

type DsMetaEnv

data DsMetaVal

dsGetMetaEnv

dsLookupMetaEnv

dsExtendMetaEnv

getDictsDs

addDictsDs

getTmCsDs

addTmCsDs

incrCheckPmIterDs

resetPmIterDs

dsGetCompleteMatches

type DsWarning

warnDs

warnIfSetDs

errDs

errDsCoreExpr

failWithDs

failDs

discardWarningsDs

askNoErrsDs

data DsMatchContext

data EquationInfo

data MatchResult

type DsWrapper

idDsWrapper

data CanItFail

orFail

dsNoLevPoly

dsNoLevPolyExpr

dsWhenNoErrs