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