Safe Haskell | Safe-Inferred |
---|
Agda.Auto.SearchControl
Documentation
data ExpRefInfo o Source
Constructors
ExpRefInfo | |
Fields
|
getinfo :: [RefInfo o] -> ExpRefInfo oSource
extraref :: Metavar (Exp o) (RefInfo o) -> [Maybe (Metavar (Exp o) (RefInfo o))] -> ConstRef o -> (Int, StateT (IORef [SubConstraints (RefInfo o)], Int) IO (Exp o))Source
prioTypecheck :: Num a => Bool -> aSource