ListModule

PackageFCQRS.Model

Summary

NameSignatureSynopsis
head_List.head_ Prism to the head of a list.
pos_List.pos_ iPrism to an indexed position in a list.
tail_List.tail_ Prism to the tail of a list.
array_List.array_ Isomorphism to an array.

head_

List.head_
Member
Prism to the head of a list.

Returns

Prism<'v list, 'v>

pos_

List.pos_ i
Member
Prism to an indexed position in a list.

Parameters

NameTypeDescription
iint

Returns

Prism<'v list, 'v>

tail_

List.tail_
Member
Prism to the tail of a list.

Returns

Prism<'v list, 'v list>

array_

List.array_
Member
Isomorphism to an array.

Returns

Isomorphism<'v list, 'v[]>