Binary Search

Challenge Overview

Implement a binary search algorithm.

Visit the binary-search exercise on Exercism to read the full instructions and download the exercise files.

Community Solutions

View Community Solutions

The following are the top 1 community solutions by stars:

Solution 1 by @Rohankapri (⭐ 0) — View on Exercism

Source: Exercism idris/binary-search

💡 View Solution

module BinarySearch

import Data.Vect

export
find : Ord a => (n: Nat) -> Vect n a -> a -> Maybe (Fin n)
find n array value = go 0 n
  where
    go : Nat -> Nat -> Maybe (Fin n)
    go low high =