package core-and-more

You can search for identifiers within the package.

in-package search v0.2.0

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

include sig ... end

module D : sig ... end

type elt = D.key

val compare_elt : elt -> elt -> Ppx_deriving_runtime.int

val pp_elt : 
  Ppx_deriving_runtime.Format.formatter ->
  elt ->
  Ppx_deriving_runtime.unit

val show_elt : elt -> Ppx_deriving_runtime.string

val hash_fold_elt : Base.Hash.state -> elt -> Base.Hash.state

val hash_elt : elt -> Base.Hash.hash_value

type t = D.t

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state

val hash : t -> Base.Hash.hash_value

val empty : D.t

val insert : D.key -> D.t -> D.t

val insert_and_new : D.key -> D.t -> D.t * bool

val insert_all : D.t -> D.key list -> D.t

val singleton : D.key -> D.t

val union : D.t -> D.t -> D.t

val member : D.t -> D.key -> bool

val subset : D.t -> D.t -> bool

val intersect : D.t -> D.t -> D.t

val diff : D.t -> D.t -> D.t

val remove : D.key -> D.t -> D.t

val choose : D.t -> (D.key * D.t) option

val fold : f:(D.key -> 'a -> 'a) -> init:'a -> D.t -> 'a

val map : f:(elt -> elt) -> t -> t

val filter : f:(elt -> bool) -> t -> t

val from_list : elt list -> t

val as_list : D.t -> D.key list

val is_empty : D.t -> bool

val compare : t -> t -> int

val equal : t -> t -> bool

val po_compare : t -> t -> CoreAndMore__.Util.partial_order_comparison

val max : t -> elt option

val max_exn : t -> elt

val size : t -> int

val show : t -> string