Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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 NatSource
subsvars :: [CAction o] -> [Nat]Source
costAppExtraRef :: IntSource
costIncrease :: IntSource
costIotaStep :: IntSource
prioTypeUnknown :: IntSource
prioTypecheckArgList :: IntSource
prioInferredTypeUnknown :: IntSource
prioCompBeta :: IntSource
prioCompBetaStructured :: IntSource
prioCompareArgList :: IntSource
prioCompIota :: IntSource
prioCompChoice :: IntSource
prioCompUnif :: IntSource
prioCompCopy :: IntSource
prioNoIota :: IntSource
prioAbsurdLambda :: IntSource
prioNo :: IntSource
Produced by Haddock version 2.6.1