Agda.TypeChecking.Monad.Signature
modifySignature
modifyImportedSignature
getSignature
getImportedSignature
setSignature
setImportedSignature
withSignature
addConstant
makeProjection
addHaskellCode
addHaskellType
addEpicCode
addJSCode
markStatic
unionSignatures
addSection
lookupSection
addDisplayForms
applySection
addDisplayForm
canonicalName
whatInduction
singleConstructorType
getConstInfo
getPolarity
getPolarity'
setPolarity
getArgOccurrence
setArgOccurrences
getSecFreeVars
getModuleFreeVars
getDefFreeVars
freeVarsToApply
instantiateDef
makeAbstract
inAbstractMode
inConcreteMode
ignoreAbstractMode
treatAbstractly
treatAbstractly'
typeOfConst
relOfConst
sortOfConst
isProjection