DsMonad

type DsM result

mapM

mapAndUnzipM

initDs

initDsTc

fixDs

foldlM

foldrM

ifDOptM

unsetDOptM

unsetWOptM

class Applicative f

(<$>)

newLocalName

duplicateLocalDs

newSysLocalDs

newSysLocalsDs

newUniqueId

newFailLocalDs

newPredVarDs

getSrcSpanDs

putSrcSpanDs

getModuleDs

mkPrintUnqualifiedDs

newUnique

data UniqSupply

newUniqueSupply

getGhcModeDs

dsLookupGlobal

dsLookupGlobalId

dsDPHBuiltin

dsLookupTyCon

dsLookupDataCon

data PArrBuiltin

dsLookupDPHRdrEnv

dsLookupDPHRdrEnv_maybe

dsInitPArrBuiltin

type DsMetaEnv

data DsMetaVal

dsGetMetaEnv

dsLookupMetaEnv

dsExtendMetaEnv

type DsWarning

warnDs

failWithDs

data DsMatchContext

data EquationInfo

data MatchResult

type DsWrapper

idDsWrapper

data CanItFail

orFail