| //- | 
 | // Copyright 2017, 2018 Jason Lingle | 
 | // | 
 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or | 
 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license | 
 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your | 
 | // option. This file may not be copied, modified, or distributed | 
 | // except according to those terms. | 
 |  | 
 | //! # Proptest Reference Documentation | 
 | //! | 
 | //! This is the reference documentation for the proptest API. | 
 | //! | 
 | //! For documentation on how to get started with proptest and general usage | 
 | //! advice, please refer to the [Proptest Book](https://altsysrq.github.io/proptest-book/intro.html). | 
 |  | 
 | #![deny(missing_docs, bare_trait_objects)] | 
 | #![no_std] | 
 | #![cfg_attr(feature = "cargo-clippy", allow( | 
 |     doc_markdown, | 
 |     // We have a lot of these lints for associated types... And we don't care. | 
 |     type_complexity | 
 | ))] | 
 | #![cfg_attr(feature = "unstable", feature( | 
 |     allocator_api, | 
 |     try_trait, | 
 |     generator_trait, | 
 |     never_type, | 
 |     try_reserve | 
 | ))] | 
 | #![cfg_attr(all(feature = "std", feature = "unstable"), feature( | 
 |     mpsc_select, | 
 |     ip | 
 | ))] | 
 | #![cfg_attr(all(feature = "alloc", not(feature = "std")), feature( | 
 |     alloc, | 
 |     core_intrinsics | 
 | ))] | 
 |  | 
 | #[macro_use] | 
 | mod std_facade; | 
 |  | 
 | #[cfg(any(feature = "std", test))] | 
 | #[macro_use] | 
 | extern crate std; | 
 |  | 
 | #[cfg(all(feature = "alloc", not(feature = "std")))] | 
 | #[macro_use] | 
 | extern crate alloc; | 
 |  | 
 | #[cfg(feature = "frunk")] | 
 | #[macro_use] | 
 | extern crate frunk_core; | 
 |  | 
 | #[cfg(feature = "frunk")] | 
 | #[macro_use] | 
 | mod product_frunk; | 
 |  | 
 | #[cfg(not(feature = "frunk"))] | 
 | #[macro_use] | 
 | mod product_tuple; | 
 |  | 
 | #[macro_use] | 
 | extern crate bitflags; | 
 | #[cfg(feature = "bit-set")] | 
 | extern crate bit_set; | 
 |  | 
 | #[cfg(feature = "std")] | 
 | #[macro_use] | 
 | extern crate lazy_static; | 
 |  | 
 | // Only required for the string module. | 
 | #[cfg(feature = "std")] | 
 | #[macro_use] | 
 | extern crate quick_error; | 
 |  | 
 | #[cfg(feature = "fork")] | 
 | #[macro_use] | 
 | extern crate rusty_fork; | 
 |  | 
 | #[macro_use] | 
 | mod macros; | 
 |  | 
 | #[doc(hidden)] | 
 | #[macro_use] | 
 | pub mod sugar; | 
 |  | 
 | pub mod arbitrary; | 
 | pub mod array; | 
 | pub mod bits; | 
 | pub mod bool; | 
 | pub mod char; | 
 | pub mod collection; | 
 | pub mod num; | 
 | pub mod strategy; | 
 | pub mod test_runner; | 
 | pub mod tuple; | 
 |  | 
 | pub mod option; | 
 | pub mod result; | 
 | pub mod sample; | 
 | #[cfg(feature = "std")] | 
 | pub mod string; | 
 |  | 
 | pub mod prelude; |