Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Auto.SearchControl
Documentation
data
ExpRefInfo
o
Source
Constructors
ExpRefInfo
eriMain
::
Maybe
(
RefInfo
o)
eriUnifs
:: [
RefInfo
o]
eriInfTypeUnknown
::
Bool
eriIsEliminand
::
Bool
eriUsedVars
::
Maybe
([
UId
o], [
Elr
o])
eriIotaStep
::
Maybe
Bool
eriPickSubsVar
::
Bool
eriEqRState
::
Maybe
EqReasoningState
univar
:: [
CAction
o] ->
Nat
->
Maybe
Nat
Source
subsvars
:: [
CAction
o] -> [
Nat
]
Source
costAppExtraRef
::
Int
Source
costIncrease
::
Int
Source
costIotaStep
::
Int
Source
prioTypeUnknown
::
Int
Source
prioTypecheckArgList
::
Int
Source
prioInferredTypeUnknown
::
Int
Source
prioCompBeta
::
Int
Source
prioCompBetaStructured
::
Int
Source
prioCompareArgList
::
Int
Source
prioCompIota
::
Int
Source
prioCompChoice
::
Int
Source
prioCompUnif
::
Int
Source
prioCompCopy
::
Int
Source
prioNoIota
::
Int
Source
prioAbsurdLambda
::
Int
Source
prioNo
::
Int
Source
Produced by
Haddock
version 2.6.1