jon.recoil.org

Module Misc.Nonempty_listSource

Non-empty lists

Sourcetype nonrec 'a t =
  1. | :: of 'a * 'a list
Sourceval to_list : 'a t -> 'a list
Sourceval of_list_opt : 'a list -> 'a t option
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval pp_print : ?pp_sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
Sourceval (@) : 'a t -> 'a t -> 'a t