package tezos-lwt-result-stdlib

  1. Overview
  2. Docs
Tezos: error-aware stdlib replacement

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-v10.2.tar.bz2
sha256=6b33e0549574c89a63538c94ce5555dd141e3c0fb5d934abff07d702fa3244d2
sha512=681a197baabec6e2f806871d43490382243207518f8fcf932741cd314d8717e46db2b6a5adc222f8726083a5dd911083b4931b7e878ab815f8f1a32763d1bf93

doc/traces/Traces/index.html

Module Traces

module type S = Traced_sigs.Trace.S
module type EXTENDED = sig ... end

Singleton is a trace implementation where a trace carries exactly one error. Additional information is discarded. The different variant discard additional information in different unspecified way. This is useful for testing purpose if you need to check that you do not depend on some unspecified behaviour. SingletonND is even non-deterministic.

module Flat : EXTENDED

Flat is a trace implementation where a trace carries a flat collection of errors. No error is discarded, but the structure (parallel vs sequential) is.

module Full : EXTENDED

Full is a trace implementation where a trace carries a structured collection of errors. No error is discarded, nor is the structure.