package hg_lib

  1. Overview
  2. Docs
val names : string list
val description : ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm
val tags : ([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm
val time : ([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm
val author : ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm
val parents : ([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm
val node : ([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm
val make_creator : node: (([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> 'a -> ('b -> Node.t) * 'c) -> parents: (([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> 'd -> ('e -> [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) * 'f) -> author: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> 'g -> ('h -> string) * 'i) -> time: (([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> 'j -> ('k -> Time.t) * 'l) -> tags: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> 'm -> ('n -> string list) * 'o) -> description: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> 'p -> ('q -> string) * 'r) -> 's -> ('t -> t) * 'u
val create : node:Node.t -> parents:[ `One of Node.t | `Two of Node.t * Node.t | `Zero ] -> author:string -> time:Time.t -> tags:string list -> description:string -> t
val map : node: (([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> Node.t) -> parents: (([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) -> author: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> string) -> time: (([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> Time.t) -> tags: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> string list) -> description: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> string) -> t
val iter : node: (([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> unit) -> parents: (([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> unit) -> author: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> unit) -> time: (([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> unit) -> tags: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> unit) -> description: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> node: ('b -> ([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> 'c) -> parents: ('d -> ([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> 'e) -> author: ('f -> ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> 'g) -> time: ('h -> ([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> 'i) -> tags: ('j -> ([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> 'k) -> description: ('l -> ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> 'm) -> 'n
val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'b list
val for_all : node: (([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> bool) -> parents: (([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> bool) -> author: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> bool) -> time: (([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> bool) -> tags: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> bool) -> description: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : node: (([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> bool) -> parents: (([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> bool) -> author: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> bool) -> time: (([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> bool) -> tags: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> bool) -> description: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : node: (([< `Read | `Set_and_create ], t, Node.t) Fieldslib.Field.t_with_perm -> 'a) -> parents: (([< `Read | `Set_and_create ], t, [ `One of Node.t | `Two of Node.t * Node.t | `Zero ]) Fieldslib.Field.t_with_perm -> 'b) -> author: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> 'c) -> time: (([< `Read | `Set_and_create ], t, Time.t) Fieldslib.Field.t_with_perm -> 'd) -> tags: (([< `Read | `Set_and_create ], t, string list) Fieldslib.Field.t_with_perm -> 'e) -> description: (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm -> 'f) -> 'g list
module Direct : sig ... end