package ecaml

  1. Overview
  2. Docs
package ecaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val to_value : ('a t, 'a -> t) Fieldslib.Field.t
val of_value_exn : ('a t, t -> 'a) Fieldslib.Field.t
val fold : init:'acc__0 -> id: ('acc__0 -> ('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> 'acc__1) -> of_value_exn:('acc__1 -> ('a t, t -> 'a) Fieldslib.Field.t -> 'acc__2) -> to_value:('acc__2 -> ('a t, 'a -> t) Fieldslib.Field.t -> 'acc__3) -> 'acc__3
val make_creator : id: (('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> 'a Core_kernel.Type_equal.Id.t) * 'acc__1) -> of_value_exn: (('a t, t -> 'a) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> t -> 'a) * 'acc__2) -> to_value: (('a t, 'a -> t) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> 'a -> t) * 'acc__3) -> 'acc__0 -> ('input__ -> 'a t) * 'acc__3
val create : id:'a Core_kernel.Type_equal.Id.t -> of_value_exn:(t -> 'a) -> to_value:('a -> t) -> 'a t
val map : id: (('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> 'a Core_kernel.Type_equal.Id.t) -> of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> t -> 'a) -> to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'a -> t) -> 'a t
val iter : id:(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> unit) -> of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> unit) -> to_value:(('a t, 'a -> t) Fieldslib.Field.t -> unit) -> unit
val for_all : id:(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> bool) -> of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> bool) -> to_value:(('a t, 'a -> t) Fieldslib.Field.t -> bool) -> bool
val exists : id:(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> bool) -> of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> bool) -> to_value:(('a t, 'a -> t) Fieldslib.Field.t -> bool) -> bool
val to_list : id:(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t -> 'elem__) -> of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> 'elem__) -> to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'elem__) -> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], 'a t, 'x0) Fieldslib.Field.user -> 'x0 list
module Direct : sig ... end