package asak

You can search for identifiers within the package.

in-package search v0.2.0

package asak

asak
- README
- Library asak
  - Asak
    
    Clustering
    
    Distance
    
    Hash
    
    HMap
    
    Lambda_hash
    
    Lambda_normalization
    
    Monad_error
    
    T
    
    Make
    
    ErrS
    
    Parse_structure
    
    Partition
    
    Wtree
- Sources
  - asak
    
    asak.ml
    
    clustering.ml
    
    lambda_hash.ml
    
    lambda_normalization.ml
    
    monad_error.ml
    
    parse_structure.ml
    
    partition.ml
    
    wtree.ml

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

Module `Asak.Lambda_hash`Source

Sourcetype threshold =

| Percent of int
(*
A percentage threshold, a number between 0 and 100.
*)
| Hard of int
(*
A hard threshold.
*)

Sourcetype config = {

should_sort : bool;
(*
If we sort all lists of hashes. This is useful to identify more codes, but can identify unfactorizable code.
*)
hash_var : bool;
(*
If we hash names in the AST.
*)

}

Sourcetype fingerprint = int * Digest.t

A fingerprint is a weighted Digest.t

Sourcetype hash = fingerprint * fingerprint list

A type synonym for the result of the hash_lambda function

Sourceval hash_lambda : config -> threshold -> Lambda.lambda -> hash

Hash a lambda expression. Usage: hash_lambda config threshold expr. Two lambda expressions "of the same shape" will share the same hash. Particularly, constant are ignored.

parameter config
A configuration for the function.

parameter threshold
Used to decide which sub-AST hash is kept.

parameter expr
The expression.

returns
A tuple with the main hash, and a list of hashes of sub-ASTs satisfying the threshold.

Utilities

Sourceval map_snd : ('a -> 'b) -> ('c * 'a) list -> ('c * 'b) list

Sourceval hash_all : config -> int -> ('a * Lambda.lambda) list -> ('a * hash) list

Using a hard threshold, hash a list of lambda expressions from Parse_structure.read_structure.

Sourceval escape_hash : hash -> hash

Escape hashses for printing.

package asak

Module Asak.Lambda_hashSource

Module `Asak.Lambda_hash`Source