idris-0.9.15: Functional Programming Language with Dependent Types
Idris.TypeSearch
searchByType :: PTerm -> Idris ()Source
searchPred :: IState -> Type -> [(Name, Type)] -> [(Name, Score)]Source
defaultScoreFunction :: Score -> IntSource