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