makeRule | Language.HERMIT.Primitive.GHC |
mapT | Language.HERMIT.Kure |
markColor | Language.HERMIT.PrettyPrinter |
mergeBinds | Language.HERMIT.Primitive.GHC |
mkHermitMEnv | Language.HERMIT.Monad |
modFailMsg | Language.HERMIT.Kure |
ModGutsCore | Language.HERMIT.CoreExtra, Language.HERMIT.Kure |
modGutsR | Language.HERMIT.Kure |
modGutsT | Language.HERMIT.Kure |
modPathS | Language.HERMIT.Kernel.Scoped |
MonadCatch | Language.HERMIT.Kure |
moveLocally | Language.HERMIT.Kernel.Scoped |
mtryM | Language.HERMIT.Kure |
multiBetaReduce | Language.HERMIT.Primitive.Local |
multiEtaExpand | Language.HERMIT.Primitive.Local |