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.2.0.tar.gz

md5=7191dbbd3057df0a78032b560039bb59

sha512=f09790dfa65a6c8dc0da9618123d93f145c16c3b5be719dad04114bbe95a7e94697cacf2c6fb5b50c14408f864954dbf8d47e5994093623eb77f488bdf5c4205

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

Module `WithSimulation.Op_lwt`Source

include sig ... end

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

Source

val ls : 
  Plebeia.Fs_types.Path.t ->
  (Plebeia__Fs_impl.cursor * Simulation.cursor) ->
  ((Plebeia__Fs_impl.cursor * Simulation.cursor)
   * (Plebeia.Fs_types.Name.t * (Plebeia__Fs_impl.cursor * Simulation.cursor))
       list,
    Plebeia.Error.t)
    result
    Lwt.t

Source

val fold : 
  'a ->
  Plebeia.Fs_types.FsError.path ->
  (('a ->
   Plebeia.Fs_types.Path.t ->
   Plebeia__Fs_impl.cursor ->
   ([ `Continue | `Exit | `Up ] * 'a, Plebeia.Error.t) result Lwt.t)
   * ('a ->
   Simulation.Path.t ->
   Simulation.cursor ->
   ([ `Continue | `Exit | `Up ] * 'a, Plebeia.Error.t) result Lwt.t)) ->
  'a op_lwt

Source

val fold' : 
  ?depth:[< `Eq of int | `Ge of int | `Gt of int | `Le of int | `Lt of int ] ->
  'a ->
  Plebeia.Fs_types.FsError.path ->
  (('a ->
   Plebeia.Fs_types.Path.t ->
   Plebeia__Fs_impl.cursor ->
   ('a, Plebeia.Error.t) result Lwt.t)
   * (Simulation.Path.t ->
   Simulation.cursor ->
   'a ->
   ('a, Plebeia.Error.t) result Lwt.t)) ->
  ('a * 'a) op_lwt

package plebeia

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module WithSimulation.Op_lwtSource

Module `WithSimulation.Op_lwt`Source