Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Agda.Auto.SearchControl
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
costAppVar :: Int
costAppHint :: Int
costLamUnfold :: Int
costIotaStep :: Int
costAbsurdLam :: Int
costEqStep :: Int
costEqCong :: Int
prioCompBeta :: Int
prioCompIota :: Int
prioCompUnif :: Int
prioCompCopy :: Int
prioNoIota :: Int
prioProjIndex :: Int
prioTypecheck :: Bool -> Int