Insertionsort в Haskell с заданным заказом

Question

Я пытаюсь внедрить сортировку вставки в haskell для моего еженедельного университетского задания. Это моя вставка и вид функции:

insert :: (Ord a) => a -> [a] -> [a] 
    insert a [] = [a] 
    insert a (a':as) 
     | a <= a' = a:a':as 
     | otherwise = a':insert a as 


    insertionSort :: (Ord a) => [a] -> [a] 
    insertionSort []  = [] 
    insertionSort (a:as) = insert a (insertionSort as) 

Это работает, но мой учитель указан подпись так:

insert :: (a -> a -> Bool) -> a -> [a] -> [a] 
insertionSort :: (a -> a -> Bool) -> [a] -> [a] 

Все я пытался теперь не удалось, и ошибки компилятора не очень полезно либо. Надеюсь, вы, ребята, можете мне помочь!

Edit:

Данный пример моего наставника выглядит так:

Main> insert (<) 3 [1,2,5,7,9] 
[1,2,3,5,7,9] 
Main> insSort (>) [7,9,1,2,5] 
[9,7,5,2,1] 

Answer 1

Все, что вам нужно сделать, это использовать результат булевой параметра функции вместо фиксированного сравнения, например, так:

insert :: (Ord a) => (a -> a -> Bool) -> a -> [a] -> [a] 
insert _ a [] = [a] 
insert f a (a':as) 
    | f a a' = a:a':as 
    | otherwise = a':insert f a as 

Аналогичным образом для другой функции.

insertionSort :: (Ord a) => (a -> a -> Bool) -> [a] -> [a] 
insertionSort _ []  = [] 
insertionSort f (a:as) = insert f a (insertionSort f as) 

Demo