zfc

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

Cargo.toml (4310B)

      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.4"
     14 
     15 [lints.rust]
     16 ambiguous_negative_literals = { level = "deny", priority = -1 }
     17 closure_returning_async_block = { level = "deny", priority = -1 }
     18 deprecated_safe = { level = "deny", priority = -1 }
     19 deref_into_dyn_supertrait = { level = "deny", priority = -1 }
     20 ffi_unwind_calls = { level = "deny", priority = -1 }
     21 future_incompatible = { level = "deny", priority = -1 }
     22 #fuzzy_provenance_casts = { level = "deny", priority = -1 }
     23 impl_trait_redundant_captures = { level = "deny", priority = -1 }
     24 keyword_idents = { level = "deny", priority = -1 }
     25 let_underscore = { level = "deny", priority = -1 }
     26 linker_messages = { level = "deny", priority = -1 }
     27 #lossy_provenance_casts = { level = "deny", priority = -1 }
     28 macro_use_extern_crate = { level = "deny", priority = -1 }
     29 meta_variable_misuse = { level = "deny", priority = -1 }
     30 missing_copy_implementations = { level = "deny", priority = -1 }
     31 missing_debug_implementations = { level = "deny", priority = -1 }
     32 missing_docs = { level = "deny", priority = -1 }
     33 #multiple_supertrait_upcastable = { level = "deny", priority = -1 }
     34 #must_not_suspend = { level = "deny", priority = -1 }
     35 non_ascii_idents = { level = "deny", priority = -1 }
     36 #non_exhaustive_omitted_patterns = { level = "deny", priority = -1 }
     37 nonstandard_style = { level = "deny", priority = -1 }
     38 redundant_imports = { level = "deny", priority = -1 }
     39 redundant_lifetimes = { level = "deny", priority = -1 }
     40 refining_impl_trait = { level = "deny", priority = -1 }
     41 rust_2018_compatibility = { level = "deny", priority = -1 }
     42 rust_2018_idioms = { level = "deny", priority = -1 }
     43 rust_2021_compatibility = { level = "deny", priority = -1 }
     44 rust_2024_compatibility = { level = "deny", priority = -1 }
     45 single_use_lifetimes = { level = "deny", priority = -1 }
     46 #supertrait_item_shadowing_definition = { level = "deny", priority = -1 }
     47 trivial_casts = { level = "deny", priority = -1 }
     48 trivial_numeric_casts = { level = "deny", priority = -1 }
     49 unit_bindings = { level = "deny", priority = -1 }
     50 unnameable_types = { level = "deny", priority = -1 }
     51 #unqualified_local_imports = { level = "deny", priority = -1 }
     52 unreachable_pub = { level = "deny", priority = -1 }
     53 unsafe_code = { level = "deny", priority = -1 }
     54 unstable_features = { level = "deny", priority = -1 }
     55 unused = { level = "deny", priority = -1 }
     56 unused_crate_dependencies = { level = "deny", priority = -1 }
     57 unused_import_braces = { level = "deny", priority = -1 }
     58 unused_lifetimes = { level = "deny", priority = -1 }
     59 unused_qualifications = { level = "deny", priority = -1 }
     60 unused_results = { level = "deny", priority = -1 }
     61 variant_size_differences = { level = "deny", priority = -1 }
     62 warnings = { level = "deny", priority = -1 }
     63 
     64 [lints.clippy]
     65 all = { level = "deny", priority = -1 }
     66 cargo = { level = "deny", priority = -1 }
     67 complexity = { level = "deny", priority = -1 }
     68 correctness = { level = "deny", priority = -1 }
     69 nursery = { level = "deny", priority = -1 }
     70 pedantic = { level = "deny", priority = -1 }
     71 perf = { level = "deny", priority = -1 }
     72 restriction = { level = "deny", priority = -1 }
     73 style = { level = "deny", priority = -1 }
     74 suspicious = { level = "deny", priority = -1 }
     75 # Noisy, opinionated, and likely don't prevent bugs or improve APIs.
     76 arbitrary_source_item_ordering = "allow"
     77 blanket_clippy_restriction_lints = "allow"
     78 exhaustive_enums = "allow"
     79 exhaustive_structs = "allow"
     80 implicit_return = "allow"
     81 min_ident_chars = "allow"
     82 missing_trait_methods = "allow"
     83 pub_use = "allow"
     84 ref_patterns = "allow"
     85 single_char_lifetime_names = "allow"
     86 
     87 [package.metadata.docs.rs]
     88 all-features = true
     89 rustdoc-args = ["--cfg", "docsrs"]
     90 
     91 [dependencies]
     92 num-bigint = { version = "0.4.6", default-features = false }
     93 
     94 
     95 ### FEATURES #################################################################
     96 
     97 [features]
     98 # Provide Set implementation for HashSet.
     99 std = []