DsMonad

type DsM

mapM

mapAndUnzipM

initDs

initDsTc

initTcDsForSolver

fixDs

foldlM

foldrM

whenGOptM

unsetGOptM

unsetWOptM

class Applicative f

(<$>)

newLocalName

duplicateLocalDs

newSysLocalDs

newSysLocalsDs

newUniqueId

newFailLocalDs

newPredVarDs

getSrcSpanDs

putSrcSpanDs

mkPrintUnqualifiedDs

newUnique

data UniqSupply

newUniqueSupply

getGhcModeDs

dsGetFamInstEnvs

dsGetStaticBindsVar

dsLookupGlobal

dsLookupGlobalId

dsDPHBuiltin

dsLookupTyCon

dsLookupDataCon

data PArrBuiltin

dsLookupDPHRdrEnv

dsLookupDPHRdrEnv_maybe

dsInitPArrBuiltin

type DsMetaEnv

data DsMetaVal

dsGetMetaEnv

dsLookupMetaEnv

dsExtendMetaEnv

getDictsDs

addDictsDs

getTmCsDs

addTmCsDs

incrCheckPmIterDs

resetPmIterDs

type DsWarning

warnDs

failWithDs

discardWarningsDs

data DsMatchContext

data EquationInfo

data MatchResult

type DsWrapper

idDsWrapper

data CanItFail

orFail