package fix

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

2018/11/30
2013/06/11

fix
- CHANGES
- README
- Library fix
  - Fix
    
    TYPE
    
    OrderedType
    
    HashedType
    
    FINITE_TYPE
    
    PERSISTENT_MAPS
    
    MINIMAL_IMPERATIVE_MAPS
    
    IMPERATIVE_MAPS
    
    PROPERTY
    
    MEMOIZER
    
    TABULATOR
    
    SOLVER
    
    GRAPH
    
    NUMBERING
    
    INJECTION
    
    Glue
    
    CHAR
    
    INT
    
    STRING
    
    TrivialOrderedType
    
    TrivialHashedType
    
    InjectOrderedType
    
    InjectHashedType
    
    InjectMinimalImperativeMaps
    
    InjectImperativeMaps
    
    PersistentMapsToImperativeMaps
    
    ArraysAsImperativeMaps
    
    HashTablesAsImperativeMaps
    
    WeakHashTablesAsImperativeMaps
    
    Memoize
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    Char
    
    Int
    
    String
    
    Number
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    Tabulate
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    ForIntSegment
    
    Gensym
    
    HashCons
    
    SERVICE
    
    Make
    
    ForHashedType
    
    ForHashedTypeWeak
    
    Prop
    
    Boolean
    
    Option
    
    Set
    
    Fix
    
    Make
    
    ForOrderedType
    
    ForHashedType
    
    ForType
    
    Make
- Sources
  - fix
    
    Boolean.ml
    
    Core.ml
    
    Fix.ml
    
    Gensym.ml
    
    Glue.ml
    
    Graph.ml
    
    HashCons.ml
    
    Memoize.ml
    
    Number.ml
    
    Option.ml
    
    Set.ml
    
    Sigs.ml
    
    Tabulate.ml
    
    fix__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

CHANGES

2018/11/30

New release, including new modules (Gensym, Memoize, Tabulate, Number, HashCons, Prop, Glue), new convenience functors (Fix.ForHashedType, etc.), and new demos. The least-fixed-point computation algorithm is unchanged.

2013/06/11

Initial release of the package, containing just Fix.Make, the least-fixed-point computation algorithm.