Libraries

Libraries, etc.
       
Logical types has the following libraries, systems, and sample code.  All provided with the usual caveats (they are not guaranteed to work, and Logical Types is not liable for you downloading and using this code):
      
      
 
      
Libraries
      
   utils
        
a set of utilities useful for building production systems     
contains modules:       
         
    
Module
    
test status
    
documentation
         
         
utils
    
1/4 submodules tested
no
         
utils.graph
    
0/1 new preds tested
no
         
utils.random
    
0/10 preds tested
no
         
utils.series
    
3/3 preds/funcs tested
no
         
utils.xml
    
2/3 submodules tested
no
         
utils.xml.facade
    
1/1 pred tested
no
         
utils.xml.pprint
    
2/2 preds tested
no
         
utils.xml.transform
    
4/9 funcs/preds tested
    
no
       
   
      
      
qcheck2
        
A testing/verification framework for Mercury programs     
     see qcheck2         justification (work in progress)
      
      
 
      
Systems
      
ltq
        
Extends Mercury with op/3 declarations, allowing     syntax modification     
     see installation         instructions
   see                 ltq doc
see       write_canonical       that interprets op/3 declarations

samples:       hello.m and       play.m
      
      
 
      
Fixes/Patches
      
anys
        
A set of fixes to the utilities provided in the Mercury     extras distribution supporting operations     with the any mode
            see anys-diffus.zip              simply to apply patches
      
 
      
Alpha:   You Have Been Warned!
      
matrix
        
Work in progress to add a viable matrix protocol; will be         rolled into the utils library.
      
tiffany       
        
A very small, thread-un-safe, foreign interface to     libtiff; also requires     matrix (which it already bundles).
      
 
      
      

Contact Information: dauclair at hotmail.com 703-300-0447
Copyright © 2006-2007, Logical Types, LLC. All rights reserved.