Basement.Sized.List

A Typed-level sized List equivalent to [a]

Try to create a ListN from a List, succeeding if the length is correct

Create a ListN from a List, expecting a given length

If this list contains more or less than the expected length of the resulting type, then an asynchronous error is raised. use toListN for a more friendly functions

Get the length of a list

Create a new list of size n, repeately calling f from 0 to n-1

Same as create but apply an offset

Create an empty list of a

create a list of 1 element

Decompose a list into its head and tail.

prepend an element to the list

Decompose a list into its first elements and the last.

append an element to the list

Get the i'the element

Get the i'th elements

This only works with TypeApplication:

indexStatic @1 (toListN_ [1,2,3] :: ListN 3 Int)

Update the value in a list at a specific location

Map all elements in a list

Map all elements in a list with an additional index

Check if a list contains the element a

Fold all elements from left

Fold all elements from left strictly

Fold all elements from left strictly with a first element as the accumulator

scanl is similar to foldl, but returns a list of successive reduced values from the left

scanl f z [x1, x2, ...] == [z, z `f` x1, (z `f` x1) `f` x2, ...]

scanl1 is a variant of scanl that has no starting value argument:

scanl1 f [x1, x2, ...] == [x1, x1 `f` x2, ...]

Fold all elements from right

Fold all elements from right assuming at least one element is in the list.

Reverse a list

Append 2 list together returning the new list

Get the minimum element of a list

Get the maximum element of a list

Get the head element of a list

Get the tail of a list

Get the list with the last element missing

Take m elements from the beggining of the list.

The number of elements need to be less or equal to the list in argument

Drop elements from a list keeping the m remaining elements

Split a list into two, returning 2 lists

Zip 2 lists of the same size, returning a new list of the tuple of each elements

Zip 3 lists of the same size

Zip 4 lists of the same size

Zip 5 lists of the same size

Unzip a list of tuple, to 2 List of the deconstructed tuples

Zip 2 lists using a function

Zip 3 lists using a function

Zip 4 lists using a function

Zip 5 lists using a function

Create a list of n elements where each element is the element in argument

performs a monadic action n times, gathering the results in a List of size n.

Evaluate each monadic action in the list sequentially, and collect the results.

Evaluate each monadic action in the list sequentially, and ignore the results.

Map each element of a List to a monadic action, evaluate these actions sequentially and collect the results

Map each element of a List to a monadic action, evaluate these actions sequentially and ignore the results