Module adapton::collection

Structs

Experiment
ListZipper	Lists with a focus; suitable to implement ListEdit.

Enums

Cmd
CursorEdit
Dir2	Lists are one-dimensional structures; movement admits two possible directions.
List
ListReduce
ListTransf
Tree

Traits

ExperimentT
GraphT
ListEdit	ListEdit<A,X,L> gives a simple notion of list-editing that is generic with respect to adapton implementation A, list element type X, and list implementation L.
ListT
MapT
SetT
TreeT

Functions

list_merge
list_merge_sort
list_of_tree
list_of_vec
list_reduce_monoid
rev_list_of_tree
rev_list_of_vec
tree_append
tree_filter
tree_of_list
tree_of_list_rec
tree_reduce_monoid