splitApp | Language.Core.CoreUtils |
splitAppIgnoreCasts | Language.Core.CoreUtils |
splitBinds | Language.Core.CoreUtils |
splitDataConApp_maybe | Language.Core.CoreUtils |
splitFunTy2_maybe | Language.Core.CoreUtils |
splitFunTy_maybe | Language.Core.CoreUtils |
splitLambda | Language.Core.CoreUtils |
splitTy | Language.Core.Check |
splitTyConApp_maybe | Language.Core.Core |
subKindOf | Language.Core.Core |
substIn | Language.Core.CoreUtils |
substl | Language.Core.CoreUtils, Language.Core.Check |
substNewtys | Language.Core.Prep |
substVars | Language.Core.CoreUtils |
SymCoercion | Language.Core.Core |