License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.TypeSearch
Description
Synopsis
- searchByType :: [PkgName] -> PTerm -> Idris ()
- searchPred :: IState -> Type -> [(Name, Type)] -> [(Name, Score)]
- defaultScoreFunction :: Score -> Int
Documentation
searchByType :: [PkgName] -> PTerm -> Idris () #
defaultScoreFunction :: Score -> Int #
Convert a Score
to an Int
to provide an order for search results.
Lower scores are better.