2019-05-31 06:03:15 -07:00
|
|
|
def append(list1, list2):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2017-10-21 09:36:52 +01:00
|
|
|
def concat(lists):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2019-05-31 06:03:15 -07:00
|
|
|
def filter(function, list):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2019-05-31 06:03:15 -07:00
|
|
|
def length(list):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2019-05-31 06:03:15 -07:00
|
|
|
def map(function, list):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2019-05-31 06:03:15 -07:00
|
|
|
def foldl(function, list, initial):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2019-05-31 06:03:15 -07:00
|
|
|
def foldr(function, list, initial):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
2016-10-28 12:37:41 +02:00
|
|
|
|
|
|
|
|
|
2019-05-31 06:03:15 -07:00
|
|
|
def reverse(list):
|
2017-03-12 15:13:28 +01:00
|
|
|
pass
|
