portia 0.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

portia

Documentation:

• Unix Interface to the Unix system.
• UnixLabels Interface to the Unix system. To use as replacement to default Unix module, add module Unix = UnixLabels in your implementation.
• Bigarray Large, multi-dimensional, numerical arrays.
• Int_misc
• Nat
• Big_int Operations on arbitrary-precision integers.
• Arith_flags
• Ratio Operation on rational numbers.
• Num Operation on arbitrary-precision numbers.
• Arith_status Flags that control rational arithmetic.
• Str Regular expressions and high-level string processing
• BatConcurrent Definition of concurrency primitives.
• BatBytesCompat
• BatInnerWeaktbl Weak hash table library for OCaml, with an interface compatible with the standard Hashtbl module.
• BatInnerIO Core of the BatIO module.
• BatInterfaces Common signatures for data structures.
• BatOrd
• BatRef Operations on references.
• BatEnum Enumeration over abstract collection of elements.
• BatBitSet Efficient bit sets.
• BatEither Either type.
• BatInnerShuffle
• BatNumber A common interface for numbers.
• BatBytes Byte sequence operations.
• BatChar Operations on characters.
• BatString String operations.
• BatBuffer Extensible string buffers.
• BatPrintf Formatted output functions (also known as unparsing).
• BatInt Operations on integers.
• BatSeq Sequence of elements
• BatFloat Operations on floating-point numbers.
• BatOption Functions for the option type.
• BatInnerPervasives
• BatUnix Low-level interface to the operating system (both Unix and Windows).
• BatIO High-order abstract I/O.
• BatInt32
• BatInt64 64-bit integers.
• BatNativeint Processor-native integers.
• BatSet Sets over ordered types.
• BatList Additional and modified functions for lists.
• BatArray
• BatBase64 Base64 codec.
• BatDllist A mutable, imperative, circular, doubly linked list library
• BatDynArray Dynamic arrays.
• BatBigarray Additional and modified functions for big arrays.
• BatFile File manipulation.
• BatGlobal Mutable global variable.
• BatMarshal Marshaling of data structures.
• BatPervasives
• BatHashtbl Extra functions over hashtables.
• BatMap
• BatRefList Reference on lists.
• BatOptParse Modules for GNU getopt(3)-style command line parsing.
• BatUChar Unicode characters.
• BatUTF8 UTF-8 encoded Unicode strings. The type is normal string.
• Extlib
• BatReturn Local exceptions/labels/goto/return.
• BatText Heavyweight strings ("ropes")
• BatteriesPrint
• BatAvlTree Internals of ISet and IMap, usable as generic tree library
• BatBig_int Operations on arbitrary-precision integers.
• BatBool Operations on booleans
• BatBounded Bounded values
• BatCache
• BatLazyList Lazy lists of elements.
• BatParserCo A simple parser combinator library.
• BatVect Extensible vectors with constant-time append/prepend.
• BatCharParser Parsing character strings.
• BatStream Streams and stream parsers
• BatGenlex A generic lexical analyzer.
• BatComplex Additional and modified functions for complex numbers.
• BatDeque Functional double-ended queues
• BatDigest
• BatFilename Operations on file names.
• BatFingerTree This module implements a generic finger tree datastructure as described here: Finger Trees: A Simple General-purpose Data Structure http://www.soi.city.ac.uk/~ross/papers/FingerTree.pdf
• BatFormat Pretty printing.
• BatGc Memory management control and statistics; finalised values.
• BatSys System interface.
• BatHashcons Hash consing of data structures
• BatHeap Functional heaps over ordered types
• BatIMap DIET Maps from integers, packed using ranges
• BatTuple Tuples.
• BatISet DIET : Discrete Interval Encoding Trees
• BatLexing Simple lexing using ocaml conventions
• BatLog
• BatSubstring
• BatLogger
• BatMultiMap Polymorphic Multi-Map.
• BatMultiPMap Polymorphic Multi-Map.
• BatNum Operation on arbitrary-precision numbers.
• BatPathGen Filepath handling.
• BatPrintexc Facilities for printing exceptions.
• BatConcreteQueue
• BatQueue First-in first-out queues.
• BatRandom Pseudo-random number generators (PRNG).
• BatResult Monadic results of computations that can raise exceptions
• BatScanf Formatted input functions.
• BatSplay Maps over ordered types based on splay trees.
• BatStack Last-in first-out stacks.
• BatUnit Operations on unit.
• BatUref Unifiable references using destructive union-find
• Batteries
• BatteriesExceptionless
• BatteriesConfig
• BatOpaqueInnerSys
• BatMutex Locks for mutual exclusion.
• BatRMutex Reentrant Mutexes
• BatteriesThread
• Dynlinkaux
• Dynlink Dynamic loading of object files.
• PortiaLog
• PortiaConfig
• PortiaDefinition
• PortiaParse