Idris.Elab.Utils
recheckC
recheckC_borrowing
checkDeprecated
checkFragile
iderr
checkDef
checkAddDef
inaccessibleImps
inaccessibleArgs
elabCaseBlock
checkInferred
inferredDiff
checkDocs
decorateid
pbinds
pbty
getPBtys
psolve
pvars
getFixedInType
getFlexInType
getParamsInType
getTCinj
getTCParamsInType
paramNames
getUniqueUsed
getStaticNames
getStatics
mkStatic
mkStaticTy
checkVisibility
findParams
setDetaggable
displayWarnings
propagateParams
orderPats
liftPats
isEmpty
hasEmptyPat
findLinear
setLinear
linearArg
pruneByType
isPlausible