# GAP:List

## Definition

### Function type

This function takes two inputs, the first being a list and the second being a function.

### Behavior

The function behaves the way "map" behaves in the context of functional programming languages: it outputs a new list where each element is obtained by applying the function to the corresponding element of the input list.

Nature of input Output
First input is a list, second input is a function New list, whose $i^{th}$ element is obtained by applying the function to the $i^{th}$ element of the original list.
Either of the inputs is undefined Error of the form Variable: <..> must have an assigned value at ...
First input is not a list NoMethodFound error
Second input is something but is not a function Error of the form Function Calls: <func> must be a function ...
The function given as the second input cannot be applied to the elements of the list given in the first input NoMethodFound error (or possibly usage error, depending on the nature of the issue)

Function Meaning
Filtered
ForAll
{"ft_lang_label":"__label__en","ft_lang_prob":0.8150339,"math_prob":0.9387123,"size":1097,"snap":"2020-45-2020-50","text_gpt3_token_len":238,"char_repetition_ratio":0.19121684,"word_repetition_ratio":0.055248618,"special_character_ratio":0.20783956,"punctuation_ratio":0.098522164,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.95266336,"pos_list":[0,1,2,3,4],"im_url_duplicate_count":[null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-12-04T11:12:27Z\",\"WARC-Record-ID\":\"<urn:uuid:c4d07b95-a6b6-4e3c-8973-91e257f2af58>\",\"Content-Length\":\"23220\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:00d5f36e-150d-4e3f-a737-9be92a4d6259>\",\"WARC-Concurrent-To\":\"<urn:uuid:eb14aeb3-48b3-4bcb-b687-00cd9ca112d4>\",\"WARC-IP-Address\":\"96.126.114.7\",\"WARC-Target-URI\":\"https://groupprops.subwiki.org/wiki/GAP:List\",\"WARC-Payload-Digest\":\"sha1:CQZI45VOZV6ARGY35WTSTMHGH3PB7BVY\",\"WARC-Block-Digest\":\"sha1:GVAS2VYLHWNM76IXMWCEWWARNMTXJS54\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-50/CC-MAIN-2020-50_segments_1606141735600.89_warc_CC-MAIN-20201204101314-20201204131314-00155.warc.gz\"}"}