Lifting a item to a singleton container.
Singleton lifts a single item to a traversable container, and is useful for passing one item to functors and other contexts that expect a container.
'a t is just 'a, but made to look like a container type. If its inner type is sexpable, it is too.
val t_of_sexp :
(Ppx_sexp_conv_lib.Sexp.t -> 'a) ->
Ppx_sexp_conv_lib.Sexp.t ->
'a tval sexp_of_t :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tWe implement S1_container, and, by extension, the Core container interface.
include Traversable.S1_container with type 'a t := 'a tOn_monad implements monadic folding and mapping operators for a given monad M, including arity-1 specific operators.
module With_errors :
Traversable.On_monad1 with type 'a t := 'a t and module M := Base.Or_errorWith_errors is shorthand for On_monad (Or_error).
include Traversable.Generic_container
with type 'a t := 'a t
and type 'a elt := 'a
and module On_monad := On_monad
and module With_errors := With_errorsinclude Types_intf.Generic with type 'a t := 'a t with type 'a elt := 'aWe can do generic container operations.
include Base.Container.Generic with type 'a t := 'a t and type 'a elt := 'aWe can do non-monadic mapping operations.
include Mappable.Generic with type 'a t := 'a t and type 'a elt := 'aGeneric refers to the container type as 'a t, and the element type as 'a elt; substitute t/elt (arity-0) or 'a t/'a (arity-1) accordingly below.
include Types_intf.Generic with type 'a t := 'a t with type 'a elt := 'afold_map c ~f ~init folds f over every t in c, threading through an accumulator with initial value init.
include Mappable.S1_container with type 'a t := 'a tinclude Mappable.S1 with type 'a t := 'a tinclude Mappable.Generic with type 'a t := 'a t and type 'a elt := 'aGeneric refers to the container type as 'a t, and the element type as 'a elt; substitute t/elt (arity-0) or 'a t/'a (arity-1) accordingly below.
include Types_intf.Generic with type 'a t := 'a t with type 'a elt := 'ainclude Base.Container.S1 with type 'a t := 'a tval mem : 'a t -> 'a -> equal:('a -> 'a -> bool) -> boolval length : 'a t -> intval is_empty : 'a t -> boolval iter : 'a t -> f:('a -> unit) -> unitval fold : 'a t -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accumval fold_result :
'a t ->
init:'accum ->
f:('accum -> 'a -> ('accum, 'e) Base__.Result.t) ->
('accum, 'e) Base__.Result.tval fold_until :
'a t ->
init:'accum ->
f:('accum -> 'a -> ('accum, 'final) Base__.Container_intf.Continue_or_stop.t) ->
finish:('accum -> 'final) ->
'finalval exists : 'a t -> f:('a -> bool) -> boolval for_all : 'a t -> f:('a -> bool) -> boolval count : 'a t -> f:('a -> bool) -> intval sum :
(module Base__.Commutative_group.S with type t = 'sum) ->
'a t ->
f:('a -> 'sum) ->
'sumval find : 'a t -> f:('a -> bool) -> 'a optionval find_map : 'a t -> f:('a -> 'b option) -> 'b optionval to_list : 'a t -> 'a listval to_array : 'a t -> 'a arrayval min_elt : 'a t -> compare:('a -> 'a -> int) -> 'a optionval max_elt : 'a t -> compare:('a -> 'a -> int) -> 'a optioninclude Mappable.Extensions1 with type 'a t := 'a tExtensions1 includes the container extensions from T_container, as they work with any arity-1 container.
include T_container.Extensions1 with type 'a t := 'a tval max_measure : measure:('a -> int) -> ?default:int -> 'a t -> intmax_measure ~measure ~default xs measures each item in xs according to measure, and returns the highest measure reported. If xs is empty, return default if given, and 0 otherwise.
val any : predicates:('a -> bool) t -> 'a -> boolany ~predicates x tests x against predicates until one returns true, or all return false.