idris-0.9.15: Functional Programming Language with Dependent Types

Safe Haskell	None

Idris.TypeSearch

Documentation

searchByType :: PTerm -> Idris ()Source

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

defaultScoreFunction :: Score -> IntSource