package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

Dune Dependency

gitlab.com Readme MIT License Edit opam file Versions (6)

Authors

D

DaiLambda, Inc

Maintainers

J

jun.furuse@dailambda.jp

Sources

plebeia-2.0.0.tar.gz

md5=f528f42d3e72d400265eb6bc51901fca

sha512=6cf070b2f1ea2e570a106b231a7e8e40c64c91c5a7abeddf072a5c413e74d5d9dd9b7df674cca559ddb33cabc9c0ec0b3a001306397d11b62888aac4cca9fd7e

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/S/Op_lwt/index.html

Module `S.Op_lwt`Source

Sourcetype 'a t = cursor -> (cursor * 'a, Plebeia.Error.t) result Lwt.t

Sourceval return : 'a -> 'a t

Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

Sourceval mapM : ('a -> 'b t) -> 'a list -> 'b list t

Sourceval mapM_ : ('a -> unit t) -> 'a list -> unit t

Sourceval iterM : ('a -> unit t) -> 'a list -> unit t

Sourceval fold_leftM : ('a -> 'b -> 'a t) -> 'a -> 'b list -> 'a t

Sourceval parseM : ('a -> 'b list -> ('a * 'b list) t) -> 'a -> 'b list -> 'a t

Sourcemodule Infix : sig ... end

Sourcemodule Syntax : sig ... end

Sourceval lift : 'a Op.t -> 'a t

Sourceval ls : Path.t -> (Name.t * cursor) list t

Source

val fold : 
  'acc ->
  Path.t ->
  ('acc ->
    Path.t ->
    cursor ->
    ([ `Continue | `Exit | `Up ] * 'acc, Plebeia.Error.t) result Lwt.t) ->
  'acc t