Previous Up Next

Interface for module Basic

The basic module contains general functions not already present in the general libraries. Lists will heavily be used later, hence a number of list-manipulation function are collected here.
vallist_productlist→αlistlist→αlistlist
vallist_product_2listlist→αlistlist
vallist_map_cross_product:(α→β→γ)→αlist→βlist→γlist
vallist_symproduct_3:(α→α→γ)→αlist→γlist
vallist_flatten_map:(α→βlist)→αlist→βlist

vallist_flatten_2:(((αlist)נ(βlist))list)→((αlist)נ(βlist))
vallist_remove_all:α→αlist→αlist
vallist_longest_common_prefix:(αlistנαlist)→(αlistנαlistנαlist)
vallist_is_postfix_and_prelist→αlist→(boolנαlist)
vallist_mergelist→αlist→((αlist)נ(αlist))
vallist_remove_doubletteslist→αlist
vallist_has_unique_entrieslistbool
vallist_cross_productlist→βlist→(αנβ)list
vallist_to_nlistint→αlistlist
vallist_combinationslistint→αlistlist
vallist_insert_after_nth:int→α→αlist→αlist
vallist_insert_after_allpos:α→αlist→(αlist)list

valsymmetrify:(αנα)list→(αנα)list

typeαdgraph=Graphof(α→αlist)
valdfsdgraph→(α→bool)→α→α
valdfs_collectdgraph→(α→bool)→α→αlist

typeorder=LESSEQNLESS
vallex_order:(α→β→order)→αlist→βlistorder


Previous Up Next