Header menu logo FCQRS

List Module

Functions and values

Function or value Description

List.array_

Full Usage: List.array_

Returns: Isomorphism<'v list, 'v[]>

Isomorphism to an array.

Returns: Isomorphism<'v list, 'v[]>

List.head_

Full Usage: List.head_

Returns: Prism<'v list, 'v>

Prism to the head of a list.

Returns: Prism<'v list, 'v>

List.pos_ i

Full Usage: List.pos_ i

Parameters:
    i : int

Returns: Prism<'v list, 'v>

Prism to an indexed position in a list.

i : int
Returns: Prism<'v list, 'v>

List.tail_

Full Usage: List.tail_

Returns: Prism<'v list, 'v list>

Prism to the tail of a list.

Returns: Prism<'v list, 'v list>

Type something to start searching.