zfc

Library for sets according to ZFC.
git clone https://git.philomathiclife.com/repos/zfc
Log | Files | Refs | README

Cargo.toml (3860B)

      1 [package]
      2 authors = ["Zack Newman <zack@philomathiclife.com>"]
      3 categories = ["mathematics", "no-std"]
      4 description = "Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC)."
      5 documentation = "https://docs.rs/zfc/latest/zfc/"
      6 edition = "2024"
      7 keywords = ["math", "set", "zfc"]
      8 license = "MIT OR Apache-2.0"
      9 name = "zfc"
     10 readme = "README.md"
     11 repository = "https://git.philomathiclife.com/repos/zfc/"
     12 rust-version = "1.86.0"
     13 version = "0.4.3"
     14 
     15 [lints.rust]
     16 ambiguous_negative_literals = { level = "deny", priority = -1 }
     17 closure_returning_async_block = { level = "deny", priority = -1 }
     18 deref_into_dyn_supertrait = { level = "deny", priority = -1 }
     19 ffi_unwind_calls = { level = "deny", priority = -1 }
     20 future_incompatible = { level = "deny", priority = -1 }
     21 impl_trait_redundant_captures = { level = "deny", priority = -1 }
     22 keyword-idents = { level = "deny", priority = -1 }
     23 let_underscore = { level = "deny", priority = -1 }
     24 linker_messages = { level = "deny", priority = -1 }
     25 macro_use_extern_crate = { level = "deny", priority = -1 }
     26 meta_variable_misuse = { level = "deny", priority = -1 }
     27 missing_copy_implementations = { level = "deny", priority = -1 }
     28 missing_debug_implementations = { level = "deny", priority = -1 }
     29 missing_docs = { level = "deny", priority = -1 }
     30 non_ascii_idents = { level = "deny", priority = -1 }
     31 nonstandard_style = { level = "deny", priority = -1 }
     32 redundant_imports = { level = "deny", priority = -1 }
     33 redundant_lifetimes = { level = "deny", priority = -1 }
     34 refining_impl_trait = { level = "deny", priority = -1 }
     35 rust_2018_compatibility = { level = "deny", priority = -1 }
     36 rust_2018_idioms = { level = "deny", priority = -1 }
     37 rust_2021_compatibility = { level = "deny", priority = -1 }
     38 rust_2024_compatibility = { level = "deny", priority = -1 }
     39 single_use_lifetimes = { level = "deny", priority = -1 }
     40 trivial_casts = { level = "deny", priority = -1 }
     41 trivial_numeric_casts = { level = "deny", priority = -1 }
     42 unit_bindings = { level = "deny", priority = -1 }
     43 unknown_lints = { level = "deny", priority = -1 }
     44 unnameable_types = { level = "deny", priority = -1 }
     45 unreachable_pub = { level = "deny", priority = -1 }
     46 unsafe_code = { level = "deny", priority = -1 }
     47 unstable_features = { level = "deny", priority = -1 }
     48 unused = { level = "deny", priority = -1 }
     49 unused_crate_dependencies = { level = "deny", priority = -1 }
     50 unused_import_braces = { level = "deny", priority = -1 }
     51 unused_lifetimes = { level = "deny", priority = -1 }
     52 unused_qualifications = { level = "deny", priority = -1 }
     53 unused_results = { level = "deny", priority = -1 }
     54 variant_size_differences = { level = "deny", priority = -1 }
     55 warnings = { level = "deny", priority = -1 }
     56 
     57 [lints.clippy]
     58 all = { level = "deny", priority = -1 }
     59 cargo = { level = "deny", priority = -1 }
     60 complexity = { level = "deny", priority = -1 }
     61 correctness = { level = "deny", priority = -1 }
     62 nursery = { level = "deny", priority = -1 }
     63 pedantic = { level = "deny", priority = -1 }
     64 perf = { level = "deny", priority = -1 }
     65 restriction = { level = "deny", priority = -1 }
     66 style = { level = "deny", priority = -1 }
     67 suspicious = { level = "deny", priority = -1 }
     68 # Noisy, opinionated, and likely don't prevent bugs or improve APIs.
     69 arbitrary_source_item_ordering = "allow"
     70 blanket_clippy_restriction_lints = "allow"
     71 exhaustive_enums = "allow"
     72 exhaustive_structs = "allow"
     73 implicit_return = "allow"
     74 min_ident_chars = "allow"
     75 missing_trait_methods = "allow"
     76 pub_use = "allow"
     77 ref_patterns = "allow"
     78 single_char_lifetime_names = "allow"
     79 
     80 [package.metadata.docs.rs]
     81 all-features = true
     82 rustdoc-args = ["--cfg", "docsrs"]
     83 
     84 [dependencies]
     85 num-bigint = { version = "0.4.6", default-features = false }
     86 
     87 
     88 ### FEATURES #################################################################
     89 
     90 [features]
     91 # Provide Set implementation for HashSet.
     92 std = []