Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Auto.SearchControl
Contents
Documentation
data ExpRefInfo o #
Constructors
ExpRefInfo | |
Fields
|
getinfo :: [RefInfo o] -> ExpRefInfo o #
extraref :: UId o -> [Maybe (UId o)] -> ConstRef o -> (Int, StateT (IORef [SubConstraints (RefInfo o)], Int) IO (Exp o)) #
costIncrease :: Int #
costUnification :: Int #
costAppVar :: Int #
costAppVarUsed :: Int #
costAppHint :: Int #
costAppHintUsed :: Int #
costAppRecCall :: Int #
costAppExtraRef :: Int #
costLamUnfold :: Int #
costIotaStep :: Int #
costAbsurdLam :: Int #
costEqStep :: Int #
costEqCong :: Int #
prioTypeUnknown :: Int #
prioCompBeta :: Int #
prioCompIota :: Int #
prioCompChoice :: Int #
prioCompUnif :: Int #
prioCompCopy :: Int #
prioNoIota :: Int #
prioAbsurdLambda :: Int #
prioProjIndex :: Int #
prioTypecheck :: Bool -> Int #