Libraries.Auxiliary

List operations

applyAt

overwriteAt

has_duplicates

substitute

Set and Map related operations

map_provide

intset_inserts

intmap_zip

intmap_zip_errmsg

intmap_map

intmap_mapM

XIntMaps

data XIntMap a

xintmap_delete

xintmap_deletes

xintmap_insert

xintmap_inserts

xintmap_lookup

xintmap_member

xintmap_empty

xintmap_freshkey

xintmap_freshkeys

xintmap_to_intmap

xintmap_size

xintmap_dirty

xintmap_reserves

xintmap_unreserves

xintmap_makeclean

Various map- and fold-like list combinators

loop

loop_with_index

fold_right_zip

zip_strict

zip_strict_errmsg

zip_rightstrict

zip_rightstrict_errmsg

zipWith_strict

zipWith_rightstrict

Monadic versions of list combinators

loopM

loop_with_indexM

zipRightWithRightStrictM

zipRightWithRightStrictM_

fold_right_zipM

foldRightPairM

foldRightPairM_

sequence_right

sequence_right_

Loops

for

endfor

foreach

Operations for monads

mmap

monad_join1

Operations for disjoint unions

map_either

map_eitherM

Operations for tuples

map_pair

map_pairM

Arithmetic operations

int_ceiling

Bit vectors

type Boollist

boollist_of_int_bh

boollist_of_int_lh

int_of_boollist_unsigned_bh

int_of_boollist_signed_bh

bool_xor

boollist_xor

Formatting of lists and strings

string_of_list

optional

Lists optimized for fast concatenation

data BList a

blist_of_list

list_of_blist

(+++)

blist_empty

blist_concat

Strings optimized for fast concatenation

type Strbuf

strbuf_of_string

string_of_strbuf

strbuf_empty

strbuf_concat

The identity monad

data Id a

Identity types

data Identity a b

reflexivity

symmetry

transitivity

identity

Error messages

type ErrMsg

The Curry type class

class Curry fun args res