src/Pure/General/README
author wenzelm
Sat, 10 Jul 1999 21:34:01 +0200
changeset 6959 d33b1629eaf9
parent 6644 123b215882ae
child 9095 3b26cc949016
permissions -rw-r--r--
try/can: pass Interrupt and ERROR; nth_elem_string: use try;


                                Pure/General/


This directory contains general purpose modules, all of which are
exported.

  TableFun      (generic tables)
  Symtab        (tables indexed by strings)
  GraphFun	(generic directed graphs)
  Graph		(graphs indexed by strings)
  Object        (generic objects of arbitrary type)
  Seq           (unbounded sequences)
  NameSpace     (hierarchically structured name spaces)
  Position      (input positions)
  Scan          (generic scanner toolbox)
  Source        (co-algebraic data sources)
  Symbol        (generalized characters)
  Path          (abstract algebra of file paths)
  Url           (basic URL support)
  File          (file system operations)
  Buffer	(simple string buffers)
  History       (histories of values, with undo and redo)
  Pretty        (generic pretty printing module)