CoreAndMore.HashConsContainer · core-and-more 0.0.1

core-and-more

Includes core, and some more useful extensions

package core-and-more

core-and-more
- CoreAndMore
  - BoolModule
  - CharModule
  - Container
  - CountedPermutation
  - Data
  - DataToPO
    
    1-D
  - DataWithPriority
    
    Priority
  - DictOf
    
    1-K
    
    2-V
  - DisjointSetOf
    
    1-DA
    
    DS
    
    D
    
    EF
    
    MF
  - DisjointSetWithSetDataOf
    
    1-DA
    
    2-DS
    
    3-EF
    
    4-MF
    
    D
  - FixHCMemoizerOf
    
    1-F
    
    Arg
    
    Result
    
    ResultDict
    
    CompareDict
  - FixMemoizerOf
    
    1-F
    
    Arg
    
    Result
    
    ResultDict
  - FloatList
  - FloatModule
  - HCDictOf
    
    1-K
    
    2-V
    
    CompareDict
  - HCSetOf
    
    1-D
  - HashConsContainer
  - HashConsOf
    
    1-D
  - HashConsTable
  - HashSet
    
    HSWrapper
    
    1-D
    
    D
    
    ImperativeSet
  - HashTable
    
    ImperativeDict
    
    Make
    
    1-D
    
    D
  - HeapOf
    
    1-D
  - Hmap
  - Hset
  - Id
  - IntList
  - IntModule
  - IntSet
    
    D
  - ListOf
    
    1-D
  - Math
  - MaxForestOf
    
    1-PO
  - MetricSpaceData
  - NonemptyNormalizedTreeOf
    
    1-D
  - NormalizedTreeOf
    
    1-D
  - Operators
  - OptionOf
    
    1-D
  - PairOf
    
    1-D1
    
    2-D2
  - PartialOrdered
  - Permutation
    
    IntIntDict
  - PrefData
  - PriorityQueueOf
    
    1-D
    
    Priority
    
    QueueHeap
  - Probability
  - QuadrupleOf
    
    1-D1
    
    2-D2
    
    3-D3
    
    4-D4
  - QuintupleOf
    
    1-D1
    
    2-D2
    
    3-D3
    
    4-D4
    
    5-D5
  - RefOf
    
    1-D
  - Semiring
    
    Sig
  - SeptupleOf
    
    1-D1
    
    2-D2
    
    3-D3
    
    4-D4
    
    5-D5
    
    6-D6
    
    7-D7
  - SetOf
    
    1-C
    
    D
  - SextupleOf
    
    1-D1
    
    2-D2
    
    3-D3
    
    4-D4
    
    5-D5
    
    6-D6
  - SimpleFile
  - Singleton
  - StarSemiring
    
    Sig
  - StochasticStarSemiring
    
    Sig
  - StringModule
  - TreeOf
    
    1-D
  - TripleOf
    
    1-D1
    
    2-D2
    
    3-D3
  - UIDData
  - UnfixedDataFunction
    
    Arg
    
    Result
  - UnfixedHCDataFunction
    
    Arg
    
    Result
  - UnitModule
  - UnorderedNonemptyTreeOf
    
    1-D
  - UnorderedTreeOf
    
    1-D

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library core-and-more

Module CoreAndMore . HashConsContainer

type +'a hash_consed = {

hkey : int;

tag : int;

node : 'a;

}

val pp_hash_consed : 
  ( Format.formatter -> 'a -> unit ) ->
  Format.formatter ->
  'a0 hash_consed ->
  unit

val hash_fold_hash_consed : 
  ( Base_internalhash_types.state -> 'a -> Base_internalhash_types.state ) ->
  Base_internalhash_types.state ->
  'a0 hash_consed ->
  Base_internalhash_types.state

val equal_hash_consed : 
  ( 'a -> 'a -> bool ) ->
  'a0 hash_consed ->
  'a1 hash_consed ->
  bool

val compare_hash_consed : 
  ( 'a -> 'a -> int ) ->
  'a0 hash_consed ->
  'a1 hash_consed ->
  int

val hash_consed_of_sexp : 
  ( Ppx_sexp_conv_lib.Sexp.t -> 'a ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'a0 hash_consed

val sexp_of_hash_consed : 
  ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) ->
  'a0 hash_consed ->
  Ppx_sexp_conv_lib.Sexp.t