package stored_reversed

You can search for identifiers within the package.

in-package search v0.2.0

A library for representing a list temporarily stored in reverse order.

Install

Dune Dependency

github.com MIT License Edit opam file Versions (2)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.0.tar.gz

sha256=fb312757d8e1d9fb9fb757705bcdeee667f541305abc02eaef47a6fa548e8522

doc/stored_reversed/Stored_reversed/index.html

Module `Stored_reversed`Source

Sourcetype +'a t

'a list t represents a list temporarily stored in the reverse of its logical order.

e.g. to represent the sequence 1 then 2 we may store 2 :: 1 :: []

Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

include Ppx_compare_lib.Comparable.S1 with type +'a t := 'a t

Sourceval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int

include Ppx_compare_lib.Equal.S1 with type +'a t := 'a t

Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool

Sourceval empty : 'a list t

The empty list.

to_list empty == []

Sourceval snoc : 'a list t -> 'a -> 'a list t

/O(1)/. Add an item to the logical end of the list.

to_list (snoc xs x) == to_list xs @ [x]

Sourceval singleton : 'a -> 'a list t

Sourceval of_list : 'a list -> 'a list t

/O(n)/. Convert from a list, preserving the logical order.

Sourceval to_list : 'a list t -> 'a list

/O(n)/. Convert to a list, preserving the logical order.

Sourceval of_list_rev : 'a list -> 'a list t

/O(1)/ Convert from a list, reversing the logical order.

Sourceval to_list_rev : 'a list t -> 'a list

/O(1)/ Convert to a list, reversing the logical order.

Sourceval map_to_list : ?tail:'b list -> 'a list t -> f:('a -> 'b) -> 'b list

/O(n)/. Perform a map while converting to a list.

/O(n)/ where /n/ is the length of x.

map_to_list x ~f ~tail:y == List.map (to_list x) ~f @ y

The default ~tail is [].

Sourceval map_append : 'b list t -> 'a list -> f:('a -> 'b) -> 'b list t

/O(n)/ Map and append values from a list, preserving logical order.

/O(n)/ where /n/ is the length of y.

map_append x y ~f == List.fold (List.map y ~f) ~init:x ~f:snoc

include Core.Quickcheckable.S1 with type 'a t := 'a t

Source

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'a t Base_quickcheck.Generator.t

Source

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'a t Base_quickcheck.Observer.t

Source

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'a t Base_quickcheck.Shrinker.t

Sourcemodule Stable : sig ... end

package stored_reversed

Install

Dune Dependency

Authors

Maintainers

Sources

doc/stored_reversed/Stored_reversed/index.html

Module Stored_reversedSource

Module `Stored_reversed`Source