Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Py.ListSourceInterface for Python values of type List.
Wrapper for PyList_New
Equivalent to Sequence.get_item.
Wrapper for PyList_SetItem
Wrapper for PyList_Size
init n f returns the Python list [f 0, f 1, ..., f (n - 1)].
of_array a returns the Python list with the same elements as a.
of_array_map f a returns the Python list (f a0, ..., f ak) where a0, ..., ak are the elements of a.
Equivalent to Sequence.to_array.
Equivalent to Sequence.to_array_map.
of_list l returns the Python list with the same elements as l.
of_list f l returns the Python list (f l1, ..., f ln) where l1, ..., ln are the elements of l. of_list_map f l is equivalent to of_list (List.map f l) but is tail-recursive and f is applied to the elements of l in the reverse order.
Equivalent to Sequence.to_list.
Equivalent to Sequence.to_list_map.
Equivalent to Sequence.fold_left.
Equivalent to Sequence.fold_right.
Equivalent to Sequence.for_all.
Equivalent to Sequence.exists.
Equivalent to Sequence.list.
of_seq s returns the Python list with the same elements as s.
Equivalent to Sequence.to_seq.
Equivalent to Sequence.to_seqi.