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