vest_lib 0.0.5

VestLib: A library of formally verified parser and serializer combinators
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#![crate_name = "vest_lib"]
#![crate_type = "lib"]
#![warn(missing_docs)]
#![no_std]
#![doc = include_str!("lib.md")]

// mod examples;

#[cfg(feature = "std")]
extern crate std;

extern crate alloc;

/// Combinators for Bitcoin formats.
pub mod bitcoin;
/// Definitions for buffer traits that can be used as input and output for parsers and serializers,
/// along with some implementations for commonly used buffers.
pub mod buf_traits;
/// Definitions for parser and serializer combinators and their properties.
pub mod properties;
/// Regular parser and serializer combinators.
pub mod regular;
/// Utility functions and types.
pub mod utils;
//// Constant-time parser and serializer combinators.
// mod secret;
/// Error types
#[allow(missing_docs)]
pub mod errors;