traverse package:row-types

Traverse a function over a record. Note that the fields of the record will be accessed in lexicographic order by the labels.

Traverse a function over a variant.

Traverse a function over a Mapped record. Note that the fields of the record will be accessed in lexicographic order by the labels.

Traverse a function over a Mapped variant.