Using guarded equations, implement a function myInsert that behaves the same way as the insert function defined in Data. List package. The Data. List. Insert function takes an element and a list and inserts the element into the list at the first position where it is less than or equal to the next element. In particular, if the list is sorted before the call, the result will also be sorted. myInsert : : Ord a â a â [a]â a[a]

a. Explain your nylnsert function definition.

b. Using nylnsert and foldr, implement insertion sort (named mySort).

nySort : : Ord a â a â [a]â a[a]

c. Explain how your nySort works when it is applied as below. Your explanation should be closely related to how foldr works.

nySort [3,1,4,2,5]

Sorting involves arranging a set of elements in a particular order (ascending or descending)

The insertion sort function written in Python, where comments are used to explain each line is as follows:

#This defines the function

def mySort(myList):

   #This iterates through the list

   for i in range(1, len(myList)):

       #This gets the current element

       currElem = myList[i]

       #This gets the index of the previous element

       j = i - 1

       # This compares the adjacent elements, and rearrange them (if needed)

       while j >= 0 and currElem < myList[j]:

           myList[j + 1] = myList[j]

           j = j - 1

       # This places the current element after a smaller element

       myList[j + 1] = currElem

Read more about sorting techniques at:

universal windows platform is an open source api created by microsoft and first introduced in windows 10. the purpose of this platform is to develop universal apps that run on windows 10, windows 10 mobile, xbox one and hololens without the need to be re-written for each. it supports windows app development using c++, c#, vb.net, and xaml. the api is implemented in c++, and supported in c++, vb.net, c#, f# and javascript. designed as an extension to the windows runtime platform first introduced in windows server 2012 and windows 8, uwp allows developers to create apps that will potentially run on multiple types of devices.