Header menu logo issie

List Module

Functions and values

Function or value Description

array_

Full Usage: array_

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

Isomorphism to an array.

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

head_

Full Usage: head_

Returns: Prism<'v list, 'v>

Prism to the head of a list.

Returns: Prism<'v list, 'v>

pos_ i

Full Usage: 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>

tail_

Full Usage: 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.