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