package exenum

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a enum

type 'a t = 'a enum

val from_list : ?name:string -> 'a list -> 'a t

val single : ?name:string -> 'a -> 'a t

val cardinal : 'a t -> Big_int.big_int option

val get : 'a t -> Big_int.big_int -> 'a

val e_unit : unit t

val e_bool : bool t

val e_char : char t

val e_pchar : char t

val e_biginterval : Big_int.big_int -> Big_int.big_int -> Big_int.big_int t

val e_interval : int -> int -> int t

val sub : max:Big_int.big_int -> 'a t -> 'a t

val e_bigpos : Big_int.big_int t

val e_bignat : Big_int.big_int t

val e_bigint : Big_int.big_int t

val e_nat : int t

val e_pos : int t

val e_int : int t

val e_string : string t

val e_rstring : char list -> string t

val union : 'a t list -> 'a t

val product : 'a t list -> 'a list t

val pair : 'a t -> 'b t -> ('a * 'b) t

val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

val tuple2 : 'a t -> 'b t -> ('a * 'b) t

val tuple3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

val tuple4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

val tuple5 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> ('a * 'b * 'c * 'd * 'e) t

val tuple6 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  'e t ->
  'f t ->
  ('a * 'b * 'c * 'd * 'e * 'f) t

val e_list : 'a t -> 'a list t

val e_array : 'a t -> 'a array t

val e_option : 'a t -> 'a option t

val pay : 'a t Lazy.t -> 'a t

val map : 'a t -> ('a -> 'b) -> 'b t

val show : 'a t -> ('a -> string) -> int -> int -> unit

val bigshow : 'a t -> ('a -> string) -> Big_int.big_int -> int -> unit

val tester : 
  'a t ->
  ?from:Big_int.big_int ->
  ?upto:Big_int.big_int ->
  ?verbose_period:int ->
  len:int ->
  ('a -> unit) ->
  unit