idris-0.9.14.3: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.TypeSearch

Documentation

searchByType :: PTerm -> Idris () Source

searchPred :: IState -> Type -> [(Name, Type)] -> [(Name, Score)] Source

defaultScoreFunction :: Score -> Int Source