package exenum

  1. Overview
  2. Docs
Build efficient enumerations for datatypes. Inspired by Feat for Haskell.

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (4)

Authors

  1. D
    Didier Le Botlan <github.lebotlan@dfgh.net>

Maintainers

  1. D
    Didier Le Botlan <github.lebotlan@dfgh.net>

Sources

v0.82.0.tar.gz
sha256=ab25cd106937fefef265abc6e7157a1d48c5ea6663fab7d782914d9659ff4aee
md5=5367c3fe8d5a3b645c719b48889a6fce

doc/exenum.internals/Exenum_internals/Exen/index.html

Module Exenum_internals.ExenSource

Sourcetype 'a t = {
  1. cardinal : Big_int.big_int option;
  2. n_parts : int option;
  3. parts : 'a Parts.part ExtArray.t;
  4. new_part : int -> 'a Parts.part;
  5. title : string Lazy.t;
}
Sourceval cardinal : 'a t -> Big_int.big_int option
Sourceval check_array_index : int -> 'a t -> bool
Sourceval get_part : 'a t -> int -> 'a Parts.part
Sourceval get_in_parts : 'a t -> Big_int.big_int -> int -> 'a
Sourceval get : 'a t -> Big_int.big_int -> 'a
Sourceval from_single_part : string Lazy.t -> 'a Parts.part -> 'a t
Sourceval from_list : ?name:string -> 'a list -> 'a t
Sourceval pay : 'a t Lazy.t -> 'a t
Sourceval map : 'a t -> ('a -> 'b) -> 'b t
Sourceval sub : max:Big_int.big_int -> 'a t -> 'a t
Sourceval sum_cardinals : Big_int.big_int -> 'a t list -> Big_int.big_int option
Sourceval infmax : 'a option -> 'a option -> 'a option
Sourceval max_parts : 'a t list -> int option
Sourceval union : 'a t list -> 'a t
Sourceval prod_cardinals : Big_int.big_int option -> 'a t list -> Big_int.big_int option
Sourceval find_vectors_aux : int -> int -> bool -> int list list -> int list -> int -> int list -> int list list
Sourceval find_vectors : int -> int list -> int list list
Sourceval vector_to_part_list : 'a t list -> int list -> 'a Parts.part list
Sourceval prod_parts : int -> 'a t list -> 'a list Parts.part
Sourceval product : 'a t list -> 'a list t