portia 1.5

Libraries

This package provides the following libraries (via ocamlobjinfo):

portia

Documentation:

• 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.
• Stream Streams and parsers.
• Genlex A generic lexical analyzer.
• Str Regular expressions and high-level string processing
• Unix Interface to the Unix system.
• UnixLabels Interface to the Unix system.
• 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.
• BatBytes Byte sequence operations.
• BatChar Operations on characters.
• BatString String operations.
• BatBuffer Extensible string buffers.
• BatPrintf
• BatOption Functions for the option type.
• BatInnerPervasives
• BatInnerShuffle
• BatBitSet Efficient bit sets.
• BatUnix Low-level interface to the operating system (both Unix and Windows).
• BatIO High-order abstract I/O.
• BatNumber A common interface for numbers.
• BatInt Operations on integers.
• BatEither Either type.
• BatFloat
• BatInt32
• BatInt64 64-bit integers.
• BatNativeint Processor-native integers.
• BatSeq Sequence of elements
• BatSet Sets over ordered types.
• BatList
• BatArray
• BatBigarray Additional and modified functions for big arrays.
• BatBig_int Operations on arbitrary-precision integers.
• BatBool Operations on booleans
• BatBounded Bounded values
• BatMap
• BatLazyList Lazy lists of elements.
• BatFile File manipulation.
• BatMarshal Marshaling of data structures.
• BatPervasives
• 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
• BatGc Memory management control and statistics; finalised values.
• BatHashtbl Extra functions over hashtables.
• BatSys System interface.
• BatHashcons Hash consing of data structures
• BatHeap Functional heaps over ordered types
• BatLexing Simple lexing using ocaml conventions
• BatNum Operation on arbitrary-precision numbers.
• BatPrintexc Facilities for printing exceptions.
• BatConcreteQueue
• BatQueue First-in first-out queues.
• BatRandom Pseudo-random number generators (PRNG).
• BatScanf Formatted input functions.
• BatSplay Maps over ordered types based on splay trees.
• BatStack Last-in first-out stacks.
• BatOpaqueInnerSys
• BatUnit Operations on unit.
• BatBase64 Base64 codec.
• BatDllist A mutable, imperative, circular, doubly linked list library
• BatDynArray Dynamic arrays.
• BatGlobal Mutable global variable.
• BatRefList Reference on lists.
• BatSubstring
• BatLogger
• BatMultiPMap Polymorphic Multi-Map.
• BatMultiMap Polymorphic Multi-Map.
• BatOptParse Modules for GNU getopt(3)-style command line parsing.
• BatPathGen Filepath handling.
• BatResult Monadic results of computations that can raise exceptions
• BatReturn Local exceptions/labels/goto/return.
• BatTuple Tuples.
• BatUref Unifiable references using destructive union-find
• BatAvlTree Internals of ISet and IMap, usable as generic tree library
• BatISet DIET : Discrete Interval Encoding Trees
• BatIMap DIET Maps from integers, packed using ranges
• BatCache
• BatLog
• BatUChar Unicode characters.
• BatUTF8 UTF-8 encoded Unicode strings. The type is normal string.
• BatText Heavyweight strings ("ropes")
• BatteriesConfig
• BatteriesPrint
• Batteries
• BatteriesExceptionless
• Extlib
• Dynlink_compilerlibs
• Dynlink_types
• Dynlink_platform_intf
• Dynlink_common
• Dynlink Dynamic loading of .cmo, .cma and .cmxs files.
• PortiaLog
• PortiaConfig
• PortiaDefinition
• PortiaParse