zfc

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

Cargo.toml (4839B)

      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.93.1"
     13 version = "0.4.7"
     14 
     15 [lints.rust]
     16 deprecated-safe = { level = "deny", priority = -1 }
     17 future-incompatible = { level = "deny", priority = -1 }
     18 keyword-idents = { level = "deny", priority = -1 }
     19 let-underscore = { level = "deny", priority = -1 }
     20 nonstandard-style = { level = "deny", priority = -1 }
     21 refining-impl-trait = { level = "deny", priority = -1 }
     22 rust-2018-compatibility = { level = "deny", priority = -1 }
     23 rust-2018-idioms = { level = "deny", priority = -1 }
     24 rust-2021-compatibility = { level = "deny", priority = -1 }
     25 rust-2024-compatibility = { level = "deny", priority = -1 }
     26 unknown-or-malformed-diagnostic-attributes = { level = "deny", priority = -1 }
     27 unused = { level = "deny", priority = -1 }
     28 warnings = { level = "deny", priority = -1 }
     29 ambiguous-negative-literals = { level = "deny", priority = -1 }
     30 closure-returning-async-block = { level = "deny", priority = -1 }
     31 deprecated-in-future = { level = "deny", priority = -1 }
     32 deref-into-dyn-supertrait = { level = "deny", priority = -1 }
     33 ffi-unwind-calls = { level = "deny", priority = -1 }
     34 #fuzzy-provenance-casts = { level = "deny", priority = -1 }
     35 impl-trait-redundant-captures = { level = "deny", priority = -1 }
     36 linker-messages = { level = "deny", priority = -1 }
     37 #lossy-provenance-casts = { level = "deny", priority = -1 }
     38 macro-use-extern-crate = { level = "deny", priority = -1 }
     39 meta-variable-misuse = { level = "deny", priority = -1 }
     40 missing-copy-implementations = { level = "deny", priority = -1 }
     41 missing-debug-implementations = { level = "deny", priority = -1 }
     42 missing-docs = { level = "deny", priority = -1 }
     43 #multiple-supertrait-upcastable = { level = "deny", priority = -1 }
     44 #must-not-suspend = { level = "deny", priority = -1 }
     45 non-ascii-idents = { level = "deny", priority = -1 }
     46 #non-exhaustive-omitted-patterns = { level = "deny", priority = -1 }
     47 redundant-imports = { level = "deny", priority = -1 }
     48 redundant-lifetimes = { level = "deny", priority = -1 }
     49 #resolving-to-items-shadowing-supertrait-items = { level = "deny", priority = -1 }
     50 #shadowing-supertrait-items = { level = "deny", priority = -1 }
     51 single-use-lifetimes = { level = "deny", priority = -1 }
     52 trivial-casts = { level = "deny", priority = -1 }
     53 trivial-numeric-casts = { level = "deny", priority = -1 }
     54 unit-bindings = { level = "deny", priority = -1 }
     55 unnameable-types = { level = "deny", priority = -1 }
     56 #unqualified-local-imports = { level = "deny", priority = -1 }
     57 unreachable-pub = { level = "deny", priority = -1 }
     58 unsafe-code = { level = "deny", priority = -1 }
     59 unstable-features = { level = "deny", priority = -1 }
     60 unused-crate-dependencies = { level = "deny", priority = -1 }
     61 unused-import-braces = { level = "deny", priority = -1 }
     62 unused-lifetimes = { level = "deny", priority = -1 }
     63 unused-qualifications = { level = "deny", priority = -1 }
     64 unused-results = { level = "deny", priority = -1 }
     65 variant-size-differences = { level = "deny", priority = -1 }
     66 
     67 [lints.clippy]
     68 cargo = { level = "deny", priority = -1 }
     69 complexity = { level = "deny", priority = -1 }
     70 correctness = { level = "deny", priority = -1 }
     71 nursery = { level = "deny", priority = -1 }
     72 pedantic = { level = "deny", priority = -1 }
     73 perf = { level = "deny", priority = -1 }
     74 restriction = { level = "deny", priority = -1 }
     75 style = { level = "deny", priority = -1 }
     76 suspicious = { level = "deny", priority = -1 }
     77 # Noisy, opinionated, and likely don't prevent bugs or improve APIs.
     78 arbitrary_source_item_ordering = "allow"
     79 blanket_clippy_restriction_lints = "allow"
     80 exhaustive_enums = "allow"
     81 exhaustive_structs = "allow"
     82 implicit_return = "allow"
     83 min_ident_chars = "allow"
     84 missing_trait_methods = "allow"
     85 pub_use = "allow"
     86 ref_patterns = "allow"
     87 single_char_lifetime_names = "allow"
     88 
     89 [lints.rustdoc]
     90 all = { level = "deny", priority = -1 }
     91 
     92 [package.metadata.docs.rs]
     93 all-features = true
     94 default-target = "x86_64-unknown-linux-gnu"
     95 targets = [
     96   "aarch64-apple-darwin",
     97   "aarch64-pc-windows-msvc",
     98   "aarch64-unknown-linux-gnu",
     99   "i686-pc-windows-msvc",
    100   "i686-unknown-linux-gnu",
    101   "x86_64-pc-windows-gnu",
    102   "x86_64-pc-windows-msvc",
    103   "x86_64-unknown-freebsd",
    104   "x86_64-unknown-linux-musl",
    105   "x86_64-unknown-netbsd"
    106 ]
    107 
    108 [dependencies]
    109 num-bigint = { version = "0.4.6", default-features = false }
    110 
    111 
    112 ### FEATURES #################################################################
    113 
    114 [features]
    115 # Provide Set implementation for HashSet.
    116 std = []